1. Home

Browsing by Author Neves, Renato

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 5 to 14 of 14 < previous 
Issue DateTitleAuthor(s)TypeAccess Type
2015Completeness and decidability results for hybrid(ised) logicsNeves, Renato; Martins, Manuel A.; Barbosa, Luís S.bookPartopenAccess
15-Aug-2016Continuity as a computational effectNeves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A.articleopenAccess
2015A dynamic logic for every seasonMadeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S.bookPartopenAccess
2018Generating the algebraic theory of C(X): the case of partially ordered compact spacesHofmann, Dirk; Neves, Renato; Nora, PedroarticleopenAccess
Apr-2019Limits in categories of Vietoris coalgebrasHofmann, Dirk; Neves, Renato; Nora, PedroarticleopenAccess
15-Dec-2016A method for rigorous design of reconfigurable systemsMadeira, Alexandre; Neves, Renato; Barbosa, Luís S.; Martins, Manuel A.articleopenAccess
2015O Museu da Universidade de Aveiro: uma viagem para além do espaço físicoMartins, 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ãoconferenceObjectopenAccess
14-Mar-2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luis S.articleopenAccess
2-Apr-2016Reuse and integration of specification logics: the hybridisation perspectiveBarbosa, Luís S.; Martins, Manuel A.; Madeira, Alexandre; Neves, RenatobookPartopenAccess
2015Sistema Integrado de Gestão de Bibliotecas: o estudo de caso das Bibliotecas UAMartins, Ana Bela; Cortês, Cristina; Cruz, Nuno; Martins, Ricardo; Trancho, Filipe; Lobo, Pedro; Neves, Renato; Pinto, JoãoconferenceObjectopenAccess
Showing results 5 to 14 of 14 < previous