Percorrer por autor 683 Subscrever estatísticas do autor Autor

Í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 53-72 de um total de 155 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2021Generalised quantum tree searchSequeira, André Manuel Resende; Santos, Luís Paulo; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2019Generalising KAT to verify weighted computationsGomes, Leandro; Madeira, Alexandre; Barbosa, L. S.ArtigoAcesso aberto
2006Generic process algebra: a programming challengeBarbosa, L. S.; Barbosa, Marco António; Ribeiro, Paula R.ArtigoAcesso aberto
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
2007Higher-order lazy functional slicingRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
2014A hilbert-style axiomatisation for equational hybrid logicCarreteiro, Marta; Martins, Manuel; Barbosa, L. S.ArtigoAcesso aberto
2016Hybrid automata as coalgebrasNeves, Renato Jorge Araújo; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Hybrid specification of reactive systems: an institutional approachMadeira, A.; Faria, José Miguel; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
2013Hybridisation at workNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
2011Hybridization of institutionsMartins, Manuel A.; Madeira, A.; Diaconescu, R., et al.Artigo em ata de conferênciaAcesso aberto
Nov-2009Implementation of an orchestration language as a haskell domain specific languageCampos, Marco Devesas; Barbosa, L. S.ArtigoAcesso aberto
2013Integrating formal and informal learning through a FLOSS-based innovative approachFernandes, Sara; Martinho, Maria Helena; Barbosa, L. S., 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
Mar-2020Introducing synchrony in fuzzy automataGomes, Leandro Rafael Moreira; Madeira, Alexandre; Barbosa, L. S.ArtigoAcesso aberto
2011A language for behavioural modelling of architectural patternsSanchez, Alejandro; Barbosa, L. S.; Riesco, DanielArtigo 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
Jan-2018Layered logics, coalgebraicallyBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2022A logic for paraconsistent transition systemsAna Cruz; Alexandre Madeira; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2015A Logic for robotics?Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 53-72 de um total de 155 resultados. < anterior   próximo >