Publications

Peer-reviewed publications

Zhengyang Lu, Paul Sarnighausen-Cahn, Jiahao Chen, Arie Gurfinkel, Florin Manea, Vijay Ganesh

The 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026) · 2026

Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Arie Gurfinkel, Vijay Ganesh

Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I · 2025

Zhengyang Lu, Joel Day, Piyush Jha, Paul Sarnighausen-Cahn, Stefan Siemer, Florin Manea, Vijay Ganesh

Acta Informatica · 2025

Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel Day, Florin Manea, Vijay Ganesh

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24 · 2024

Ce Zhang, Guangyuan Pan, Matthew I. Muresan, Zhengyang Lu, Liping Fu

27th IEEE International Conference on Intelligent Transportation Systems, ITSC 2024, Edmonton, AB, Canada, September 24-27, 2024 · 2024