Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 203



161
TITLE: Refinement via interpretation
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
162
TITLE: UML Model Refactoring as Refinement: A Coalgebraic Perspective
AUTHORS: Barbosa, LS ; Meng, S;
PUBLISHED: 2009, SOURCE: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing in PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
163
TITLE: Which Mathematics for the Information Society?
AUTHORS: Ferreira, JF ; Mendes, A ; Backhouse, R; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
164
TITLE: A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams
AUTHORS: Sun Meng; Luís Soares Barbosa ;
PUBLISHED: 2008, SOURCE: QSIC
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
165
TITLE: A relational model for confined separation logic
AUTHORS: Wang, SL; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2008, SOURCE: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering in TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
166
TITLE: Calculating invariants as coreflexive bisimulations
AUTHORS: Barbosa, LS ; Oliveira, JN ; Silva, A ;
PUBLISHED: 2008, SOURCE: 12th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, VOLUME: 5140
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | CIÊNCIAVITAE
167
TITLE: COORDINSPECTOR: a tool for extracting coordination data from legacy code
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2008, SOURCE: 8th IEEE International Working Conference on Source Code Analysis and Manipulation in EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
168
TITLE: On The Discovery of Business Processes Orchestration Patterns
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2008, SOURCE: IEEE Congress on Services in IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, VOLUME: PART 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
169
TITLE: A type-level approach to component prototyping
AUTHORS: Luís Soares Barbosa ; Jácome Cunha ; Joost Visser;
PUBLISHED: 2007, SOURCE: SYANCO
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
170
TITLE: An Exercise on Transition Systems
AUTHORS: Paula R Ribeiro; Luís Soares Barbosa ; Shuling Wang;
PUBLISHED: 2007, SOURCE: TTSS, VOLUME: 207, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
Page 17 of 21. Total results: 203.

footer slogan

Useful Links

Get Help

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