Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Confirmed Publications: 95



81
TITLE: On how distribution and mobility interfere with coordination
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2003, SOURCE: 16th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2755
INDEXED IN: Scopus WOS
IN MY: ORCID
82
TITLE: Architectural primitives for distribution and mobility
AUTHORS: Lopes, A ; Fiadeiro, JL; Wermelinger, M;
PUBLISHED: 2002, SOURCE: Proceedings of the Tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
INDEXED IN: Scopus
IN MY: ORCID
83
TITLE: Revisiting the categorical approach to systems
AUTHORS: Antónia Lopes ; José Luiz Fiadeiro;
PUBLISHED: 2002, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2422
INDEXED IN: Scopus
IN MY: ORCID
84
TITLE: Superposition
AUTHORS: Antónia Lopes ; José Luiz Fiadeiro;
PUBLISHED: 2002, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 70, ISSUE: 3
INDEXED IN: CrossRef
IN MY: ORCID
85
TITLE: Superposition: Composition vs refinement of non-deterministic, action-based systems
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2002, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 70, ISSUE: 3
INDEXED IN: Scopus
86
TITLE: A compositional approach to connector construction
AUTHORS: Lopes, A ; Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 2001, SOURCE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXED IN: Scopus WOS
IN MY: ORCID
87
TITLE: A graph based architectural (re)configuration language
AUTHORS: Wermelinger, M; Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2001, SOURCE: 8th Eiropean Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9) in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
INDEXED IN: Scopus
IN MY: ORCID
88
TITLE: Patterns for coordination
AUTHORS: Andrade, LF; Fiadeiro, JL; Gouveia, J; Lopes, A ; Wermelinger, M;
PUBLISHED: 2000, SOURCE: 4th International Conference on Coordination Models and Languages (COORDINATION 2000) in COORDINATION LANGUAGES AND MODELS, PROCEEDINGS, VOLUME: 1906
INDEXED IN: WOS
89
TITLE: Patterns for coordination
AUTHORS: Andrade, LF; Fiadeiro, JL; Gouveia, J; Lopes, A ; Wermelinger, M;
PUBLISHED: 2000, SOURCE: 4th International Conference on Coordination Languages and Models, COORDINATION 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1906
INDEXED IN: Scopus
IN MY: ORCID
90
TITLE: Superposing connectors
AUTHORS: Wermelinger, M; Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2000, SOURCE: 10th International Workshop on Software Specification and Design in TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
Page 9 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

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