Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 203



181
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
NO MEU: ORCID | CIÊNCIAVITAE
182
TÍTULO: Transposing partial components - An exercise on coalgebraic refinement  Full Text
AUTORES: Barbosa, LS ; Oliveira, JN ;
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 | CIÊNCIAVITAE
183
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
184
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
185
TÍTULO: Component Identification Through Program Slicing
AUTORES: Nuno F Rodrigues ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2005, FONTE: FACS, VOLUME: 160, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 11
NO MEU: ORCID | CIÊNCIAVITAE
186
TÍTULO: From algebras to objects: Generation and composition  Full Text
AUTORES: Cruz, AM; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 11, NÚMERO: 10
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | CIÊNCIAVITAE
187
TÍTULO: On refinement of software architectures  Full Text
AUTORES: Meng, S; Barbosa, LS ; Zhang, NX;
PUBLICAÇÃO: 2005, FONTE: 2nd International Colloquium on Theoretical Aspects of Computing in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, VOLUME: 3722
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
188
TÍTULO: Preface
AUTORES: Zhiming Liu; Luís Soares Barbosa ;
PUBLICAÇÃO: 2005, FONTE: FACS
INDEXADO EM: DBLP
NO MEU: CIÊNCIAVITAE
189
TÍTULO: Slicing Functional Programs by Calculation
AUTORES: Nuno F Rodrigues ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2005, FONTE: Beyond Program Slicing, VOLUME: 5451
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
190
TÍTULO: Specifying software connectors  Full Text
AUTORES: Barbosa, MA; Barbosa, LS ;
PUBLICAÇÃO: 2005, FONTE: 1st International Colloquium on Theoretical Aspects of Computing (ICTAC 2004) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, VOLUME: 3407
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
Página 19 de 21. Total de resultados: 203.

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