Percorrer por autor 5832

Índice: 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

ou inserir as letras iniciais:  

Mostrar 1-12 de um total de 12 resultados.
DataTítuloAutor(es)TipoAcesso
2014An institution for Alloy and its translation to second-order logicNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.bookPartopenAccess
12-Jul-2016Continuity as a computational effectNeves, Renato; Barbosa, L. S.; Hofmann, Dirk, et al.articleopenAccess
2015A dynamic logic for every seasonMadeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.conferencePaperopenAccess
Set-2013Giving ALLOY a familyNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.conferencePaperopenAccess
2016Hybrid automata as coalgebrasNeves, Renato Jorge Araújo; Barbosa, L. S.conferencePaperopenAccess
22-Jun-2018Hybrid programsNeves, Renato Jorge AraújodoctoralThesisopenAccess
2013Hybridisation at workNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.conferencePaperopenAccess
2015A Logic for robotics?Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.conferencePaperopenAccess
2016A method for rigorous design of reconfigurable systemsMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Barbosa, L. S., et al.articleopenAccess
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.articleopenAccess
2016Reuse and integration of specification logics: the hybridisation perspectiveBarbosa, L. S.; Martins, Manuel A.; Madeira, Alexandre Leite Castro, et al.bookPartopenAccess
2013When even the interface evolves ...Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.conferencePaperopenAccess