An exercise on the generation of many-valued dynamic logics A Madeira, R Neves, MA Martins
Journal of Logical and Algebraic Methods in Programming 85 (5), 1011-1037, 2016
18 2016 Hybridisation at work R Neves, A Madeira, MA Martins, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 340-345, 2013
15 2013 Proof theory for hybrid (ised) logics R Neves, A Madeira, MA Martins, LS Barbosa
Science of Computer Programming 126, 73-93, 2016
11 2016 A dynamic logic for every season A Madeira, R Neves, MA Martins, LS Barbosa
Formal Methods: Foundations and Applications, 130-145, 2015
11 2015 Continuity as a computational effect R Neves, LS Barbosa, D Hofmann, MA Martins
Journal of Logical and Algebraic Methods in Programming 85 (5), 1057-1085, 2016
9 2016 A method for rigorous design of reconfigurable systems A Madeira, R Neves, LS Barbosa, MA Martins
Science of Computer Programming 132, 50-76, 2016
8 2016 An Institution for Alloy and Its Translation to Second-Order Logic R Neves, A Madeira, M Martins, L Barbosa
Integration of Reusable Systems, 45-75, 2014
7 2014 When even the interface evolves... A Madeira, R Neves, MA Martins, LS Barbosa
Theoretical Aspects of Software Engineering (TASE), 2013 International …, 2013
6 2013 Compositional semantics for new paradigms: probabilistic, hybrid and beyond F Dahlqvist, R Neves
arXiv preprint arXiv:1804.04145, 2018
4 2018 Generating the algebraic theory of D Hofmann, R Neves, P Nora
arXiv preprint arXiv:1706.05292, 2017
4 2017 Limits in Categories of Vietoris Coalgebras D Hofmann, R Neves, P Nora
arXiv preprint arXiv:1612.03318, 2016
4 2016 Hybrid automata as coalgebras R Neves, LS Barbosa
International Colloquium on Theoretical Aspects of Computing, 385-402, 2016
4 2016 Completeness and decidability results for hybrid (ised) logics R Neves, MA Martins, LS Barbosa
Brazilian Symposium on Formal Methods, 146-161, 2014
4 2014 A Semantics for Hybrid Iteration S Goncharov, J Jakob, R Neves
arXiv preprint arXiv:1807.01053, 2018
3 2018 Hybrid programs RJA Neves
Universidade do Minho, 2018
3 2018 Giving alloy a family R Neves, L Soares Barbosa, A Madeira, MA Martins
Information Reuse and Integration (IRI), 2013 IEEE 14th International …, 2013
3 2013 Hierarchical hybrid logic A Madeira, R Neves, MA Martins, LS Barbosa
Electronic Notes in Theoretical Computer Science 338, 167-184, 2018
2 2018 Languages and models for hybrid automata: A coalgebraic perspective R Neves, LS Barbosa
Theoretical Computer Science, 2017
2 2017 Asymmetric combination of logics is functorial: A survey R Neves, A Madeira, LS Barbosa, MA Martins
International Workshop on Algebraic Development Techniques, 39-55, 2016
2 2016 Reuse and Integration of Specification Logics: The Hybridisation Perspective LS Barbosa, MA Martins, A Madeira, R Neves
Theoretical Information Reuse and Integration, 1-30, 2016
2 2016 
Manuel A. MartinsDepartamento de Matemática, Universidade de AveiroEmail confirmado em ua.pt
