Multi-AUVs for Visual Mapping Tasks. - Silvia S. C. Botelho; R. Costa; Renato Neves; C. Madsen; Vinicius Menezes de Oliveira (DARS, 2004)

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)

Hybridisation at Work. - Renato Neves; Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (CALCO, 2013)

Giving Alloy a family. - Renato Neves; Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (IRI, 2013)

An Institution for Alloy and Its Translation to Second-Order Logic. - Renato Neves; Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (IRI (best papers), 2013)

When Even the Interface Evolves... - Alexandre Madeira; Renato Neves; Manuel A. Martins 001; Luís Soares Barbosa (TASE, 2013)

Paradigm integration in a specification course. - Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa; Renato Neves (IRI, 2014)

A Dynamic Logic for Every Season. - Alexandre Madeira; Renato Neves; Manuel A. Martins 001; Luís Soares Barbosa (SBMF, 2014)

Completeness and Decidability Results for Hybrid(ised) Logics. - Renato Neves; Manuel A. Martins 001; Luís Soares Barbosa (SBMF, 2014)

Hybrid Automata as Coalgebras. - Renato Neves; Luís Soares Barbosa (ICTAC, 2016)

Asymmetric Combination of Logics is Functorial: A Survey. - Renato Neves; Alexandre Madeira; Luís Soares Barbosa; Manuel A. Martins 001 (WADT, 2016)

An exercise on the generation of many-valued dynamic logics. - Alexandre Madeira; Renato Neves; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 2016)

Continuity as a computational effect. - Renato Neves; Luís Soares Barbosa; Dirk Hofmann; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 2016)

A method for rigorous design of reconfigurable systems. - Alexandre Madeira; Renato Neves; Luís Soares Barbosa; Manuel A. Martins 001 (Sci. Comput. Program., 2016)

Proof theory for hybrid(ised) logics. - Renato Neves; Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (Sci. Comput. Program., 2016)

Reuse and Integration of Specification Logics: The Hybridisation Perspective. - Luís Soares Barbosa; Manuel A. Martins 001; Alexandre Madeira; Renato Neves (Theoretical Information Reuse and Integration, 2016)

Hierarchical Hybrid Logic. - Alexandre Madeira; Renato Neves; Manuel A. Martins 001; Luís Soares Barbosa (LSFA, 2017)

A Semantics for Hybrid Iteration. - Sergey Goncharov 001; Julian Jakob; Renato Neves (CONCUR, 2018)

Compositional semantics for new paradigms: probabilistic, hybrid and beyond. - Fredrik Dahlqvist; Renato Neves (CoRR, 2018)

Languages and models for hybrid automata: A coalgebraic perspective. - Renato Neves; Luís Soares Barbosa (Theor. Comput. Sci., 2018)

An Adequate While-Language for Hybrid Computation. - Sergey Goncharov 001; Renato Neves (PPDP, 2019)

Limits in categories of Vietoris coalgebras. - Dirk Hofmann; Renato Neves; Pedro Nora (Math. Struct. Comput. Sci., 2019)

Implementing Hybrid Semantics: From Functional to Imperative. - Sergey Goncharov 001; Renato Neves; José Proença (ICTAC, 2020)

An Internal Language for Categories Enriched over Generalised Metric Spaces. - Fredrik Dahlqvist; Renato Neves (CSL, 2022)

The syntactic dual of autonomous categories enriched over generalised metric spaces. - Fredrik Dahlqvist; Renato Neves (CoRR, 2022)

A Complete V-Equational System for Graded lambda-Calculus. - Fredrik Dahlqvist; Renato Neves (MFPS, 2023)

The syntactic side of autonomous categories enriched over generalised metric spaces. - Fredrik Dahlqvist; Renato Neves (Log. Methods Comput. Sci., 2023)

An adequacy theorem between mixed powerdomains and probabilistic concurrency. - Renato Neves (CoRR, 2024)

Formal Simulation and Visualisation of Hybrid Programs. - Pedro Mendes; Ricardo Correia; Renato Neves; José Proença (FMAS@iFM, 2024)

Logic and Calculi for All on the occasion of Luís Barbosa's 60th birthday. - Alexandre Madeira; José Nuno Oliveira; José Proença; Renato Neves (J. Log. Algebraic Methods Program., 2025)

An Adequate While-Language for Stochastic Hybrid Computation. - Renato Neves; José Proença; Juliana Souza (CoRR, 2025)