Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 156



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 | CIÊNCIAVITAE
2
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: Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II, VOLUME: 15697
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
3
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
4
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
5
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
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
IN MY: ORCID | DBLP | CIÊNCIAVITAE
7
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
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: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
9
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
10
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
Page 1 of 16. Total results: 156.

footer slogan

Useful Links

Get Help

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