Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Publicações Confirmadas: 96



91
TÍTULO: Superposing connectors
AUTORES: Wermelinger, M; Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2000, FONTE: 10th International Workshop on Software Specification and Design in TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
92
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 | CIÊNCIAVITAE
93
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 | CIÊNCIAVITAE
94
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 | CIÊNCIAVITAE
95
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 | CIÊNCIAVITAE
96
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 | CIÊNCIAVITAE
Página 10 de 10. Total de resultados: 96.

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