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 1-20 de um total de 155 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
2017Administrative burden reduction over time: Literature review, trends and gap analysisNielsen, Morten Meyerhoff; Carvalho, Nuno Alexandre Ramos; Veiga, Linda Gonçalves, et al.Artigo em ata de conferênciaAcesso aberto
26-Out-2016An enhanced model for stochastic coordinationOliveira, Nuno Ernesto Salgado; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2008An exercise on transition systemsRibeiro, Paula R.; Barbosa, L. S.; Wang, ShulingArtigoAcesso aberto
2014An institution for Alloy and its translation to second-order logicNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Capítulo de livroAcesso aberto
2007An orchestrator for dynamic interconnection of software componentsBarbosa, L. S.; Barbosa, Marco AntónioArtigoAcesso aberto
2012Analysing tactics in architectural patternsSanchez, Alejandro; Aguiar, Ademar; Barbosa, L. S., et al.Artigo em ata de conferênciaAcesso aberto
2016Applying the 3C Model to FLOSS communitiesFernandes, Sara Santos; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2005Architectural prototyping: from ccs to .netRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
2012Bigraphical modelling of architectural patternsSanchez, Alejandro; Barbosa, L. S.; Riesco, DanielArtigo em ata de conferênciaAcesso aberto
2013Bisimilarity and refinement for hybrid(ised) logicsMadeira, Alexandre; Martins, Manuel M.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2013Boilerplates for reconfigurable systems: a language and its semanticsMadeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2010Bringing class diagrams to lifeBarbosa, L. S.; Sun, MengArtigoAcesso aberto
2008Calculating invariants as coreflexive bisimulationsBarbosa, L. S.; Oliveira, José Nuno Fonseca; Silva, AlexandraArtigo em ata de conferênciaAcesso aberto
Dez-2012A calculus for generic, QoS-aware component compositionBarbosa, L. S.; Meng, SunArtigoAcesso aberto
2005Camila revival: VDM meets haskellVisser, Joost; Oliveira, José Nuno Fonseca; Barbosa, L. S., et al.Artigo em ata de conferênciaAcesso aberto
1997CAMILA: formal software engineering supported by functional programmingAlmeida, José João; Barbosa, L. S.; Neves, F. L., et al.Artigo em ata de conferênciaAcesso aberto
1997CAMILA: prototyping and refinement of constructive specificationsAlmeida, José João; Barbosa, L. S.; Neves, F. L., et al.Artigo em ata de conferênciaAcesso aberto
2023Capturing Qubit decoherence through paraconsistent transition systemsBarbosa, L. S.; Madeira, AlexandreArtigo em ata de conferênciaAcesso aberto
2010Certification of open-source software : a role for formal methods?Barbosa, L. S.; Cerone, Antonio; Petrenko, Alexander, et al.ArtigoAcesso aberto
Set-2017Certification of workflows in a component-based cloud of high performance computing servicesde Oliveira Dantas, Allberson B.; de Carvalho Junior, F. Heron; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Mostrar 1-20 de um total de 155 resultados.  próximo >