Renato Neves

According to our database, Renato Neves authored at least 28 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An adequacy theorem between mixed powerdomains and probabilistic concurrency.

Renato Neves

CoRR, 2024

2023

The syntactic side of autonomous categories enriched over generalised metric spaces.

Fredrik Dahlqvist, Renato Neves

Log. Methods Comput. Sci., 2023

A Complete V-Equational System for Graded lambda-Calculus.

Fredrik Dahlqvist, Renato Neves

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022

The syntactic dual of autonomous categories enriched over generalised metric spaces.

Fredrik Dahlqvist, Renato Neves

CoRR, 2022

An Internal Language for Categories Enriched over Generalised Metric Spaces.

Fredrik Dahlqvist, Renato Neves

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2020

Implementing Hybrid Semantics: From Functional to Imperative.

Sergey Goncharov, Renato Neves, José Proença

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019

Limits in categories of Vietoris coalgebras.

Dirk Hofmann, Renato Neves, Pedro Nora

Math. Struct. Comput. Sci., 2019

An Adequate While-Language for Hybrid Computation.

Sergey Goncharov, Renato Neves

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2018

Languages and models for hybrid automata: A coalgebraic perspective.

Renato Neves, Luís Soares Barbosa

Theor. Comput. Sci., 2018

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

Fredrik Dahlqvist, Renato Neves

CoRR, 2018

A Semantics for Hybrid Iteration.

Sergey Goncharov, Julian Jakob, Renato Neves

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Hierarchical Hybrid Logic.

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

2016

Reuse and Integration of Specification Logics: The Hybridisation Perspective.

Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves

Proceedings of the Theoretical Information Reuse and Integration, 2016

Proof theory for hybrid(ised) logics.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Sci. Comput. Program., 2016

A method for rigorous design of reconfigurable systems.

Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins

Sci. Comput. Program., 2016

Continuity as a computational effect.

Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins

J. Log. Algebraic Methods Program., 2016

An exercise on the generation of many-valued dynamic logics.

Alexandre Madeira, Renato Neves, Manuel A. Martins

J. Log. Algebraic Methods Program., 2016

Asymmetric Combination of Logics is Functorial: A Survey.

Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Hybrid Automata as Coalgebras.

Renato Neves, Luís Soares Barbosa

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2014

Completeness and Decidability Results for Hybrid(ised) Logics.

Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

A Dynamic Logic for Every Season.

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Paradigm integration in a specification course.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

2013

When Even the Interface Evolves...

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

An Institution for Alloy and Its Translation to Second-Order Logic.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

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.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Hybridisation at Work.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2007

Using Augmented State Kalman Filter to Localize Multi Autonomous Underwater Vehicles.

Silvia S. C. Botelho, Renato Neves, Lorenzo Taddei, Vinícius Menezes de Oliveira

J. Braz. Comput. Soc., 2007

2004

Multi-AUVs for Visual Mapping Tasks.

Silvia S. C. Botelho, R. Costa, Renato Neves, C. Madsen, Vinicius Menezes de Oliveira

Proceedings of the Distributed Autonomous Robotic Systems 6, 2004