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
41 2016 Proof theory for hybrid (ised) logics R Neves, A Madeira, MA Martins, LS Barbosa
Science of Computer Programming 126, 73-93, 2016
20 2016 Hybridisation at work R Neves, A Madeira, MA Martins, LS Barbosa
Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013
20 2013 A dynamic logic for every season A Madeira, R Neves, MA Martins, LS Barbosa
Formal Methods: Foundations and Applications, 130-145, 2015
18 2015 Generating the algebraic theory of D Hofmann, R Neves, P Nora
arXiv preprint arXiv:1706.05292, 2017
17 2017 Limits in categories of Vietoris coalgebras D Hofmann, R Neves, P Nora
Mathematical Structures in Computer Science 29 (4), 552-587, 2019
16 2019 A method for rigorous design of reconfigurable systems A Madeira, R Neves, LS Barbosa, MA Martins
Science of Computer Programming 132, 50-76, 2016
16 2016 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
16 2016 Implementing hybrid semantics: From functional to imperative S Goncharov, R Neves, J Proença
Theoretical Aspects of Computing–ICTAC 2020: 17th International Colloquium …, 2020
15 2020 Hybrid programs RJA Neves
Universidade do Minho, 2018
14 2018 Hybrid automata as coalgebras R Neves, LS Barbosa
Theoretical Aspects of Computing–ICTAC 2016: 13th International Colloquium …, 2016
13 2016 An adequate while-language for hybrid computation S Goncharov, R Neves
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
11 2019 Compositional semantics for new paradigms: probabilistic, hybrid and beyond F Dahlqvist, R Neves
arXiv preprint arXiv:1804.04145, 2018
11 2018 An Internal Language for Categories Enriched over Generalised Metric Spaces F Dahlqvist, R Neves
arXiv preprint arXiv:2105.08473, 2021
10 2021 A Semantics for Hybrid Iteration S Goncharov, J Jakob, R Neves
arXiv preprint arXiv:1807.01053, 2018
10 2018 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
9 2014 Languages and models for hybrid automata: A coalgebraic perspective R Neves, LS Barbosa
Theoretical Computer Science 744, 113-142, 2018
7 2018 Completeness and decidability results for hybrid (ised) logics R Neves, MA Martins, LS Barbosa
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF …, 2015
7 2015 Asymmetric combination of logics is functorial: A survey R Neves, A Madeira, LS Barbosa, MA Martins
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 …, 2017
6 2017 When even the interface evolves... A Madeira, R Neves, MA Martins, LS Barbosa
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
6 2013 
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVahvistettu sähköpostiosoite verkkotunnuksessa di.uminho.pt
