Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Publicações Confirmadas: 95



91
TÍTULO: Algebraic semantics of coordination or what is in a signature
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 1999, FONTE: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98) in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, VOLUME: 1548
INDEXADO EM: Scopus WOS CrossRef: 8
NO MEU: ORCID
92
TÍTULO: Using explicit state to describe architectures
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 1999, FONTE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1577
INDEXADO EM: Scopus WOS
NO MEU: ORCID
93
TÍTULO: Preservation and reflection in specifications
AUTORES: Lopes A. ; Fiadeiro J.L.;
PUBLICAÇÃO: 1997, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXADO EM: Scopus
NO MEU: ORCID
94
TÍTULO: Semantics of architectural connectors
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 1997, FONTE: 7th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1214
INDEXADO EM: Scopus
NO MEU: ORCID
95
TÍTULO: Specification of required non-determinism
AUTORES: Lano K.; Bicarregui J.; Fiadeiro J.; Lopes A. ;
PUBLICAÇÃO: 1997, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1313
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
Página 10 de 10. Total de resultados: 95.

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