Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 203



101
TITLE: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface
AUTHORS: Barbosa, LS ; Lumpe, M;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3
INDEXED IN: Scopus WOS DBLP CrossRef
102
TITLE: Paradigm integration in a specification course
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ; Neves, R ;
PUBLISHED: 2014, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
103
104
TITLE: Quantitative analysis of Reo-based service coordination
AUTHORS: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLISHED: 2014, SOURCE: SAC
INDEXED IN: DBLP CrossRef
105
TITLE: ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures
AUTHORS: Flávio Rodrigues; Nuno Oliveira ; Luís Soares Barbosa ;
PUBLISHED: 2014, SOURCE: SLATE
INDEXED IN: DBLP
106
TITLE: Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface
AUTHORS: de Carvalho, FH; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, ISSUE: P2
INDEXED IN: Scopus WOS DBLP CrossRef
107
TITLE: Selected contributions from the Open Source Software Certification (OpenCert) workshops Preface
AUTHORS: Barbosa, LS ; Shaikh, SA;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B
INDEXED IN: Scopus WOS DBLP CrossRef: 1
108
TITLE: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 1
109
TITLE: A Coalgebraic Perspective on Logical Interpretations
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 1
110
TITLE: A pilot project on non-conventional learning
AUTHORS: Sara Fernandes; Antonio Cerone; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: ITiCSE
INDEXED IN: Scopus DBLP CrossRef
Page 11 of 21. Total results: 203.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service