Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Publicações Confirmadas: 83



51
TÍTULO: Building adaptive systems with service composition frameworks
AUTORES: Liliana Rosa; Luis Rodrigues ; Antonia Lopes ;
PUBLICAÇÃO: 2007, FONTE: 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, NÚMERO: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
52
TÍTULO: Framework specialization aspects
AUTORES: Santos, AL ; Lopes, A ; Koskimies, K;
PUBLICAÇÃO: 2007, FONTE: 6th International Conference on Aspect-Oriented Software Development in ACM International Conference Proceeding Series, VOLUME: 208
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
53
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface
AUTORES: Dwyer, MB; Lopes, A ;
PUBLICAÇÃO: 2007, FONTE: 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
INDEXADO EM: Scopus
NO MEU: ORCID
54
TÍTULO: One-to-many data transformations through data mappers  Full Text
AUTORES: Paulo Carreira ; Helena Galhardas ; Antonia Lopes ; Joao Pereira;
PUBLICAÇÃO: 2007, FONTE: 20th Brazilian Symposium on Databases in DATA & KNOWLEDGE ENGINEERING, VOLUME: 62, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
55
TÍTULO: Specifying and composing interaction protocols for service-oriented system modelling
AUTORES: Abreu, J; Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2007, FONTE: 27th International Conference on Formal Techniques for Networked and Distributed Systems in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, VOLUME: 4574
INDEXADO EM: Scopus WOS
NO MEU: ORCID
56
TÍTULO: A formal approach to event-based architectures
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2006, FONTE: 9th International Conference on Fundamental Approaches to Software Engineering in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3922
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
57
TÍTULO: A formal approach to service component architecture
AUTORES: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLICAÇÃO: 2006, FONTE: 3rd International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4184
INDEXADO EM: Scopus WOS
NO MEU: ORCID
58
TÍTULO: Adding mobility to software architectures  Full Text
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2006, FONTE: 2nd International Workshop on Foundations-of-Coordination-Languages-and-Software-Architectures (FOCLASA 03) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 61, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
59
TÍTULO: Checking the conformance of Java classes against algebraic specifications
AUTORES: Isabel Nunes; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu; Luis S Reis;
PUBLICAÇÃO: 2006, FONTE: 8th International Conference on Formal Engineering Methods (ICFEM 2006) in Formal Methods and Software Engineering, Proceedings, VOLUME: 4260
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
60
TÍTULO: Context adaptation of the communication stack
AUTORES: José Mocito; Liliana Rosa; Nuno Almeida; Hugo Miranda ; Luís Rodrigues ; Antónia Lopes ;
PUBLICAÇÃO: 2006, FONTE: IJPEDS, VOLUME: 21, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
Página 6 de 9. Total de resultados: 83.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service