AGG - Capítulo de livro : [18] Collection home page
RSS Feed



Browse
Collection's Items (Sorted by Submit Date in Descending order): 1 to 18 of 18
Issue DateTitleAuthor(s)TypeAccess Type
2019On the generation of equational dynamic logics for weighted imperative programsGomes, Leandro; Madeira, Alexandre; Jain, Manisha; Barbosa, Luis S.bookPartopenAccess
2019Taming hierarchical connectorsProença, José; Madeira, AlexandrebookPartopenAccess
2019Logics for Petri nets with propagating failuresGomes, Leandro; Madeira, Alexandre; Benevides, MariobookPartopenAccess
2019A digital puzzle game for the elderlyBarros, P.; Almeida, M. R.; Breda, A.; Rocha, E.bookPartrestrictedAccess
2019The educational math board game 3DM6Almeida, M. R.; Barros, P.; Breda, A.; Resende, H.; Rocha, E.bookPartrestrictedAccess
2019rPrism: a software for reactive weighted state transition modelsFigueiredo, Daniel; Rocha, Eugénio; Martins, Manuel António; Chaves, MadalenabookPartembargoedAccess
Jun-2019Rigid first-order hybrid logicBlackburn, Patrick; Martins, Manuel; Manzano, María; Huertas, AntoniabookPartopenAccess
2019A Hybrid Dynamic Logic for Event/Data-Based SystemsHennicker, Rolf; Madeira, Alexandre; Knapp, AlexanderbookPartopenAccess
2019Verification for Everyone? An Overview of Dynamic LogicMadeira, AlexandrebookPartembargoedAccess
2018A note on reactive transitions and Reo connectorsFigueiredo, Daniel; Martins, Manuel A.; Barbosa, Luís SoaresbookPartrestrictedAccess
2019Reactive models for biological regulatory networksFigueiredo, Daniel; Barbosa, Luís SoaresbookPartrestrictedAccess
12-Jun-2018Hexagonal extensions of toroidal maps and hypermapsFernandes, Maria Elisa; Leemans, Dimitri; Weiss, Asia IvicbookPartembargoedAccess
11-Dec-2017Asymmetric Combination of Logics is Functorial: A SurveyNeves, Renato; Madeira, Alexandre; Barbosa, Luís; Martins, Manuel A.bookPartopenAccess
2016Census of quadrangle groups inclusionsd’Azevedo, António Breda; Catalano, Domenico A.; Karabáš, Ján; Nedela, RomanbookPartopenAccess
2016Relating bisimulations with attractors in boolean network modelsFigueiredo, DanielbookPartopenAccess
12-Jun-2016A tableau system for Quasi-hybrid logicCosta, Diana; Martins, Manuel A.bookPartopenAccess
2015A dynamic logic for every seasonMadeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S.bookPartopenAccess
2015Completeness and decidability results for hybrid(ised) logicsNeves, Renato; Martins, Manuel A.; Barbosa, Luís S.bookPartopenAccess
Collection's Items (Sorted by Submit Date in Descending order): 1 to 18 of 18