Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 202



161
TÍTULO: UML Model Refactoring as Refinement: A Coalgebraic Perspective
AUTORES: Barbosa, LS ; Meng, S;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
162
TÍTULO: Which Mathematics for the Information Society?
AUTORES: Ferreira, JF ; Mendes, A ; Backhouse, R; Barbosa, LS ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
163
TÍTULO: A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams
AUTORES: Sun Meng; Luís Soares Barbosa ;
PUBLICAÇÃO: 2008, FONTE: QSIC
INDEXADO EM: Scopus DBLP CrossRef: 4
164
TÍTULO: A relational model for confined separation logic
AUTORES: Wang, SL; 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
165
TÍTULO: Calculating invariants as coreflexive bisimulations
AUTORES: Barbosa, LS ; Oliveira, JN ; Silva, A ;
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: 9
166
TÍTULO: COORDINSPECTOR: a tool for extracting coordination data from legacy code
AUTORES: Rodrigues, NF ; Barbosa, LS ;
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
167
TÍTULO: On The Discovery of Business Processes Orchestration Patterns
AUTORES: Rodrigues, NF ; Barbosa, LS ;
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
168
TÍTULO: A type-level approach to component prototyping
AUTORES: Luís Soares Barbosa ; Jácome Cunha ; Joost Visser;
PUBLICAÇÃO: 2007, FONTE: SYANCO
INDEXADO EM: Scopus DBLP CrossRef
169
TÍTULO: An Exercise on Transition Systems
AUTORES: Paula R Ribeiro; Luís Soares Barbosa ; Shuling Wang;
PUBLICAÇÃO: 2007, FONTE: TTSS, VOLUME: 207, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 2
170
TÍTULO: Higher-order lazy functional slicing
AUTORES: Rodrigues, NF ; Barbosa, LS ;
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
Página 17 de 21. Total de resultados: 202.

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

Links Úteis

Ajuda

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