Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Publicações Confirmadas: 96



1
TÍTULO: Cleenex: Support for User Involvement during an Iterative Data Cleaning Process  Full Text
AUTORES: Pereira, Joao L. M.; Fonseca, Manuel J. ; Lopes, Antonia ; Galhardas, Helena ;
PUBLICAÇÃO: 2024, FONTE: ACM JOURNAL OF DATA AND INFORMATION QUALITY, VOLUME: 16, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
2
3
TÍTULO: Statically Checking REST API Consumers
AUTORES: Burnay, N; Lopes, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2020, FONTE: 18th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, VOLUME: 12310
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
4
TÍTULO: HeadREST: A Specification Language for RESTful APIs
AUTORES: Vasco T Vasconcelos ; Francisco Martins ; Antónia Lopes ; Nuno Burnay;
PUBLICAÇÃO: 2019, FONTE: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, VOLUME: 11665
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
5
TÍTULO: Logical Support for Bike-Sharing System Design
AUTORES: Ţuţu, I; Chiriţă, CE; Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11865 LNCS
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
6
TÍTULO: Logics for Actor Networks: A two-stage constrained-hybridisation approach
AUTORES: Fiadeiro, JL; Tutu, I; Lopes, A ; Pavlovic, D;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 106
INDEXADO EM: WOS CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
7
TÍTULO: Planning Workflow Executions when Using Spot Instances in the Cloud
AUTORES: Martinez, RG; Lopes, A ; Rodrigues, L ;
PUBLICAÇÃO: 2019, FONTE: 34th ACM/SIGAPP Annual International Symposium on Applied Computing (SAC) in SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, VOLUME: Part F147772
INDEXADO EM: Scopus WOS CrossRef: 8
NO MEU: ORCID | CIÊNCIAVITAE
8
TÍTULO: Dynamic networks of heterogeneous timed machines
AUTORES: Fiadeiro, J; Lopes, A ; Delahaye, B; Legay, A;
PUBLICAÇÃO: 2018, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
9
TÍTULO: Learning Non-Deterministic Impact Models for Adaptation
AUTORES: Duarte, F; Gil, R; Romano, P ; Lopes, A ; Rodrigues, L ;
PUBLICAÇÃO: 2018, FONTE: 13th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) in 2018 IEEE/ACM 13TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS)
INDEXADO EM: Scopus WOS CrossRef: 7
10
TÍTULO: Logics for actor networks: A case study in constrained hybridization: A case study in constrained hybridization
AUTORES: Fiadeiro, J; Ţuţu, I; Lopes, A ; Pavlovic, D;
PUBLICAÇÃO: 2018, FONTE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS
INDEXADO EM: Scopus
Página 1 de 10. Total de resultados: 96.

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