Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Confirmed Publications: 95



91
TITLE: Algebraic semantics of coordination or what is in a signature
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 1999, SOURCE: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98) in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, VOLUME: 1548
INDEXED IN: Scopus WOS CrossRef: 8
IN MY: ORCID
92
TITLE: Using explicit state to describe architectures
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 1999, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1577
INDEXED IN: Scopus WOS
IN MY: ORCID
93
TITLE: Preservation and reflection in specifications
AUTHORS: Lopes A. ; Fiadeiro J.L.;
PUBLISHED: 1997, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXED IN: Scopus
IN MY: ORCID
94
TITLE: Semantics of architectural connectors
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 1997, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
95
TITLE: Specification of required non-determinism
AUTHORS: Lano K.; Bicarregui J.; Fiadeiro J.; Lopes A. ;
PUBLISHED: 1997, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1313
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID
Page 10 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service