Rectangular Hybrid Games. - Thomas A. Henzinger; Benjamin Horowitz; Rupak Majumdar (CONCUR, 1999)

Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. - Thomas A. Henzinger; Benjamin Horowitz; Rupak Majumdar; Howard Wong-Toi (HSCC, 2000)

Embedded Control Systems Development with Giotto. - Thomas A. Henzinger; Benjamin Horowitz; Christoph Meyer Kirsch (OM@PLDI, 2001)

Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. - Tak-John Koo; Judith Liebman; Cedric Ma; Benjamin Horowitz; Alberto L. Sangiovanni-Vincentelli; Shankar Sastry 001 (EMSOFT, 2002)

Giotto: a time-triggered language for embedded programming. - Thomas A. Henzinger; Benjamin Horowitz; Christoph M. Kirsch (Proc. IEEE, 2003)

Platform-based embedded software design and system integration for autonomous vehicles. - Benjamin Horowitz; Judith Liebman; Cedric Ma; Tak-John Koo; Alberto L. Sangiovanni-Vincentelli; Shankar Sastry 001 (Proc. IEEE, 2003)

Fast, high-fidelity Lyman α forests with convolutional neural networks. - Peter Harrington; Mustafa Mustafa; Max Dornfest; Benjamin Horowitz; Zarija Lukic (CoRR, 2021)

TensorFlow Hydrodynamics Analysis for Ly-α Simulations. - Jupiter Ding; Benjamin Horowitz; Zarija Lukic (Astron. Comput., 2024)