Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Confirmed Publications: 95



1
TITLE: Cleenex: Support for User Involvement during an Iterative Data Cleaning Process  Full Text
AUTHORS: Pereira, Joao L. M.; Fonseca, Manuel J.; Lopes, Antonia ; Galhardas, Helena ;
PUBLISHED: 2024, SOURCE: ACM JOURNAL OF DATA AND INFORMATION QUALITY, VOLUME: 16, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
2
TITLE: Statically Checking REST API Consumers
AUTHORS: Burnay, N; Lopes, A ; Vasconcelos, VT ;
PUBLISHED: 2020, SOURCE: 18th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, VOLUME: 12310
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
3
TITLE: HeadREST: A Specification Language for RESTful APIs
AUTHORS: Vasco T Vasconcelos ; Francisco Martins; Antónia Lopes ; Nuno Burnay;
PUBLISHED: 2019, SOURCE: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, VOLUME: 11665
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
4
TITLE: Logical Support for Bike-Sharing System Design
AUTHORS: Ţuţu, I; Chiriţă, CE; Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11865 LNCS
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID
5
TITLE: Logics for Actor Networks: A two-stage constrained-hybridisation approach
AUTHORS: Fiadeiro, JL; Tutu, I; Lopes, A ; Pavlovic, D;
PUBLISHED: 2019, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 106
INDEXED IN: WOS CrossRef: 4
IN MY: ORCID
6
TITLE: Planning Workflow Executions when Using Spot Instances in the Cloud
AUTHORS: Martinez, RG; Lopes, A ; Rodrigues, L;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef: 8
IN MY: ORCID
7
TITLE: Dynamic networks of heterogeneous timed machines
AUTHORS: Fiadeiro, J; Lopes, A ; Delahaye, B; Legay, A;
PUBLISHED: 2018, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
8
TITLE: Learning Non-Deterministic Impact Models for Adaptation
AUTHORS: Duarte, F; Gil, R; Romano, P ; Lopes, A ; Rodrigues, L;
PUBLISHED: 2018, SOURCE: 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)
INDEXED IN: Scopus WOS CrossRef: 7
9
TITLE: Logics for actor networks: A case study in constrained hybridization: A case study in constrained hybridization
AUTHORS: Fiadeiro, J; Ţuţu, I; Lopes, A ; Pavlovic, D;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus
10
TITLE: AUGURE: Proactive Reconfiguration of Cloud Applications using Heterogeneous Resources
AUTHORS: Martinez, RG; Li, ZM; Lopes, A ; Rodrigues, L;
PUBLISHED: 2017, SOURCE: IEEE 16th International Symposium on Network Computing and Applications (NCA) in 2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), VOLUME: 2017-January
INDEXED IN: Scopus WOS CrossRef: 1
Page 1 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service