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 101-120 de um total de 155 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2001Process Calculi à la Bird-MeertensBarbosa, L. S.ArtigoAcesso aberto
2006Program slicing by calculationBarbosa, L. S.; Rodrigues, Nuno F.ArtigoAcesso aberto
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.ArtigoAcesso aberto
2004Prototyping behavioural specifications in the net frameworkBarbosa, L. S.; Rodrigues, Nuno F.Artigo em ata de conferênciaAcesso aberto
1999Prototyping processesBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
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
Mostrar 101-120 de um total de 155 resultados. < anterior   próximo >