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

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

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

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

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

Giotto: A Time-Triggered Language for Embedded Programming. - Henzinger, Thomas A.; Horowitz, Benjamin; Kirsch, Christoph M. (2001)

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

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

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

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