Renato Neves
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2013–2025
Best venue rank
National
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PPDP | An adequate while-language for stochastic hybrid computation. | Renato Neves, Jos Proena, Juliana Souza |
| 2022 | CSL | An Internal Language for Categories Enriched over Generalised Metric Spaces. | Fredrik Dahlqvist, Renato Neves |
| 2020 | ICTAC | Implementing Hybrid Semantics: From Functional to Imperative. | Sergey Goncharov, Renato Neves, Jos Proena |
| 2019 | PPDP | An Adequate While-Language for Hybrid Computation. | Sergey Goncharov, Renato Neves |
| 2018 | CONCUR | A Semantics for Hybrid Iteration. | Sergey Goncharov, Julian Jakob, Renato Neves |
| 2016 | ICTAC | Hybrid Automata as Coalgebras. | Renato Neves, Lus Soares Barbosa |
| 2014 | IRI | Paradigm integration in a specification course. | Manuel A. Martins, Alexandre Madeira, Lus Soares Barbosa, Renato Neves |
| 2013 | CALCO | Hybridisation at Work. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | IRI | Giving Alloy a family. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | IRI | An Institution for Alloy and Its Translation to Second-Order Logic. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | TASE | When Even the Interface Evolves... | Alexandre Madeira, Renato Neves, Manuel A. Martins, Lus Soares Barbosa |