Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Confirmed Publications: 95



61
TITLE: Specifying and composing interaction protocols for service-oriented system modelling
AUTHORS: Abreu, J; Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2007, SOURCE: 27th International Conference on Formal Techniques for Networked and Distributed Systems in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, VOLUME: 4574
INDEXED IN: Scopus WOS
IN MY: ORCID
62
TITLE: A formal approach to event-based architectures
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Fundamental Approaches to Software Engineering in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3922
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
63
TITLE: A formal approach to service component architecture
AUTHORS: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLISHED: 2006, SOURCE: 3rd International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4184
INDEXED IN: Scopus WOS
IN MY: ORCID
64
TITLE: Adding mobility to software architectures  Full Text
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2006, SOURCE: 2nd International Workshop on Foundations-of-Coordination-Languages-and-Software-Architectures (FOCLASA 03) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 61, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
65
TITLE: Checking the conformance of Java classes against algebraic specifications
AUTHORS: Isabel Nunes; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu; Luis S Reis;
PUBLISHED: 2006, SOURCE: 8th International Conference on Formal Engineering Methods (ICFEM 2006) in Formal Methods and Software Engineering, Proceedings, VOLUME: 4260
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID
66
TITLE: Context adaptation of the communication stack
AUTHORS: José Mocito; Liliana Rosa; Nuno Almeida; Hugo Miranda ; Luís Rodrigues ; Antónia Lopes ;
PUBLISHED: 2006, SOURCE: IJPEDS, VOLUME: 21, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
67
TITLE: Policy-driven adaptation of protocol stacks
AUTHORS: Rosa, L; Lopes, A ; Rodrigues, L ;
PUBLISHED: 2006, SOURCE: 2006 International Conference on Autonomic and Autonomous Systems, ICAS'06 in 2006 International Conference on Autonomic and Autonomous Systems, ICAS'06
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID
68
TITLE: Algebraic semantics of design abstractions for context-awareness
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2005, SOURCE: 17th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 3423
INDEXED IN: Scopus WOS
IN MY: ORCID
69
TITLE: Context adaptation of the communication stack
AUTHORS: Mocito, J; Rosa, L; Almeida, N; Miranda, H ; Rodrigues, L ; Lopes, A ;
PUBLISHED: 2005, SOURCE: 25th IEEE International Conference on Distributed Computing Systems in 25th IEEE International Conference on Distributed Computing Systems Workshops, Proceedings
INDEXED IN: WOS DBLP CrossRef: 10
70
TITLE: Context-awareness in software architectures
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2005, SOURCE: 2nd European Workshop on Software Architecture in SOFTWARE ARCHITECTURE, PROCEEDINGS, VOLUME: 3527
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 7 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

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