Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 155



1
TITLE: BatFix: Repairing Language Model-based Transpilation  Full Text
AUTHORS: Ramos, Daniel; Lynce, Ines ; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLISHED: 2024, SOURCE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 33, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
2
TITLE: Iterative Train Scheduling under Disruption with Maximum Satisfiability
AUTHORS: Lemos, Alexandre; Gouveia, Filipe; Monteiro, Pedro T.; Lynce, Ines ;
PUBLISHED: 2024, SOURCE: JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, VOLUME: 79
INDEXED IN: WOS
3
TITLE: Iterative Train Scheduling under Disruption with Maximum Satisfiability
AUTHORS: Alexandre Lemos; Filipe Gouveia; Pedro T Monteiro; Inês Lynce ;
PUBLISHED: 2024, SOURCE: J. Artif. Intell. Res., VOLUME: 79
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: Reverse-Engineering Congestion Control Algorithm Behavior
AUTHORS: Ferreira, Margarida; Ware, Ranysha; Kothari, Yash; Lynce, Ines ; Martins, Ruben; Narayan, Akshay; Sherry, Justine;
PUBLISHED: 2024, SOURCE: ACM Internet Measurement Conference (IMC) in PROCEEDINGS OF THE 2024 ACM INTERNET MEASUREMENT CONFERENCE, IMC 2024
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
5
TITLE: Exact and approximate determination of the Pareto front using Minimal Correction Subsets  Full Text
AUTHORS: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I. ; Manquinho, V; Figueira, J. R.;
PUBLISHED: 2023, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
6
TITLE: MELT: Mining Effective Lightweight Transformations from Pull Requests
AUTHORS: Daniel Ramos; Hailie Mitchell; Inês Lynce ; Vasco Manquinho; Ruben Martins; Claire Le Goues;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.14687
INDEXED IN: DBLP
IN MY: DBLP
7
TITLE: MELT: Mining Effective Lightweight Transformations from Pull Requests
AUTHORS: Ramos, Daniel; Mitchell, Hailie; Lynce, Ines ; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
8
TITLE: New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
AUTHORS: Cortes, Joao; Lynce, Ines ; Manquinho, Vasco;
PUBLISHED: 2023, SOURCE: 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, VOLUME: 13994
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
9
TITLE: SAT Encodings and Beyond (Dagstuhl Seminar 23261)
AUTHORS: Marijn J H Heule; Inês Lynce ; Stefan Szeider; André Schidler;
PUBLISHED: 2023, SOURCE: Dagstuhl Reports, VOLUME: 13, ISSUE: 6
INDEXED IN: DBLP
IN MY: DBLP
10
TITLE: DeepData: Machine learning in the marine ecosystems  Full Text
AUTHORS: Oliveira e Silva, Leonor; Resende, Magda; Galhardas, Helena ; Manquinho, Vasco; Lynce, Ines ;
PUBLISHED: 2022, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 206
INDEXED IN: Scopus WOS DBLP CrossRef: 7
Page 1 of 16. Total results: 155.

footer slogan

Useful Links

Get Help

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