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 114-133 de um total de 155 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2014ReCooPla: a DSL for coordination-based reconfiguration of software architecturesRodrigues, Flávio Gonçalves; Oliveira, Nuno; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2009Refinement by interpretation in a general settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.ArtigoAcesso aberto
2011Refinement by interpretation in φ-institutionsRodrigues, César J.; Martins, Manuel A.; Madeira, A., et al.Artigo em ata de conferênciaAcesso aberto
2015Refinement in hybridised institutionsMadeira, Alexandre Leite Castro; Martins, Manuel A.; Barbosa, L. S., et al.ArtigoAcesso aberto
Nov-2017A refinement relation for families of timed automataCledou, Guillermina; Proença, José Miguel Paiva; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2009Refinement via interpretationMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2008A relational model for confined separation logicWang, Shuling; Barbosa, L. S.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso 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
2011Revisiting context-aware component interconnectionBarbosa, L. S.; Barbosa, Marco António; Rodrigues, César J.Artigo em ata de conferênciaAcesso aberto
2014Selected and extended papers of the Brazilian Symposium on Programming Languages 2012Junior, Francisco Heron Carvalho; Barbosa, L. S.Editorial em revistaAcesso aberto
2014Selected contributions from the Open Source Software Certification (OpenCert) WorkshopsBarbosa, L. S.; Shaikh, Siraj AhmedEditorial em revistaAcesso aberto
2021A semantics and a logic for Fuzzy Arden SyntaxGomes, Leandro Rafael Moreira; Madeira, Alexandre Leite Castro; Barbosa, L. S.ArtigoAcesso aberto
2011Shacc: a functional prototyper for a component calculusMartins, André Batista; Barbosa, L. S.; Rodrigues, Nuno F.Artigo em ata de conferênciaAcesso aberto
2010Should mathematics remain invisible?Martinho, Maria Helena; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2020Simulation of non-radiative energy transfer in photosynthetic systems using a quantum computerGuimarães, José Diogo; Tavares, Carlos Eduardo Teixeira; Barbosa, L. S., et al.ArtigoAcesso aberto
2009A single complete relational rule for coalgebraic refinementRodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
Out-2010Slicing for architectural analysisRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
Set-2012Software components as invariant-typed arrowsBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2020Software engineering for 'quantum advantage'Barbosa, Luís S.Artigo em ata de conferênciaAcesso aberto
2005Specifying software connectorsBarbosa, Marco António; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Mostrar 114-133 de um total de 155 resultados. < anterior   próximo >