Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lynce, Inês
79  Ergebnisse:
Personensuche X
?
1

BatFix: Repairing language model-based transpilation:

Ramos, Daniel ; Lynce, Inês ; Manquinho, Vasco..
ACM Transactions on Software Engineering and Methodology.  , 2024
Link: https://doi.org/10.1145/..
 
?
2

New Core-Guided and Hitting Set Algorithms for Multi-Object..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Cortes, João ; Lynce, Inês ; Manquinho, Vasco - p. 55-73 , 2023
Link: https://doi.org/10.1007/..
 
?
3

MELT: Mining Effective Lightweight Transformations from Pul..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Ramos, Daniel ; Mitchell, Hailie ; Lynce, Ines... - p. 1516-1528 , 2023
Link: https://doi.org/10.1109/..
 
?
4

DeepData: Machine learning in the marine ecosystems:

Oliveira e Silva, Leonor ; Resende, Magda ; Galhardas, Helena..
Expert Systems with Applications.  206 (2022)  - p. 117841 , 2022
Link: https://doi.org/10.1016/..
 
?
5

Counterfeiting Congestion Control Algorithms:

, In: Proceedings of the Twentieth ACM Workshop on Hot Topics in Networks,
Ferreira, Margarida ; Narayan, Akshay ; Lynce, Inês.. - p. 132-139 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

SOAR : A Synthesis Approach for Data Science API Refacto..:

, In: Proceedings of the 43rd International Conference on Software Engineering,
Ni, Ansong ; Ramos, Daniel ; Yang, Aidan Z.H.... - p. 112-124 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

FOREST: An Interactive Multi-tree Synthesizer for Regular E..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Ferreira, Margarida ; Terra-Neves, Miguel ; Ventura, Miguel.. - p. 152-169 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Introducing UniCorT: an iterative university course timetab..:

Lemos, Alexandre ; Monteiro, Pedro T. ; Lynce, Inês
Journal of Scheduling.  25 (2021)  4 - p. 371-390 , 2021
Link: https://doi.org/10.1007/..
 
?
9

SOAR: A Synthesis Approach for Data Science API Refactoring:

, In: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE),
Ni, Ansong ; Ramos, Daniel ; Yang, Aidan Z. H.... - p. 112-124 , 2021
Link: https://doi.org/10.1109/..
 
?
10

Replication of SOAR : a synthesis approach for data scie..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,
Ni, Ansong ; Ramos, Daniel ; Yang, Aidan Z. H.... - p. 190-191 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Disruptions in timetables: a case study at Universidade de ..:

Lemos, Alexandre ; Monteiro, Pedro T. ; Lynce, Inês
Journal of Scheduling.  24 (2020)  1 - p. 35-48 , 2020
Link: https://doi.org/10.1007/..
 
?
12

ModRev - Model Revision Tool for Boolean Logical Models of ..:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,
Gouveia, Filipe ; Lynce, Inês ; Monteiro, Pedro T. - p. 339-348 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Minimal Perturbation in University Timetabling with Maximum..:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,
Lemos, Alexandre ; Monteiro, Pedro T. ; Lynce, Inês - p. 317-333 , 2020
Link: https://doi.org/10.1007/..
 
?
14

UnchartIt : an interactive framework for program recover..:

, In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering,
Ramos, Daniel ; Pereira, Jorge ; Lynce, Inês.. - p. 175-186 , 2020
Link: https://dl.acm.org/doi/1..
 
?
15

Repairing Boolean logical models from time-series data usin..:

Lemos, Alexandre ; Lynce, Inês ; Monteiro, Pedro T.
Algorithms for Molecular Biology.  14 (2019)  1 - p. , 2019
Link: https://doi.org/10.1186/..
 
1-15