A two-stage algorithm for aircraft conflict resolution with trajectory recovery. - Fernando H. C. Dias; Stephanie Rahme; David Rey 001 (CoRR, 2020)

Mathematical optimization methods for aircraft conflict resolution in air traffic control. - Fernando H. C. Dias (2021)

Fast, Flexible, and Exact Minimum Flow Decompositions via ILP. - Fernando H. C. Dias; Lucia Williams; Brendan Mumey; Alexandru I. Tomescu (RECOMB, 2022)

Minimum Flow Decomposition in Graphs with Cycles using Integer Linear Programming. - Fernando H. C. Dias; Lucia Williams; Brendan Mumey; Alexandru I. Tomescu (CoRR, 2022)

Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution. - Fernando H. C. Dias; Hassan L. Hijazi; David Rey 001 (Eur. J. Oper. Res., 2022)

Efficient Minimum Flow Decomposition via Integer Linear Programming. - Fernando H. C. Dias; Lucia Williams; Brendan Mumey; Alexandru I. Tomescu (J. Comput. Biol., 2022)

Robust aircraft conflict resolution under trajectory prediction uncertainty. - Fernando H. C. Dias; David Rey 001 (Oper. Res. Lett., 2022)

A safety framework for flow decomposition problems via integer linear programming. - Fernando H. C. Dias; Manuel Cáceres; Lucia Williams; Brendan Mumey; Alexandru I. Tomescu (Bioinform., 2023)

Accelerating ILP Solvers for Minimum Flow Decompositions Through Search Space and Dimensionality Reductions. - Andreas Grigorjew; Fernando H. C. Dias; Andrea Cracco; Romeo Rizzi; Alexandru I. Tomescu (SEA, 2024)

Accurate Flow Decomposition via Robust Integer Linear Programming. - Fernando H. C. Dias; Alexandru I. Tomescu (IEEE ACM Trans. Comput. Biol. Bioinform., 2024)

Aircraft conflict resolution with trajectory recovery using mixed-integer programming. - Fernando H. C. Dias; David Rey 001 (J. Glob. Optim., 2024)

A heuristic algorithm for aircraft conflict resolution based on closed-form analytical solutions of relaxed pairwise problems. - Fernando H. C. Dias; Hassan L. Hijazi; David Rey 001 (Oper. Res. Lett., 2025)