Fernando H. C. Dias

14 papers B 2Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
A heuristic algorithm for aircraft conflict resolution based on closed-form analytical solutions of relaxed pairwise problems.
Oper. Res. Lett.
Fernando H. C. Dias, Hassan L. Hijazi, David Rey
2025 J jnl
Minimum flow decomposition in graphs with cycles using integer linear programming.
J. Glob. Optim.
Fernando H. C. Dias, Lucia Williams, Brendan Mumey, Alexandru I. Tomescu
2024 B conf
Accelerating ILP Solvers for Minimum Flow Decompositions Through Search Space and Dimensionality Reductions.
SEA
Andreas Grigorjew, Fernando H. C. Dias, Andrea Cracco, Romeo Rizzi, Alexandru I. Tomescu
2024 J jnl
Accurate Flow Decomposition via Robust Integer Linear Programming.
IEEE ACM Trans. Comput. Biol. Bioinform.
Fernando H. C. Dias, Alexandru I. Tomescu
2024 J jnl
Aircraft conflict resolution with trajectory recovery using mixed-integer programming.
J. Glob. Optim.
Fernando H. C. Dias, David Rey
2023 J jnl
A Safety Framework for Flow Decomposition Problems via Integer Linear Programming.
CoRR
Fernando H. C. Dias, Manuel Cáceres, Lucia Williams, Brendan Mumey, Alexandru I. Tomescu
2023 J jnl
A safety framework for flow decomposition problems via integer linear programming.
Bioinform.
Fernando H. C. Dias, Manuel Cáceres, Lucia Williams, Brendan Mumey, Alexandru I. Tomescu
2022 J jnl
Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution.
Eur. J. Oper. Res.
Fernando H. C. Dias, Hassan L. Hijazi, David Rey
2022 J jnl
Efficient Minimum Flow Decomposition via Integer Linear Programming.
J. Comput. Biol.
Fernando H. C. Dias, Lucia Williams, Brendan Mumey, Alexandru I. Tomescu
2022 B conf
Fast, Flexible, and Exact Minimum Flow Decompositions via ILP.
RECOMB
Fernando H. C. Dias, Lucia Williams, Brendan Mumey, Alexandru I. Tomescu
2022 J jnl
Minimum Flow Decomposition in Graphs with Cycles using Integer Linear Programming.
CoRR
Fernando H. C. Dias, Lucia Williams, Brendan Mumey, Alexandru I. Tomescu
2022 J jnl
Robust aircraft conflict resolution under trajectory prediction uncertainty.
Oper. Res. Lett.
Fernando H. C. Dias, David Rey
2021 — —
Mathematical optimization methods for aircraft conflict resolution in air traffic control.
Fernando H. C. Dias
2020 J jnl
A two-stage algorithm for aircraft conflict resolution with trajectory recovery.
CoRR
Fernando H. C. Dias, Stephanie Rahme, David Rey