| Issue Date | Title | Author(s) | Type | Access Type |
| Aug-2016 | An exercise on the generation of many-valued dynamic logics | Madeira, Alexandre; Neves, Renato; Martins, Manuel A. | article |  |
| 2018 | Um ano depois: o balanço da implementação do Koha nas Bibliotecas da Universidade de Aveiro | Martins, Ana Bela; Cortês, Cristina; Gonçalves, Rita; Cruz, Nuno; Martins, Ricardo; Guimarães, Miguel; Trancho, Filipe; Lobo, Pedro; Pinto, João; Neves, Renato | conferenceObject | |
| 11-Dec-2017 | Asymmetric Combination of Logics is Functorial: A Survey | Neves, Renato; Madeira, Alexandre; Barbosa, Luís; Martins, Manuel A. | bookPart | |
| 1-Jan-2011 | A avifauna aquática das salinas estuarinas da Ria de Aveiro e da Foz do Rio Mondego | Cruz, Tamira; Neves, Renato; Pacheco, Carlos; Fonseca, Carlos; Martins, Filomena | article | |
| 2015 | Completeness and decidability results for hybrid(ised) logics | Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. | bookPart | |
| 15-Aug-2016 | Continuity as a computational effect | Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. | article | |
| 2015 | A dynamic logic for every season | Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. | bookPart | |
| 2018 | Generating the algebraic theory of C(X): the case of partially ordered compact spaces | Hofmann, Dirk; Neves, Renato; Nora, Pedro | article | |
| Apr-2019 | Limits in categories of Vietoris coalgebras | Hofmann, Dirk; Neves, Renato; Nora, Pedro | article | |
| 15-Dec-2016 | A method for rigorous design of reconfigurable systems | Madeira, Alexandre; Neves, Renato; Barbosa, Luís S.; Martins, Manuel A. | article | |
| 2015 | O Museu da Universidade de Aveiro: uma viagem para além do espaço físico | Martins, Ana Bela; Cortês, Cristina; Cruz, Nuno; Lopes, Susana; Morgado, Adelaide; Silva, Olga; Santos, António; Ribeiro, Miguel; Martins, Ricardo; Trancho, Filipe; Lobo, Pedro; Neves, Renato; Pinto, João | conferenceObject | |
| 14-Mar-2016 | Proof theory for hybrid(ised) logics | Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luis S. | article | |
| 2-Apr-2016 | Reuse and integration of specification logics: the hybridisation perspective | Barbosa, Luís S.; Martins, Manuel A.; Madeira, Alexandre; Neves, Renato | bookPart | |
| 2015 | Sistema Integrado de Gestão de Bibliotecas: o estudo de caso das Bibliotecas UA | Martins, Ana Bela; Cortês, Cristina; Cruz, Nuno; Martins, Ricardo; Trancho, Filipe; Lobo, Pedro; Neves, Renato; Pinto, João | conferenceObject | |