Collection's Items (Sorted by Submit Date in Descending order): 21 to 38 of 38
Issue Date | Title | Author(s) | Type | Access Type |
2019 | On the generation of equational dynamic logics for weighted imperative programs | Gomes, Leandro; Madeira, Alexandre; Jain, Manisha; Barbosa, Luis S. | bookPart | |
2019 | Taming hierarchical connectors | Proença, José; Madeira, Alexandre | bookPart | |
2019 | Logics for Petri nets with propagating failures | Gomes, Leandro; Madeira, Alexandre; Benevides, Mario | bookPart | |
2019 | A digital puzzle game for the elderly | Barros, P.; Almeida, M. R.; Breda, A.; Rocha, E. | bookPart | |
2019 | The educational math board game 3DM6 | Almeida, M. R.; Barros, P.; Breda, A.; Resende, H.; Rocha, E. | bookPart | |
2019 | rPrism: a software for reactive weighted state transition models | Figueiredo, Daniel; Rocha, Eugénio; Martins, Manuel A.; Chaves, Madalena | bookPart | |
Jun-2019 | Rigid first-order hybrid logic | Blackburn, Patrick; Martins, Manuel A.; Manzano, María; Huertas, Antonia | bookPart | |
2019 | A hybrid dynamic logic for event/data-based systems | Hennicker, Rolf; Madeira, Alexandre; Knapp, Alexander | bookPart | |
2019 | Verification for Everyone? An Overview of Dynamic Logic | Madeira, Alexandre | bookPart | |
2018 | A note on reactive transitions and Reo connectors | Figueiredo, Daniel; Martins, Manuel A.; Barbosa, Luís Soares | bookPart | |
2019 | Reactive models for biological regulatory networks | Figueiredo, Daniel; Barbosa, Luís Soares | bookPart | |
12-Jun-2018 | Hexagonal extensions of toroidal maps and hypermaps | Fernandes, Maria Elisa; Leemans, Dimitri; Weiss, Asia Ivic | bookPart | |
11-Dec-2017 | Asymmetric Combination of Logics is Functorial: A Survey | Neves, Renato; Madeira, Alexandre; Barbosa, Luís; Martins, Manuel A. | bookPart | |
2016 | Census of quadrangle groups inclusions | d’Azevedo, António Breda; Catalano, Domenico A.; Karabáš, Ján; Nedela, Roman | bookPart | |
2016 | Relating bisimulations with attractors in boolean network models | Figueiredo, Daniel | bookPart | |
12-Jun-2016 | A tableau system for Quasi-hybrid logic | Costa, Diana; Martins, Manuel A. | bookPart | |
2015 | A dynamic logic for every season | Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. | bookPart | |
2015 | Completeness and decidability results for hybrid(ised) logics | Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. | bookPart | |
Collection's Items (Sorted by Submit Date in Descending order): 21 to 38 of 38