Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Confirmed Publications: 83



51
TITLE: Building adaptive systems with service composition frameworks
AUTHORS: Liliana Rosa; Luis Rodrigues ; Antonia Lopes ;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, VOLUME: 4803, ISSUE: PART 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
52
TITLE: Framework specialization aspects
AUTHORS: Santos, AL ; Lopes, A ; Koskimies, K;
PUBLISHED: 2007, SOURCE: 6th International Conference on Aspect-Oriented Software Development in ACM International Conference Proceeding Series, VOLUME: 208
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID
53
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface
AUTHORS: Dwyer, MB; Lopes, A ;
PUBLISHED: 2007, SOURCE: 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4422 LNCS
INDEXED IN: Scopus
IN MY: ORCID
54
TITLE: One-to-many data transformations through data mappers  Full Text
AUTHORS: Paulo Carreira ; Helena Galhardas ; Antonia Lopes ; Joao Pereira;
PUBLISHED: 2007, SOURCE: 20th Brazilian Symposium on Databases in DATA & KNOWLEDGE ENGINEERING, VOLUME: 62, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
55
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
56
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
IN MY: ORCID
57
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
58
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
IN MY: ORCID
59
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
IN MY: ORCID
60
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
IN MY: ORCID
Page 6 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