| 2024 | CPAIOR | Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. | Haoruo Zhao, Hassan L. Hijazi, Haydn Thomas Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck |
| 2018 | CPAIOR | Juniper: An Open-Source Nonlinear Branch-and-Bound Solver in Julia. | Ole Krger, Carleton Coffrin, Hassan L. Hijazi, Harsha Nagarajan |
| 2016 | CP | Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control. | BoonPing Lim, Hassan L. Hijazi, Sylvie Thibaux, Menkes van den Briel |
| 2015 | AAAI | Power System Restoration With Transient Stability. | Hassan L. Hijazi, Terrence W. K. Mak, Pascal Van Hentenryck |
| 2015 | CP | Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization. | Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck |
| 2013 | IJCAI | Planning with MIP for Supply Restoration in Power Distribution Systems. | Sylvie Thibaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney |
| 2012 | DCC | A MILP Approach for Designing Robust Variable-Length Codes Based on Exact Free Distance Computation. | Hassan L. Hijazi, Amadou Diallo, Michel Kieffer, Leo Liberti, Claudio Weidmann |
| 2010 | GLOBECOM | Performance-Oriented Routing in Telecommunication Networks. | Hassan L. Hijazi, Olivier Klopfenstein |