Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Publicações Confirmadas: 95



41
TÍTULO: User involvement in cleaning applications data
AUTORES: Helena Galhardas ; Antonia Lopes ; Emanuel Santos;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I
INDEXADO EM: WOS
42
TÍTULO: Workshop on assurances for self-adaptive systems (ASAS 2011)
AUTORES: Camara, J; De Lemos, R; Ghezzi, C; Lopes, A ;
PUBLICAÇÃO: 2011, FONTE: 19th ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT/FSE'11 in SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
43
TÍTULO: A Model for Dynamic Reconfiguration in Service-Oriented Architectures  Full Text
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2010, FONTE: 4th European Conference on Software Architecture in SOFTWARE ARCHITECTURE, VOLUME: 6285
INDEXADO EM: Scopus WOS CrossRef: 13
NO MEU: ORCID
44
TÍTULO: Automating the construction of domain-specific modeling languages for object-oriented frameworks  Full Text
AUTORES: Andre L Santos ; Kai Koskimies; Antonia Lopes ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 83, NÚMERO: 7
INDEXADO EM: Scopus WOS CrossRef: 9
NO MEU: ORCID
45
TÍTULO: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming  Full Text
AUTORES: Isabel Nunes; Antonia Lopes ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2009, FONTE: 9th International Workshop on Runtime Verification in RUNTIME VERIFICATION, VOLUME: 5779
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
46
TÍTULO: Formal techniques for distributed systems: Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009 lisboa, portugal, june 9-12, 2009 proceedings
AUTORES: David Lee; Antónia Lopes ; Arnd Poetzsch Heffter;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522
INDEXADO EM: Scopus
NO MEU: ORCID
47
TÍTULO: From Local Impact Functions to Global Adaptation of Service Compositions
AUTORES: Liliana Rosa; Luis Rodrigues ; Antonia Lopes ; Matti Hiltimen; Richard Schlichting;
PUBLICAÇÃO: 2009, FONTE: 11th International Symposium on Stabilization, Safety and Security of Distributed Systems in STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, VOLUME: 5873
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
48
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Lee, D; Lopes, A ; Poetzsch Heffter, A;
PUBLICAÇÃO: 2009, FONTE: 11th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009 and 29th International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
49
TÍTULO: Preface
AUTORES: David Lee; Antónia Lopes ; Arnd Poetzsch Heffter;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522
INDEXADO EM: Scopus
NO MEU: ORCID
50
TÍTULO: A Use-Case Driven Approach to Formal Service-Oriented Modelling
AUTORES: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2008, FONTE: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, VOLUME: 17
INDEXADO EM: Scopus WOS
Página 5 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