Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 140



1
TÍTULO: Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization  Full Text
AUTORES: Cortes, Joao; Lynce, Ines ; Manquinho, Vasco ;
PUBLICAÇÃO: 2026, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 70, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
2
TÍTULO: Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization
AUTORES: João Cortes; Inês Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2026, FONTE: J. Autom. Reason., VOLUME: 70, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming
AUTORES: Rafael Gonçalves; Filipe Gouveia ; Inês Lynce ; José Fragoso Santos;
PUBLICAÇÃO: 2025, FONTE: TACAS (2)
INDEXADO EM: DBLP CrossRef: 1
NO MEU: DBLP
4
TÍTULO: BatFix: Repairing Language Model-based Transpilation
AUTORES: Ramos, Daniel; Lynce, Ines ; Manquinho, Vasco ; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2024, FONTE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 33, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
5
TÍTULO: Iterative Train Scheduling under Disruption with Maximum Satisfiability
AUTORES: Lemos, Alexandre; Gouveia, Filipe; Monteiro, Pedro T.; Lynce, Ines ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, VOLUME: 79
INDEXADO EM: WOS DBLP
NO MEU: DBLP
6
TÍTULO: Reverse-Engineering Congestion Control Algorithm Behavior
AUTORES: Ferreira, Margarida; Ware, Ranysha; Kothari, Yash; Lynce, Ines ; Martins, Ruben; Narayan, Akshay; Sherry, Justine;
PUBLICAÇÃO: 2024, FONTE: ACM Internet Measurement Conference (IMC) in PROCEEDINGS OF THE 2024 ACM INTERNET MEASUREMENT CONFERENCE, IMC 2024
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: DBLP
7
TÍTULO: Exact and approximate determination of the Pareto front using Minimal Correction Subsets
AUTORES: Guerreiro, A. P.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I. ; Manquinho, V ; Figueira, J. R. ;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 153
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: DBLP
8
TÍTULO: MELT: Mining Effective Lightweight Transformations from Pull Requests
AUTORES: Ramos, Daniel; Mitchell, Hailie; Lynce, Ines ; Manquinho, Vasco ; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: DBLP
9
TÍTULO: New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
AUTORES: Cortes, Joao; Lynce, Ines ; Manquinho, Vasco ;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: DBLP
10
TÍTULO: SAT Encodings and Beyond (Dagstuhl Seminar 23261)
AUTORES: Marijn J H Heule; Inês Lynce ; Stefan Szeider; André Schidler;
PUBLICAÇÃO: 2023, FONTE: Dagstuhl Reports, VOLUME: 13, NÚMERO: 6
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 de 14. Total de resultados: 140.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service