Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Publicações Confirmadas: 96



61
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: 4
NO MEU: ORCID | CIÊNCIAVITAE
62
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 | CIÊNCIAVITAE
63
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: 1
NO MEU: ORCID | CIÊNCIAVITAE
64
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 | CIÊNCIAVITAE
65
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: 3
NO MEU: ORCID | CIÊNCIAVITAE
66
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: 8
NO MEU: ORCID | CIÊNCIAVITAE
67
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 Handle
NO MEU: ORCID
68
TÍTULO: Policy-driven adaptation of protocol stacks
AUTORES: Rosa, L; Lopes, A ; Rodrigues, L ;
PUBLICAÇÃO: 2006, FONTE: 2006 International Conference on Autonomic and Autonomous Systems, ICAS'06 in 2006 International Conference on Autonomic and Autonomous Systems, ICAS'06
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID | CIÊNCIAVITAE
69
TÍTULO: Algebraic semantics of design abstractions for context-awareness
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2005, FONTE: 17th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 3423
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
70
TÍTULO: Context adaptation of the communication stack
AUTORES: Mocito, J; Rosa, L; Almeida, N; Miranda, H ; Rodrigues, L ; Lopes, A ;
PUBLICAÇÃO: 2005, FONTE: 25th IEEE International Conference on Distributed Computing Systems in 25th IEEE International Conference on Distributed Computing Systems Workshops, Proceedings
INDEXADO EM: WOS DBLP CrossRef Handle
Página 7 de 10. Total de resultados: 96.

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

Links Úteis

Ajuda

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