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



Browse
Collection's Items (Sorted by Submit Date in Descending order): 1 to 11 of 11
Issue DateTitleAuthor(s)TypeAccess Type
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 11 of 11