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 94-113 de um total de 155 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
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
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
Mostrar 94-113 de um total de 155 resultados. < anterior   próximo >