Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 202



101
TÍTULO: Paradigm integration in a specification course
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ; Neves, R ;
PUBLICAÇÃO: 2014, FONTE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
102
103
TÍTULO: Quantitative analysis of Reo-based service coordination
AUTORES: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2014, FONTE: SAC
INDEXADO EM: DBLP CrossRef
104
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: SLATE
INDEXADO EM: DBLP
105
TÍTULO: Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface
AUTORES: de Carvalho, FH; Barbosa, LS ;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, NÚMERO: P2
INDEXADO EM: Scopus WOS DBLP CrossRef
106
TÍTULO: Selected contributions from the Open Source Software Certification (OpenCert) workshops Preface
AUTORES: Barbosa, LS ; Shaikh, SA;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B
INDEXADO EM: Scopus WOS DBLP CrossRef
107
TÍTULO: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2014, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
108
TÍTULO: A Coalgebraic Perspective on Logical Interpretations
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
109
TÍTULO: A pilot project on non-conventional learning
AUTORES: Sara Fernandes; Antonio Cerone; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: ITiCSE
INDEXADO EM: Scopus DBLP CrossRef
110
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: IRI (best papers), VOLUME: 263
INDEXADO EM: Scopus DBLP CrossRef: 2
Página 11 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