Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 152



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
2
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
3
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
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: WOS DBLP CrossRef
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 | CIÊNCIAVITAE
6
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 | CIÊNCIAVITAE
7
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
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 | 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
AUTHORS: Leonor Silva; Magda Resende; Helena Galhardas; Vasco M Manquinho; Inês Lynce ;
PUBLISHED: 2022, SOURCE: Expert Syst. Appl., VOLUME: 206
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 16. Total results: 152.

footer slogan

Useful Links

Get Help

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