Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 202



91
TÍTULO: On the verification of architectural reconfigurations
AUTORES: Sanchez, A ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2015, FONTE: COMPUTER LANGUAGES SYSTEMS & STRUCTURES, VOLUME: 44
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
92
TÍTULO: Reasoning about software reconfigurations: The behavioural and structural perspectives
AUTORES: Oliveira, N; Barbosa, LS ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
93
TÍTULO: Refinement in hybridised institutions
AUTORES: Madeira, A ; Martins, MA ; Barbosa, LS ; Hennicker, R;
PUBLICAÇÃO: 2015, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
94
TÍTULO: Self-adaptation by coordination-targeted reconfigurations
AUTORES: Nuno Oliveira; Luís Soares Barbosa ;
PUBLICAÇÃO: 2015, FONTE: J. Softw. Eng. Res. Dev., VOLUME: 3, NÚMERO: 1
INDEXADO EM: DBLP CrossRef: 2
95
TÍTULO: Specifying Structural Constraints of Architectural Patterns in the ARCHERY Language
AUTORES: Alejandro Sanchez ; Luis S Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2015, FONTE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
96
TÍTULO: Towards an engine for coordination-based architectural reconfigurations
AUTORES: Rodrigues, F; Oliveira, N; Barbosa, LS ;
PUBLICAÇÃO: 2015, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 12, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
97
TÍTULO: A Hilbert-Style Axiomatisation for Equational Hybrid Logic
AUTORES: Barbosa, LS ; Martins, MA ; Carreteiro, M;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
98
TÍTULO: A self-adaptation strategy for service-based architectures
AUTORES: Oliveira, N ; Barbosa, LS ;
PUBLICAÇÃO: 2014, FONTE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS)
INDEXADO EM: Scopus WOS DBLP CrossRef
99
TÍTULO: Analysis of FLOSS Communities as Learning Contexts
AUTORES: Fernandes, S; Cerone, A; Barbosa, LS ;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
100
TÍTULO: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface
AUTORES: Barbosa, LS ; Lumpe, M;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, NÚMERO: P3
INDEXADO EM: Scopus WOS DBLP CrossRef
Página 10 de 21. Total de resultados: 202.

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

Links Úteis

Ajuda

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