Georgia Institute of Technology — United States
Computer Science · Physical Sciences
58h-index17.4kcitations734works1.72yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Constraint Satisfaction and Optimization(178), Logic, programming, and type systems(94), Transportation and Mobility Innovations(74), Optimal Power Flow Distribution(69), Formal Methods in Verification(66)
Publications734 total
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
Manufacturing & Service Operations Management·2025
ArXiv.org·2025Open Access
Operations Research Perspectives·2025· 1 citedOpen Access
IEEE Transactions on Semiconductor Manufacturing·2025· 2 cited
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
Sustainable Energy Grids and Networks·2025
Transportation Research Part E Logistics and Transportation Review·2025· 2 cited
Transportation Science·2025
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
2025Open Access
arXiv (Cornell University)·2025Open Access
page 1 of 37Next →
Frequent Co-authors
Russell Bent(10), Carleton Coffrin(8), Laurent Michel(7), Hassan Hijazi(6), Yves Deville(5), Mehmet Dincbas(4), Helmut Simonis(4), Manuel Cebrián(3), Vijay Saraswat(3), Yury Kryvasheyeu(2), Haohui Chen(2), Esteban Moro(2), David McAllester(2), Scott Backhaus(2), Baudouin Le Charlier(2), Laurent Perron(2), Nick Obradovich(1), James H. Fowler(1), A. Tuson(1), Abderrahmane Aggoun(1)