Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Publicações Confirmadas: 95



61
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
62
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
63
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
64
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
65
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
66
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: 2
NO MEU: ORCID
67
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
68
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
69
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: 10
70
TÍTULO: Context-awareness in software architectures
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2005, FONTE: 2nd European Workshop on Software Architecture in SOFTWARE ARCHITECTURE, PROCEEDINGS, VOLUME: 3527
INDEXADO EM: Scopus WOS
NO MEU: ORCID
Página 7 de 10. Total de resultados: 95.

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