Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Confirmed Publications: 83



71
TITLE: A mathematical semantics for architectural connectors
AUTHORS: Fiadeiro, JL; Lopes, A ; Wermelinger, M;
PUBLISHED: 2003, SOURCE: Summer School on Generic Programming in GENERIC PROGRAMMING, VOLUME: 2793
INDEXED IN: Scopus WOS
72
TITLE: Higher-order architectural connectors  Full Text
AUTHORS: Lopes, A ; Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 2003, SOURCE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 12, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
73
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
74
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
75
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
76
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
IN MY: ORCID
77
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
78
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
79
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
80
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
Page 8 of 9. Total results: 83.

A place for researchers and their institutions

Useful Links

Get Help

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