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 106-125 de um total de 155 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2010QoS-aware component compositionBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2014Quantitative analysis of reo- based service coordinationOliveira, Nuno; Silva, Alexandra M.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2023Quantum bayesian decision‑makingOliveira, Michael; Barbosa, L. S.ArtigoAcesso aberto
2023Quantum privacy‐preserving service for secure lane change in vehicular networksRahmani, Zeinab; Barbosa, L. S.; Pinto, Armando N.ArtigoAcesso aberto
2021Quantum tree-based planningSequeira, Andre; Santos, Luís Paulo; Barbosa, L. S.ArtigoAcesso aberto
Abr-2019Reactive models for biological regulatory networksFigueiredo, Daniel; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Reasoning about complex requirements in a uniform settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2013Reconfiguration mechanisms for service coordinationOliveira, Nuno; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
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
Mostrar 106-125 de um total de 155 resultados. < anterior   próximo >