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 81-100 de um total de 155 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
Ago-2017Networks of universities as a tool for GCIO educationBarbosa, L. S.; Santos, Luís PauloArtigo em ata de conferênciaAcesso aberto
Abr-2018A note on reactive transitions and Reo connectorsFigueiredo, Daniel; Martins, Manuel A.; Barbosa, L. S.Capítulo de livroAcesso aberto
2017On infinitary equational hybrid logicMartins, M. A.; Madeira, Alexandre Leite Castro; Barbosa, L. S.Capítulo de livroAcesso aberto
2017On kleene algebras for weighted computationGomes, Leandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2004On refinement of generic state-based software componentsMeng, Sun; Barbosa, L. S.Capítulo de livroAcesso aberto
2005On refinement of software architecturesMeng, Sun; Barbosa, L. S.; Naixiao, ZhangArtigo em ata de conferênciaAcesso aberto
2011On requirements engineering for reactive systems: a formal methodologyMadeira, A.; Faria, José Miguel; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
2004On semantics and refinement of UML statecharts: a coalgebraic viewSun Meng; Zhang Naixiao; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2008On the discovery of business processes orchestration patternsRodrigues, Nuno F.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Out-2019On the generation of equational dynamic logics for weighted imperative programsGomes, Leandro Rafael Moreira; Madeira, Alexandre; Jain, Manisha, et al.Artigo em ata de conferênciaAcesso aberto
2013On the reconfiguration of software connectorsOliveira, Nuno; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2003On the specification of a component repositoryRodrigues, Nuno; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2015On the verification of architectural reconfigurationsSanchez, Alejandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.ArtigoAcesso restrito UMinho
23-Mar-2023Paraconsistent transition systemsCruz, Ana; Madeira, Alexandre; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Fev-2015A perspective on architectural re-engineeringBarbosa, L. S.; Sanchez, Alejandro; Henriques, Pedro Rangel, et al.ArtigoAcesso aberto
2009A perspective on service orchestrationBarbosa, Marco António; Barbosa, L. S.ArtigoAcesso aberto
2013A pilot project on non-conventional learningFernandes, Sara; Cerone, Antonio; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Abr-2023Policy gradients using variational quantum circuitsSequeira, André; Santos, Luís Paulo; Barbosa, L. S.ArtigoAcesso aberto
2000Polytipic recursion patternsBarbosa, L. S.; Barros, José Bernardo; Almeida, J. J.Artigo em ata de conferênciaAcesso aberto
2014A preliminary analysis of learning awareness in FLOSS projectsFernandes, Sara; Cerone, Antonio; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Mostrar 81-100 de um total de 155 resultados. < anterior   próximo >