Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 191



91
TITLE: FLOSS in technology-enhanced learning
AUTHORS: Fernandes, S; Cerone, A; Barbosa, LS ; Papadopoulos, PM;
PUBLISHED: 2014, SOURCE: 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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7991 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
92
TITLE: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface  Full Text
AUTHORS: Luis Soares Barbosa ; Markus Lumpe;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
93
TITLE: Paradigm integration in a specification course
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis Soares Barbosa ; Renato Neves ;
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: 1
IN MY: ORCID | DBLP
94
95
TITLE: Quantitative analysis of Reo-based service coordination
AUTHORS: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLISHED: 2014, SOURCE: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP
96
TITLE: ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures
AUTHORS: Flávio Rodrigues; Nuno Oliveira ; Luís Soares Barbosa ;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal, VOLUME: 38
INDEXED IN: DBLP
IN MY: ORCID | DBLP
97
TITLE: Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface  Full Text
AUTHORS: Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, ISSUE: P2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
98
TITLE: Selected contributions from the Open Source Software Certification (OpenCert) workshops Preface  Full Text
AUTHORS: Luis Soares Barbosa ; Siraj Ahmed Shaikh;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
99
TITLE: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT PDF  Full Text
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis S Barbosa ;
PUBLISHED: 2014, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 2
IN MY: ORCID | DBLP
100
TITLE: A Coalgebraic Perspective on Logical Interpretations  Full Text
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP
Page 10 of 20. Total results: 191.

footer slogan

Useful Links

Get Help

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