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 1 to 11 of 11
Issue DateTitleAuthor(s)TypeAccess Type
Aug-2016An exercise on the generation of many-valued dynamic logicsMadeira, Alexandre; Neves, Renato; Martins, Manuel A.articleopenAccess
2018Um ano depois: o balanço da implementação do Koha nas Bibliotecas da Universidade de AveiroMartins, Ana Bela; Cortês, Cristina; Gonçalves, Rita; Cruz, Nuno; Martins, Ricardo; Guimarães, Miguel; Trancho, Filipe; Lobo, Pedro; Pinto, João; Neves, RenatoconferenceObjectopenAccess
11-Dec-2017Asymmetric Combination of Logics is Functorial: A SurveyNeves, Renato; Madeira, Alexandre; Barbosa, Luís; Martins, Manuel A.bookPartopenAccess
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
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