2023: 'A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems' (with Anna Livia Croella, Carlo Mannino, Paolo Ventura)
2023: 'An optimization-based decision support tool for incremental train timetabling' (with Oddvar Kloster, Carlo Mannino, Giorgio Sartor)
2022: 'Feasibility Jump: an LP-free Lagrangian MIP heuristic' (with Giorgio Sartor)
2021–2022: 'Abstraction Refinement of Parallel Transition Systems in an SMT-based Timeline Planner' (with Synne Fossøy)
2021: 'Improving Online Railway Deadlock Detection using a Partial Order Reduction'