Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Publicações Confirmadas: 152



1
TÍTULO: BatFix: Repairing Language Model-based Transpilation  Full Text
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
NO MEU: ORCID
2
TÍTULO: Iterative Train Scheduling under Disruption with Maximum Satisfiability
AUTORES: Alexandre Lemos; Filipe Gouveia; Pedro T Monteiro; Inês Lynce ;
PUBLICAÇÃO: 2024, FONTE: J. Artif. Intell. Res., VOLUME: 79
INDEXADO EM: DBLP
NO MEU: DBLP
3
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
4
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: WOS DBLP CrossRef
5
TÍTULO: Exact and approximate determination of the Pareto front using Minimal Correction Subsets  Full Text
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: 2
NO MEU: ORCID | CIÊNCIAVITAE
6
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: 2
NO MEU: ORCID | CIÊNCIAVITAE
7
TÍTULO: MELT: Mining Effective Lightweight Transformations from Pull Requests
AUTORES: Daniel Ramos; Hailie Mitchell; Inês Lynce ; Vasco Manquinho; Ruben Martins; Claire Le Goues;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2308.14687
INDEXADO EM: DBLP
NO MEU: DBLP
8
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: 1
NO MEU: ORCID | CIÊNCIAVITAE
9
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
10
TÍTULO: DeepData: Machine learning in the marine ecosystems
AUTORES: Leonor Silva; Magda Resende; Helena Galhardas; Vasco M Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2022, FONTE: Expert Syst. Appl., VOLUME: 206
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 de 16. Total de resultados: 152.

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

Links Úteis

Ajuda

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