| Data | Título | Autor(es) | Tipo | Acesso |
| 2014 | An institution for Alloy and its translation to second-order logic | Neves, Renato; Madeira, Alexandre; Martins, Manuel A., et al. | Capítulo de livro | Acesso aberto |
| 2022 | An internal language for categories enriched over generalised metric spaces | Dahlqvist, Fredrik; Neves, Renato Jorge Araújo | Artigo em ata de conferência | Acesso aberto |
| 2023 | A complete V-equational system for graded lambda-calculus | Dahlqvist, Fredrik; Neves, Renato Jorge Araújo | Artigo em ata de conferência | Acesso aberto |
| 12-Jul-2016 | Continuity as a computational effect | Neves, Renato; Barbosa, L. S.; Hofmann, Dirk, et al. | Artigo | Acesso aberto |
| 2015 | A dynamic logic for every season | Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
| Set-2013 | Giving ALLOY a family | Neves, Renato; Madeira, Alexandre; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
| Out-2018 | Hierarchical hybrid logic | Madeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Martins, Manuel A., et al. | Artigo | Acesso aberto |
| 2016 | Hybrid automata as coalgebras | Neves, Renato Jorge Araújo; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
| 22-Jun-2018 | Hybrid programs | Neves, Renato Jorge Araújo | Tese de doutoramento | Acesso aberto |
| 2013 | Hybridisation at work | Neves, Renato; Madeira, Alexandre; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
| 2014 | Introducing hierarquical hybrid logic | Madeira, Alexandre; Neves, Renato Jorge Araújo; Barbosa, L. S., et al. | Artigo em ata de conferência | Acesso aberto |
| Out-2018 | Languages and models for hybrid automata: A coalgebraic perspective | Neves, Renato Jorge Araújo; Barbosa, L. S. | Artigo | Acesso aberto |
| 2015 | A Logic for robotics? | Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
| 2016 | A method for rigorous design of reconfigurable systems | Madeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Barbosa, L. S., et al. | Artigo | Acesso aberto |
| 27-Set-2013 | Proof support for hybridised logics | Neves, Renato Jorge Araújo | Dissertação de mestrado | Acesso aberto |
| 2016 | Proof theory for hybrid(ised) logics | Neves, Renato; Madeira, Alexandre; Martins, Manuel A., et al. | Artigo | Acesso aberto |
| 2016 | Reuse and integration of specification logics: the hybridisation perspective | Barbosa, L. S.; Martins, Manuel A.; Madeira, Alexandre Leite Castro, et al. | Capítulo de livro | Acesso aberto |
| 2023 | The syntactic side of autonomous categories enriched over generalised metric spaces | Dahlqvist, Fredrik; Neves, Renato Jorge Araújo | Artigo | Acesso aberto |
| 2013 | When even the interface evolves... | Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
