Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 195



181
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 | ResearcherID | DBLP | CIÊNCIAVITAE
182
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 | DBLP | CIÊNCIAVITAE
183
TÍTULO: Slicing Functional Programs by Calculation
AUTORES: Nuno F Rodrigues ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2005, FONTE: Beyond Program Slicing 2005 in Beyond Program Slicing, 06.11. - 11.11.2005, VOLUME: 05451
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
184
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 | ResearcherID | DBLP | CIÊNCIAVITAE
185
TÍTULO: A relational model for component interconnection  Full Text
AUTORES: Barbosa, MA; Barbosa, LS ;
PUBLICAÇÃO: 2004, FONTE: 8th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 10, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
186
TÍTULO: On refinement of generic state-based software components
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2004, FONTE: 10th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, VOLUME: 3116
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
187
TÍTULO: On semantics and refinement of UML statecharts: A coalgebraic view
AUTORES: Sun, M; Zhang, NX; Barbosa, LS ;
PUBLICAÇÃO: 2004, FONTE: 2nd International Conference on Software Engineering and Formal Methods in PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
188
TÍTULO: State-based components made generic
AUTORES: Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2003, FONTE: CMCS'03, Coalgebraic Methods in Computer Science Satellite Event for ETAPS 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 82, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
189
TÍTULO: Towards a calculus of state-based software components  Full Text
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2003, FONTE: 7th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 9, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
190
TÍTULO: Coinductive Interpreters for Process Calculi
AUTORES: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLICAÇÃO: 2002, FONTE: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 19 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