Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 190



151
TÍTULO: A coalgebraic semantic framework for reasoning about UML sequence diagrams  Full Text
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2008, FONTE: 8th International Conference on Quality Software, QSIC 2008 in Proceedings - International Conference on Quality Software
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
152
TÍTULO: A relational model for confined separation logic
AUTORES: Shuling L Wang; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2008, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP
153
TÍTULO: An Exercise on Transition Systems
AUTORES: Ribeiro, PR; Barbosa, LS ; Wang, S;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 207, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
154
TÍTULO: Calculating invariants as coreflexive bisimulations
AUTORES: Luis S Barbosa ; Jose N Oliveira ; Alexandra Silva ;
PUBLICAÇÃO: 2008, FONTE: 12th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, VOLUME: 5140
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | DBLP
155
TÍTULO: COORDINSPECTOR: a tool for extracting coordination data from legacy code
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLICAÇÃO: 2008, FONTE: 8th IEEE International Working Conference on Source Code Analysis and Manipulation in EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
156
TÍTULO: On The Discovery of Business Processes Orchestration Patterns
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLICAÇÃO: 2008, FONTE: IEEE Congress on Services in IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, VOLUME: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
157
TÍTULO: A type-level approach to component prototyping
AUTORES: Barbosa, L ; Cunha, J ; Visser, J;
PUBLICAÇÃO: 2007, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
158
TÍTULO: An Orchestrator for Dynamic Interconnection of Software Components
AUTORES: Barbosa, MA; Barbosa, LS ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 181, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
159
TÍTULO: Configurations of Web Services
AUTORES: Barbosa, MA; Barbosa, LS ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 175, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
160
TÍTULO: Higher-order lazy functional slicing  Full Text
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLICAÇÃO: 2007, FONTE: 11th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
Página 16 de 19. Total de resultados: 190.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service