| 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 | 40 | 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 |
| Generating the algebraic theory of : the case of partially ordered compact spaces D Hofmann, R Neves, P Nora arXiv preprint arXiv:1706.05292, 2017 | 18 | 2017 |
| A dynamic logic for every season A Madeira, R Neves, MA Martins, LS Barbosa Formal Methods: Foundations and Applications, 130-145, 2015 | 18 | 2015 |
| Limits in categories of Vietoris coalgebras D Hofmann, R Neves, P Nora Mathematical Structures in Computer Science 29 (4), 552-587, 2019 | 17 | 2019 |
| 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 |
| A method for rigorous design of reconfigurable systems A Madeira, R Neves, LS Barbosa, MA Martins Science of Computer Programming 132, 50-76, 2016 | 15 | 2016 |
| 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 | 8 | 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 |
| Hierarchical hybrid logic A Madeira, R Neves, MA Martins, LS Barbosa Electronic Notes in Theoretical Computer Science 338, 167-184, 2018 | 5 | 2018 |
Luis S. BarbosaProfessor of Computer Science, Universidade do Minho在 di.uminho.pt 的电子邮件经过验证
