Pascal Van Hentenryck

Georgia Institute of TechnologyUnited 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

Operations Research Perspectives·2025· 1 citedOpen Access
IEEE Transactions on Semiconductor Manufacturing·2025· 2 cited
Transportation Research Part E Logistics and Transportation Review·2025· 2 cited
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)