Benjamin Horowitz
Lawrence Berkeley National Laboratory(US)Kavli Institute for the Physics and Mathematics of the Universe(JP)The University of Tokyo(JP)
Publications by Year
Research Areas
Galaxies: Formation, Evolution, Phenomena, Astronomy and Astrophysical Research, Real-Time Systems Scheduling, Cosmology and Gravitation Theories, Formal Methods in Verification
Most-Cited Works
- → Giotto: a time-triggered language for embedded programming(2003)413 cited
- → Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods(2000)144 cited
- → The La Silla-QUEST Low Redshift Supernova Survey(2013)92 cited
- → Rectangular Hybrid Games(1999)89 cited
- → Embedded Control Systems Development with Giotto(2001)86 cited
- → Cosmological constraints from thermal Sunyaev–Zeldovich power spectrum revisited(2017)59 cited
- → Second Data Release of the COSMOS Lyα Mapping and Tomography Observations: The First 3D Maps of the Detailed Cosmic Web at 2.05 < z < 2.55