Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 195



111
TÍTULO: Verifying bigraphical models of architectural reconfigurations
AUTORES: Alejandro Sanchez ; Luis S Soares Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2013, FONTE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
112
TÍTULO: When even the interface evolves ...
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
113
TÍTULO: A Calculus for Generic, QoS-Aware Component Composition  Full Text
AUTORES: Barbosa, LS ; Meng, S;
PUBLICAÇÃO: 2012, FONTE: Mathematics in Computer Science, VOLUME: 6, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
114
TÍTULO: A Preliminary Analysis of Learning Awareness in FLOSS Projects
AUTORES: Sara Fernandes; Antonio Cerone; Luís Soares Barbosa ;
PUBLICAÇÃO: 2012, FONTE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers, VOLUME: 7991
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
115
TÍTULO: Analysing Tactics in Architectural Patterns
AUTORES: Sanchez, A ; Aguiar, A ; Barbosa, LS ; Riesco, D;
PUBLICAÇÃO: 2012, FONTE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012)
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
116
TÍTULO: Bigraphical modelling of architectural patterns
AUTORES: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLICAÇÃO: 2012, FONTE: 8th International Symposium on Formal Aspects of Component Software, FACS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7253 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
117
TÍTULO: Exploiting the FLOSS paradigm in collaborative e-learning-application to e-Government. application to e-government
AUTORES: Fernandes, S; Cerone, A; Barbosa, LS ;
PUBLICAÇÃO: 2012, FONTE: 6th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2012 in ACM International Conference Proceeding Series
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
118
119
120
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Lumpe, M; Barbosa, LS ;
PUBLICAÇÃO: 2012, FONTE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
Página 12 de 20. Total de resultados: 195.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service