Renato Neves

According to our database1, Renato Neves authored at least 22 papers between 2004 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Limits in categories of Vietoris coalgebras.
Mathematical Structures in Computer Science, 2019

An Adequate While-Language for Hybrid Computation.
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Languages and models for hybrid automata: A coalgebraic perspective.
Theor. Comput. Sci., 2018

Compositional semantics for new paradigms: probabilistic, hybrid and beyond.
CoRR, 2018

A Semantics for Hybrid Iteration.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

Hierarchical Hybrid Logic.
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

Reuse and Integration of Specification Logics: The Hybridisation Perspective.
Proceedings of the Theoretical Information Reuse and Integration, 2016

Proof theory for hybrid(ised) logics.
Sci. Comput. Program., 2016

A method for rigorous design of reconfigurable systems.
Sci. Comput. Program., 2016

Continuity as a computational effect.
J. Log. Algebraic Methods Program., 2016

An exercise on the generation of many-valued dynamic logics.
J. Log. Algebraic Methods Program., 2016

Asymmetric Combination of Logics is Functorial: A Survey.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Hybrid Automata as Coalgebras.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Completeness and Decidability Results for Hybrid(ised) Logics.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

A Dynamic Logic for Every Season.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Paradigm integration in a specification course.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

When Even the Interface Evolves...
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

An Institution for Alloy and Its Translation to Second-Order Logic.
Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Giving Alloy a family.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Hybridisation at Work.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

Using Augmented State Kalman Filter to Localize Multi Autonomous Underwater Vehicles.
J. Braz. Comp. Soc., 2007

Multi-AUVs for Visual Mapping Tasks.
Proceedings of the Distributed Autonomous Robotic Systems 6, 2004