Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 202



171
TITLE: Modelling is for reasoning
AUTHORS: Barbosa, LS ; Martinho, MH ;
PUBLISHED: 2007, SOURCE: Mathematical Modelling: Education, Engineering and Economics - ICTMA 12
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
172
TITLE: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTHORS: 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; ...More
PUBLISHED: 2007, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
173
TITLE: An Orchestrator for Dynamic Interconnection of Software Components
AUTHORS: Marco Antonio Barbosa; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: CoOrg/MTCoord@COORDINATION, VOLUME: 181, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
174
TITLE: Components as coalgebras: The refinement dimension
AUTHORS: Meng, S; Barbosa, LS ;
PUBLISHED: 2006, SOURCE: 10th International Conference on Algebraic Methodology and Software Technology in THEORETICAL COMPUTER SCIENCE, VOLUME: 351, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 20
175
TITLE: Configurations of Web Services
AUTHORS: Marco Antonio Barbosa; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: FOCLASA, VOLUME: 175, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 1
176
TITLE: Generic process algebra: A programming challenge
AUTHORS: Ribeiro, PR; Barbosa, MA; Barbosa, LS ;
PUBLISHED: 2006, SOURCE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 7
INDEXED IN: Scopus WOS DBLP
177
TITLE: Preface
AUTHORS: Zhiming Liu; Luís Barbosa ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 160
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
178
179
TITLE: Program slicing by calculation
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2006, SOURCE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 7
INDEXED IN: Scopus WOS DBLP
180
TITLE: Towards a Coordination Model for Interactive Systems
AUTHORS: Marco Antonio Barbosa; Luís Soares Barbosa ; José Creissac Campos ;
PUBLISHED: 2006, SOURCE: FMIS@ICFEM, VOLUME: 183, ISSUE: SPEC. ISS.
INDEXED IN: Scopus DBLP CrossRef: 5
Page 18 of 21. Total results: 202.

footer slogan

Useful Links

Get Help

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