Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 190



151
TITLE: A coalgebraic semantic framework for reasoning about UML sequence diagrams  Full Text
AUTHORS: Meng, S; Barbosa, LS ;
PUBLISHED: 2008, SOURCE: 8th International Conference on Quality Software, QSIC 2008 in Proceedings - International Conference on Quality Software
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
152
TITLE: A relational model for confined separation logic
AUTHORS: Shuling L Wang; 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 | DBLP
153
TITLE: An Exercise on Transition Systems
AUTHORS: Ribeiro, PR; Barbosa, LS ; Wang, S;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 207, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
154
TITLE: Calculating invariants as coreflexive bisimulations
AUTHORS: Luis S Barbosa ; Jose N Oliveira ; Alexandra Silva ;
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: 8
IN MY: ORCID | DBLP
155
TITLE: COORDINSPECTOR: a tool for extracting coordination data from legacy code
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
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 | DBLP
156
TITLE: On The Discovery of Business Processes Orchestration Patterns
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
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 | DBLP
157
TITLE: A type-level approach to component prototyping
AUTHORS: Barbosa, L ; Cunha, J ; Visser, J;
PUBLISHED: 2007, SOURCE: SYANCO'07: International Workshop on Synthesis and Analysis of Component Connectors: 6th ESEC(European Software Engineering Conference)/FSE(Foundations of Software Engineering) Joint Meeting in SYANCO'07: International Workshop on Synthesis and Analysis of Component Connectors - In conjunction with the 6th ESEC/FSE Joint Meeting
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
158
TITLE: An Orchestrator for Dynamic Interconnection of Software Components
AUTHORS: Barbosa, MA; Barbosa, LS ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 181, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
159
TITLE: Configurations of Web Services
AUTHORS: Barbosa, MA; Barbosa, LS ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 175, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
160
TITLE: Higher-order lazy functional slicing  Full Text
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2007, SOURCE: 11th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
Page 16 of 19. Total results: 190.

A place for researchers and their institutions

Useful Links

Get Help

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