Renato Neves

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 23

Top Topics

Hybrid Automata

Nearest Neighbor Queries

Top Venues

J. Log. Algebraic Methods Program.

Publications

Fredrik Dahlqvist, Renato Neves
The syntactic side of autonomous categories enriched over generalised metric spaces. Log. Methods Comput. Sci. 19 (4) (2023)
Fredrik Dahlqvist, Renato Neves
A Complete V-Equational System for Graded lambda-Calculus. CoRR (2023)
Fredrik Dahlqvist, Renato Neves
The syntactic dual of autonomous categories enriched over generalised metric spaces. CoRR (2022)
Fredrik Dahlqvist, Renato Neves
An Internal Language for Categories Enriched over Generalised Metric Spaces. CSL (2022)
Fredrik Dahlqvist, Renato Neves
An Internal Language for Categories Enriched over Generalised Metric Spaces. CoRR (2021)
Sergey Goncharov, Renato Neves, José Proença
Implementing Hybrid Semantics: From Functional to Imperative. ICTAC (2020)
Sergey Goncharov, Renato Neves, José Proença
Implementing Hybrid Semantics: From Functional to Imperative. CoRR (2020)
Sergey Goncharov, Renato Neves
An Adequate While-Language for Hybrid Computation. CoRR (2019)
Sergey Goncharov, Renato Neves
An Adequate While-Language for Hybrid Computation. PPDP (2019)
Dirk Hofmann, Renato Neves, Pedro Nora
Limits in categories of Vietoris coalgebras. Math. Struct. Comput. Sci. 29 (4) (2019)
Fredrik Dahlqvist, Renato Neves
Compositional semantics for new paradigms: probabilistic, hybrid and beyond. CoRR (2018)
Sergey Goncharov, Julian Jakob, Renato Neves
A Semantics for Hybrid Iteration. CoRR (2018)
Sergey Goncharov, Julian Jakob, Renato Neves
A Semantics for Hybrid Iteration. CONCUR (2018)
Renato Neves, Luís Soares Barbosa
Languages and models for hybrid automata: A coalgebraic perspective. Theor. Comput. Sci. 744 (2018)
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
Hierarchical Hybrid Logic. LSFA (2017)
Dirk Hofmann, Renato Neves, Pedro Nora
Limits in Categories of Vietoris Coalgebras. CoRR (2016)
Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins
Asymmetric Combination of Logics is Functorial: A Survey. WADT (2016)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126 (2016)
Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132 (2016)
Renato Neves, Luís Soares Barbosa
Hybrid Automata as Coalgebras. ICTAC (2016)
Alexandre Madeira, Renato Neves, Manuel A. Martins
An exercise on the generation of many-valued dynamic logics. J. Log. Algebraic Methods Program. 85 (5) (2016)
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
Continuity as a computational effect. J. Log. Algebraic Methods Program. 85 (5) (2016)
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
Continuity as a computational effect. CoRR (2015)
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
A Dynamic Logic for Every Season. SBMF (2014)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves
Paradigm integration in a specification course. IRI (2014)
Renato Neves, Manuel A. Martins, Luís Soares Barbosa
Completeness and Decidability Results for Hybrid(ised) Logics. SBMF (2014)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Hybridisation at Work. CALCO (2013)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Giving Alloy a family. IRI (2013)
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
When Even the Interface Evolves... TASE (2013)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) (2013)
Silvia S. C. Botelho, Renato Neves, Lorenzo Taddei, Vinícius Menezes de Oliveira
Using Augmented State Kalman Filter to Localize Multi Autonomous Underwater Vehicles. J. Braz. Comput. Soc. 13 (2) (2007)
Silvia S. C. Botelho, R. Costa, Renato Neves, C. Madsen, Vinicius Menezes de Oliveira
Multi-AUVs for Visual Mapping Tasks. DARS (2004)