Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 203



201
TÍTULO: Components as processes: An exercise in coalgebraic modeling
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2000, FONTE: IFIP TC6/WG6 1 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, VOLUME: 49
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
202
TÍTULO: Prototyping Processes
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 1999, FONTE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
203
TÍTULO: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTORES: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
INDEXADO EM: Scopus DBLP CrossRef: 1 Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 21 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