Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 195



171
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 | CIÊNCIAVITAE
172
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
173
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 | CIÊNCIAVITAE
174
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
175
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 | CIÊNCIAVITAE
176
TÍTULO: Transposing partial components - An exercise on coalgebraic refinement  Full Text
AUTORES: Luis S Barbosa ; Jose N Oliveira ;
PUBLICAÇÃO: 2006, FONTE: 3rd International Symposium on Formal Methods for Components and Objects in THEORETICAL COMPUTER SCIENCE, VOLUME: 365, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
177
TÍTULO: A coalgebraic semantic framework for component-based development in UML
AUTORES: Meng, S; Aichernig, BK; Barbosa, LS ; Naixiao, Z;
PUBLICAÇÃO: 2005, FONTE: Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004) in Electronic Notes in Theoretical Computer Science, VOLUME: 122
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
178
TÍTULO: A perspective on component refinement  Full Text
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2005, FONTE: 3rd International Symposium on Formal Methods for Components and Objects in FORMAL METHODS FOR COMPONENTS AND OBJECTS, VOLUME: 3657
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
179
TÍTULO: Architectural prototyping: From CCS to. Net
AUTORES: Rodrigues, NF ; Barbosa, LS ;
PUBLICAÇÃO: 2005, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 130
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
180
TÍTULO: Bandwidth boosting in transimpedance amplifiers for optical LANs, using delayed feedback
AUTORES: Martins, N; Barbosa, L ; Alves, LN ; Aguiar, RL ;
PUBLICAÇÃO: 2005, FONTE: 12th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2005 in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID
Página 18 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