Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Publicações Confirmadas: 95



31
TÍTULO: Specification-driven unit test generation for java generic classes
AUTORES: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
32
TÍTULO: An abstract model of service discovery and binding  Full Text
AUTORES: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLICAÇÃO: 2011, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 23, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef: 20
NO MEU: ORCID
33
TÍTULO: An Interface Theory for Service-Oriented Design  Full Text
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2011, FONTE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID
34
TÍTULO: ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems: Foreword
AUTORES: Camara, J; Lopes, A ; De Lemos, R; Ghezzi, C;
PUBLICAÇÃO: 2011, FONTE: 8th Workshop on Assurances for Self-Adaptive Systems, ASAS'11 in ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems
INDEXADO EM: Scopus
NO MEU: ORCID
35
TÍTULO: Extending data cleaning graphs for supporting user involvement
AUTORES: Galhardas, H ; Lopes, A ; Santos, E;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXADO EM: Scopus
NO MEU: ORCID
36
TÍTULO: Formal Modelling of Service-Oriented Systems
AUTORES: Antonia Lopes ;
PUBLICAÇÃO: 2011, FONTE: 1st International Conference on Model and Data Engineering (MEDI 2011) in MODEL AND DATA ENGINEERING, VOLUME: 6918
INDEXADO EM: WOS
37
TÍTULO: Goal-oriented self-management of in-memory distributed data grid platforms
AUTORES: Rosa, L; Rodrigues, L ; Lopes, A ;
PUBLICAÇÃO: 2011, FONTE: 2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011 in Proceedings - 2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
38
TÍTULO: Runtime Verification for Generic Classes with CONGU2  Full Text
AUTORES: Crispim, P; Lopes, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2011, FONTE: 13th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, VOLUME: 6527
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID
39
TÍTULO: Support for User Involvement in Data Cleaning
AUTORES: Helena Galhardas ; Antónia Lopes ; Emanuel Santos;
PUBLICAÇÃO: 2011, FONTE: 13th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2011 in Data Warehousing and Knowledge Discovery - 13th International Conference, DaWaK 2011, Toulouse, France, August 29-September 2,2011. Proceedings, VOLUME: 6862
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
40
TÍTULO: The sensoria reference modelling language
AUTORES: Fiadeiro, J; Lopes, A ; Bocchi, L; Abreu, J;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXADO EM: Scopus CrossRef: 11
NO MEU: ORCID
Página 4 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