Percorrer por autores UMinho 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 6-19 de um total de 19 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
Set-2013Giving ALLOY a familyNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
Out-2018Hierarchical hybrid logicMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Martins, Manuel A., et al.ArtigoAcesso aberto
2016Hybrid automata as coalgebrasNeves, Renato Jorge Araújo; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
22-Jun-2018Hybrid programsNeves, Renato Jorge AraújoTese de doutoramentoAcesso aberto
2013Hybridisation at workNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
2014Introducing hierarquical hybrid logicMadeira, Alexandre; Neves, Renato Jorge Araújo; Barbosa, L. S., et al.Artigo em ata de conferênciaAcesso aberto
Out-2018Languages and models for hybrid automata: A coalgebraic perspectiveNeves, Renato Jorge Araújo; Barbosa, L. S.ArtigoAcesso aberto
2015A Logic for robotics?Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
2016A method for rigorous design of reconfigurable systemsMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Barbosa, L. S., et al.ArtigoAcesso aberto
27-Set-2013Proof support for hybridised logicsNeves, Renato Jorge AraújoDissertação de mestrado Acesso aberto
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.ArtigoAcesso aberto
2016Reuse and integration of specification logics: the hybridisation perspectiveBarbosa, L. S.; Martins, Manuel A.; Madeira, Alexandre Leite Castro, et al.Capítulo de livroAcesso aberto
2023The syntactic side of autonomous categories enriched over generalised metric spacesDahlqvist, Fredrik; Neves, Renato Jorge AraújoArtigoAcesso aberto
2013When even the interface evolves...Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 6-19 de um total de 19 resultados. < anterior