Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 203



191
TÍTULO: A Coalgebraic Semantic Framework for Component-based Development in UML
AUTORES: Sun Meng; Bernhard K Aichernig; Luís Soares Barbosa ; Zhang Naixiao;
PUBLICAÇÃO: 2004, FONTE: CTCS, VOLUME: 122
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
192
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 | CIÊNCIAVITAE
193
TÍTULO: Architectural Prototyping: From CCS to .Net
AUTORES: Nuno F Rodrigues ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2004, FONTE: SBMF, VOLUME: 130
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
194
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 | CIÊNCIAVITAE
195
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: 4
NO MEU: ORCID | CIÊNCIAVITAE
196
TÍTULO: State-based Components Made Generic
AUTORES: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLICAÇÃO: 2003, FONTE: CMCS, VOLUME: 82, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
197
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
198
TÍTULO: Coinductive Interpreters for Process Calculi
AUTORES: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLICAÇÃO: 2002, FONTE: FLOPS, VOLUME: 2441
INDEXADO EM: Scopus DBLP CrossRef: 2 Handle
NO MEU: ORCID | CIÊNCIAVITAE
199
TÍTULO: Components as coalgebras
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2001
INDEXADO EM: DBLP
NO MEU: DBLP
200
TÍTULO: Process calculi à la bird-meertens
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2001, FONTE: CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001) in Electronic Notes in Theoretical Computer Science, VOLUME: 44, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 20 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