Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 190



161
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
162
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
163
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
164
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
165
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: 17
NO MEU: ORCID | ResearcherID | DBLP
166
TÍTULO: Generic process algebra: A programming challenge  Full Text
AUTORES: Paula R Ribeiro; Marco Antonio Barbosa; Luis Soares Barbosa ;
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
NO MEU: ORCID | ResearcherID | DBLP
167
TÍTULO: Preface
AUTORES: Zhiming Liu; Luís Soares Barbosa ;
PUBLICAÇÃO: 2006, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 160
INDEXADO EM: DBLP
NO MEU: DBLP
168
TÍTULO: Preface
AUTORES: Zhiming Liu; Luís Barbosa ;
PUBLICAÇÃO: 2006, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 160
INDEXADO EM: CrossRef
NO MEU: ORCID
169
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
170
TÍTULO: Program slicing by calculation  Full Text
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
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
NO MEU: ORCID | ResearcherID | DBLP
Página 17 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