Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 200



101
TÍTULO: Quantitative analysis of Reo-based service coordination
AUTORES: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2014, FONTE: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
102
TÍTULO: ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures
AUTORES: Flávio Rodrigues; Nuno Oliveira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2014, FONTE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal, VOLUME: 38
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
103
TÍTULO: Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface  Full Text
AUTORES: Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, NÚMERO: P2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
104
TÍTULO: Selected contributions from the Open Source Software Certification (OpenCert) workshops Preface  Full Text
AUTORES: Luis Soares Barbosa ; Siraj Ahmed Shaikh;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
105
TÍTULO: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT PDF  Full Text
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luis S Barbosa ;
PUBLICAÇÃO: 2014, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
106
TÍTULO: A Coalgebraic Perspective on Logical Interpretations  Full Text
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
107
TÍTULO: A pilot project on non-conventional learning
AUTORES: Fernandes, S; Cerone, A; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 18th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2013 in Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
108
TÍTULO: An Institution for Alloy and Its Translation to Second-Order Logic
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013], VOLUME: 263
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
109
TÍTULO: Bisimilarity and refinement for hybrid(ised) logics  Full Text
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 16th International Refinement Workshop, Refine 2013 in Proceedings 16th International Refinement Workshop, Refine 2013, Turku, Finland, 11th June 2013., VOLUME: 115
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
110
TÍTULO: Boilerplates for Reconfigurable Systems: A Language and Its Semantics
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 29
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 11 de 20. Total de resultados: 200.

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