Whole genome sequencing of Trypanosoma cruzi field isolates reveals extensive genomic variability and complex aneuploidy patterns within TcII DTU JL Reis-Cunha, RP Baptista, GF Rodrigues-Luiz, A Coqueiro-dos-Santos, ... BMC genomics 19, 1-17, 2018 | 53 | 2018 |
Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution FHC Dias, H Hijazi, D Rey European Journal of Operational Research 296 (2), 520-538, 2022 | 19 | 2022 |
Fast, flexible, and exact minimum flow decompositions via ILP FHC Dias, L Williams, B Mumey, AI Tomescu International Conference on Research in Computational Molecular Biology, 230-245, 2022 | 10 | 2022 |
Minimum flow decomposition in graphs with cycles using integer linear programming FHC Dias, L Williams, B Mumey, AI Tomescu arXiv preprint arXiv:2209.00042, 2022 | 7 | 2022 |
A two-stage algorithm for aircraft conflict resolution with trajectory recovery FHC Dias, S Rahme, D Rey ICRAT 2020, 9th International Conference on Research in Air Transportation, 2020 | 7 | 2020 |
Robust aircraft conflict resolution under trajectory prediction uncertainty FHC Dias, D Rey Operations Research Letters 50 (5), 503-508, 2022 | 6 | 2022 |
A safety framework for flow decomposition problems via integer linear programming FHC Dias, M Cáceres, L Williams, B Mumey, AI Tomescu Bioinformatics 39 (11), btad640, 2023 | 2 | 2023 |
Efficient minimum flow decomposition via integer linear programming FHC Dias, L Williams, B Mumey, AI Tomescu Journal of Computational Biology 29 (11), 1252-1267, 2022 | 2 | 2022 |
Aircraft Conflict Resolution with Trajectory Recovery Using Mixed-Integer Programming FHC Dias, D Rey arXiv preprint arXiv:2203.11990, 2022 | 1 | 2022 |
Accelerating ILP solvers for Minimum Flow Decompositions through search space and dimensionality reductions A Grigorjew, FHC Dias, A Cracco, R Rizzi, AI Tomescu arXiv preprint arXiv:2311.10563, 2023 | | 2023 |
Sensitive inference of alignment-safe intervals from biodiverse protein sequence clusters using EMERALD A Grigorjew, A Gynter, FHC Dias, B Buchfink, HG Drost, AI Tomescu Genome Biology 24 (1), 168, 2023 | | 2023 |
Accurate Flow Decomposition via Robust Integer Linear Programming FHC Dias, AI Tomescu bioRxiv, 2023.03. 20.533019, 2023 | | 2023 |
Mathematical optimization methods for aircraft conflict resolution in air traffic control. FHC Dias University of New South Wales, Sydney, Australia, 2021 | | 2021 |