Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 195



161
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 | CIÊNCIAVITAE
162
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 | CIÊNCIAVITAE
163
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 | CIÊNCIAVITAE
164
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 | CIÊNCIAVITAE
165
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 | CIÊNCIAVITAE
166
TÍTULO: Modelling is for reasoning
AUTORES: Barbosa, LS ; Martinho, MH ;
PUBLICAÇÃO: 2007, FONTE: Mathematical Modelling: Education, Engineering and Economics - ICTMA 12
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
167
TÍTULO: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTORES: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; Labra, J; Fiadeiro, JL; Figueiredo, L; Barbosa, LS ; Menezes, LC; Maia, M; De Valente, MTO; Bigonha, MAS; Benton, N; Rodriguez, N; Borba, P; Mosses, PD; Lins, RD; Cerqueira, R; Lima, RM; Ierusalimschy, R; Rigo, S; De Schneider, SM; Soares, S; Dascalu, S; Thompson, S; Vene, V; Costa, V ; Iorio, VD; ...Mais
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
168
TÍTULO: Towards a Coordination Model for Interactive Systems
AUTORES: Barbosa, MA; Barbosa, LS ; Campos, JC ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 183, NÚMERO: SPEC. ISS.
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
169
TÍTULO: Component Identification Through Program Slicing
AUTORES: Rodrigues, NF ; Barbosa, LS ;
PUBLICAÇÃO: 2006, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 160, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 11
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
170
TÍTULO: Components as coalgebras: The refinement dimension  Full Text
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2006, FONTE: 10th International Conference on Algebraic Methodology and Software Technology in THEORETICAL COMPUTER SCIENCE, VOLUME: 351, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Página 17 de 20. Total de resultados: 195.

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

Links Úteis

Ajuda

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