Renato Neves - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2023

The syntactic side of autonomous categories enriched over generalised metric spacesFredrik Dahlqvist, Renato Neves. lmcs, 19(4), 2023. [doi]

2022

An Internal Language for Categories Enriched over Generalised Metric SpacesFredrik Dahlqvist, Renato Neves. csl 2022: [doi]

2020

Implementing Hybrid Semantics: From Functional to ImperativeSergey Goncharov 0001, Renato Neves, José Proença. ictac 2020: 262-282 [doi]

2019

An Adequate While-Language for Hybrid ComputationSergey Goncharov 0001, Renato Neves. ppdp 2019: [doi]

Limits in categories of Vietoris coalgebrasDirk Hofmann, Renato Neves, Pedro Nora. mscs, 29(4):552-587, 2019. [doi]

2018

A Semantics for Hybrid IterationSergey Goncharov 0001, Julian Jakob, Renato Neves. concur 2018: [doi]

Hierarchical Hybrid LogicAlexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa. ENTCS, 338:167-184, 2018. [doi]

Languages and models for hybrid automata: A coalgebraic perspectiveRenato Neves, Luís Soares Barbosa. TCS, 744:113-142, 2018. [doi]

2016

Reuse and Integration of Specification Logics: The Hybridisation PerspectiveLuís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Theoretical Information Reuse and Integration. Volume 446 of Advances in Intelligent Systems and Computing, pages 1-30, Springer, 2016. [doi]

An exercise on the generation of many-valued dynamic logicsAlexandre Madeira, Renato Neves, Manuel A. Martins. jlp, 85(5):1011-1037, 2016. [doi]

A method for rigorous design of reconfigurable systemsAlexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins. SCP, 132:50-76, 2016. [doi]

Continuity as a computational effectRenato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins. jlp, 85(5):1057-1085, 2016. [doi]

Proof theory for hybrid(ised) logicsRenato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa. SCP, 126:73-93, 2016. [doi]

Asymmetric Combination of Logics is Functorial: A SurveyRenato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins. WADT 2017: 39-55 [doi]

Hybrid Automata as CoalgebrasRenato Neves, Luís Soares Barbosa. ictac 2016: 385-402 [doi]

2014

2013

2007

Using Augmented State Kalman Filter to Localize Multi Autonomous Underwater VehiclesSilvia Botelho, Renato Neves, Lorenzo Taddei, Vinícius Oliveira. jbcs, 13(2):61-70, 2007. [doi]

2004

Multi-AUVs for Visual Mapping TasksSilvia S. C. Botelho, R. Costa, Renato Neves, C. Madsen, Vinicius Menezes de Oliveira. dars 2007: 127-136 [doi]

Sign in or sign up to see more results.

runs on WebDSL