Seguir
Renato Neves
Renato Neves
Email confirmado em di.uminho.pt
Título
Citado por
Citado por
Ano
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
322016
Hybridisation at work
R Neves, A Madeira, MA Martins, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 340-345, 2013
192013
Proof theory for hybrid (ised) logics
R Neves, A Madeira, MA Martins, LS Barbosa
Science of Computer Programming 126, 73-93, 2016
182016
A dynamic logic for every season
A Madeira, R Neves, MA Martins, LS Barbosa
Formal Methods: Foundations and Applications, 130-145, 2015
162015
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
132016
A method for rigorous design of reconfigurable systems
A Madeira, R Neves, LS Barbosa, MA Martins
Science of Computer Programming 132, 50-76, 2016
122016
Limits in categories of Vietoris coalgebras
D Hofmann, R Neves, P Nora
Mathematical Structures in Computer Science 29 (4), 552-587, 2019
102019
Generating the algebraic theory of : the case of partially ordered compact spaces
D Hofmann, R Neves, P Nora
arXiv preprint arXiv:1706.05292, 2017
102017
A Semantics for Hybrid Iteration
S Goncharov, J Jakob, R Neves
arXiv preprint arXiv:1807.01053, 2018
92018
Hybrid programs
RJA Neves
Universidade do Minho, 2018
92018
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
92014
Compositional semantics for new paradigms: probabilistic, hybrid and beyond
F Dahlqvist, R Neves
arXiv preprint arXiv:1804.04145, 2018
82018
Hybrid automata as coalgebras
R Neves, LS Barbosa
International Colloquium on Theoretical Aspects of Computing, 385-402, 2016
82016
An Adequate While-Language for Hybrid Computation
S Goncharov, R Neves
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
62019
Completeness and decidability results for hybrid (ised) logics
R Neves, MA Martins, LS Barbosa
Brazilian Symposium on Formal Methods, 146-161, 2014
62014
When even the interface evolves...
A Madeira, R Neves, MA Martins, LS Barbosa
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
62013
Languages and models for hybrid automata: A coalgebraic perspective
R Neves, LS Barbosa
Theoretical Computer Science 744, 113-142, 2018
52018
Hierarchical hybrid logic
A Madeira, R Neves, MA Martins, LS Barbosa
Electronic Notes in Theoretical Computer Science 338, 167-184, 2018
32018
Introducing hierarquical hybrid logic
A Madeira, R Neves, LS Barbosa, MA Martins
AiML-10th International Conference on Advances in Modal Logic, 1-5, 2014
32014
Giving alloy a family
R Neves, L Soares Barbosa, A Madeira, MA Martins
Information Reuse and Integration (IRI), 2013 IEEE 14th International …, 2013
32013
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20