Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 140



1
TITLE: Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization  Full Text
AUTHORS: Cortes, Joao; Lynce, Ines ; Manquinho, Vasco ;
PUBLISHED: 2026, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 70, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization
AUTHORS: João Cortes; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2026, SOURCE: J. Autom. Reason., VOLUME: 70, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming
AUTHORS: Rafael Gonçalves; Filipe Gouveia ; Inês Lynce ; José Fragoso Santos;
PUBLISHED: 2025, SOURCE: TACAS (2)
INDEXED IN: DBLP CrossRef: 1
IN MY: DBLP
4
TITLE: BatFix: Repairing Language Model-based Transpilation
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: 2
IN MY: DBLP
5
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 DBLP
IN MY: DBLP
6
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: 4
IN MY: DBLP
7
TITLE: Exact and approximate determination of the Pareto front using Minimal Correction Subsets
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: 8
IN MY: DBLP
8
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: 5
IN MY: DBLP
9
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: 4
IN MY: DBLP
10
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
Page 1 of 14. Total results: 140.

footer slogan

Useful Links

Get Help

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