Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 202



171
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
172
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
173
TÍTULO: An Orchestrator for Dynamic Interconnection of Software Components
AUTORES: Marco Antonio Barbosa; Luís Soares Barbosa ;
PUBLICAÇÃO: 2006, FONTE: CoOrg/MTCoord@COORDINATION, VOLUME: 181, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
174
TÍTULO: Components as coalgebras: The refinement dimension
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
175
TÍTULO: Configurations of Web Services
AUTORES: Marco Antonio Barbosa; Luís Soares Barbosa ;
PUBLICAÇÃO: 2006, FONTE: FOCLASA, VOLUME: 175, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 1
176
TÍTULO: Generic process algebra: A programming challenge
AUTORES: Ribeiro, PR; Barbosa, MA; Barbosa, LS ;
PUBLICAÇÃO: 2006, FONTE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP
177
TÍTULO: Preface
AUTORES: Zhiming Liu; Luís Barbosa ;
PUBLICAÇÃO: 2006, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 160
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
178
TÍTULO: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005
AUTORES: Zhiming Liu; Luís Soares Barbosa ;
PUBLICAÇÃO: 2006, FONTE: FACS, VOLUME: 160
INDEXADO EM: DBLP
NO MEU: DBLP
179
TÍTULO: Program slicing by calculation
AUTORES: Rodrigues, NF ; Barbosa, LS ;
PUBLICAÇÃO: 2006, FONTE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP
180
TÍTULO: Towards a Coordination Model for Interactive Systems
AUTORES: Marco Antonio Barbosa; Luís Soares Barbosa ; José Creissac Campos ;
PUBLICAÇÃO: 2006, FONTE: FMIS@ICFEM, VOLUME: 183, NÚMERO: SPEC. ISS.
INDEXADO EM: Scopus DBLP CrossRef: 5
Página 18 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