Renato Neves

39 papers B 4C 4Misc 3Journal 19Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency.
EXPRESS/SOS
Renato Neves
2025 J jnl
An Adequate While-Language for Stochastic Hybrid Computation.
CoRR
Renato Neves, José Proença, Juliana Souza
2025 C conf
An adequate while-language for stochastic hybrid computation.
PPDP
Renato Neves, José Proença, Juliana Souza
2025 J jnl
Logic and Calculi for All on the occasion of Luís Barbosa's 60th birthday.
J. Log. Algebraic Methods Program.
Alexandre Madeira, José Nuno Oliveira, José Proença, Renato Neves
2024 J jnl
An adequacy theorem between mixed powerdomains and probabilistic concurrency.
CoRR
Renato Neves
2024 — conf
Formal Simulation and Visualisation of Hybrid Programs.
FMAS@iFM
Pedro Mendes, Ricardo Correia, Renato Neves, José Proença
2023 B conf
A Complete V-Equational System for Graded lambda-Calculus.
MFPS
Fredrik Dahlqvist, Renato Neves
2023 J jnl
The syntactic side of autonomous categories enriched over generalised metric spaces.
Log. Methods Comput. Sci.
Fredrik Dahlqvist, Renato Neves
2022 B conf
An Internal Language for Categories Enriched over Generalised Metric Spaces.
CSL
Fredrik Dahlqvist, Renato Neves
2022 J jnl
The syntactic dual of autonomous categories enriched over generalised metric spaces.
CoRR
Fredrik Dahlqvist, Renato Neves
2021 J jnl
An Internal Language for Categories Enriched over Generalised Metric Spaces.
CoRR
Fredrik Dahlqvist, Renato Neves
2020 C conf
Implementing Hybrid Semantics: From Functional to Imperative.
ICTAC
Sergey Goncharov, Renato Neves, José Proença
2020 J jnl
Implementing Hybrid Semantics: From Functional to Imperative.
CoRR
Sergey Goncharov, Renato Neves, José Proença
2019 C conf
An Adequate While-Language for Hybrid Computation.
PPDP
Sergey Goncharov, Renato Neves
2019 J jnl
An Adequate While-Language for Hybrid Computation.
CoRR
Sergey Goncharov, Renato Neves
2019 J jnl
Limits in categories of Vietoris coalgebras.
Math. Struct. Comput. Sci.
Dirk Hofmann, Renato Neves, Pedro Nora
2018 B conf
A Semantics for Hybrid Iteration.
CONCUR
Sergey Goncharov, Julian Jakob, Renato Neves
2018 J jnl
A Semantics for Hybrid Iteration.
CoRR
Sergey Goncharov, Julian Jakob, Renato Neves
2018 J jnl
Compositional semantics for new paradigms: probabilistic, hybrid and beyond.
CoRR
Fredrik Dahlqvist, Renato Neves
2018 J jnl
Languages and models for hybrid automata: A coalgebraic perspective.
Theor. Comput. Sci.
Renato Neves, Luís Soares Barbosa
2017 — conf
Hierarchical Hybrid Logic.
LSFA
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2016 J jnl
A method for rigorous design of reconfigurable systems.
Sci. Comput. Program.
Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins
2016 J jnl
An exercise on the generation of many-valued dynamic logics.
J. Log. Algebraic Methods Program.
Alexandre Madeira, Renato Neves, Manuel A. Martins
2016 — conf
Asymmetric Combination of Logics is Functorial: A Survey.
WADT
Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins
2016 J jnl
Continuity as a computational effect.
J. Log. Algebraic Methods Program.
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
2016 C conf
Hybrid Automata as Coalgebras.
ICTAC
Renato Neves, Luís Soares Barbosa
2016 J jnl
Limits in Categories of Vietoris Coalgebras.
CoRR
Dirk Hofmann, Renato Neves, Pedro Nora
2016 J jnl
Proof theory for hybrid(ised) logics.
Sci. Comput. Program.
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2016 — ch.
Reuse and Integration of Specification Logics: The Hybridisation Perspective.
Theoretical Information Reuse and Integration
Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves
2015 J jnl
Continuity as a computational effect.
CoRR
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
2014 — conf
A Dynamic Logic for Every Season.
SBMF
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2014 — conf
Completeness and Decidability Results for Hybrid(ised) Logics.
SBMF
Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2014 Misc conf
Paradigm integration in a specification course.
IRI
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves
2013 — conf
An Institution for Alloy and Its Translation to Second-Order Logic.
IRI (best papers)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013 Misc conf
Giving Alloy a family.
IRI
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013 B conf
Hybridisation at Work.
CALCO
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013 Misc conf
When Even the Interface Evolves...
TASE
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2007 J jnl
Using Augmented State Kalman Filter to Localize Multi Autonomous Underwater Vehicles.
J. Braz. Comput. Soc.
Silvia S. C. Botelho, Renato Neves, Lorenzo Taddei, Vinícius Menezes de Oliveira
2004 — conf
Multi-AUVs for Visual Mapping Tasks.
DARS
Silvia S. C. Botelho, R. Costa, Renato Neves, C. Madsen, Vinicius Menezes de Oliveira