-
Henzinger is a
German surname.
Notable people with the
surname include:
Thomas Henzinger (b. 1962),
Austrian computer scientist and
researcher Monika Henzinger...
-
Thomas Henzinger (born 1962) is an
Austrian computer scientist, researcher, and
former president of the
Institute of
Science and Technology, Austria....
-
Monika Henzinger (born as
Monika Rauch, 17
April 1966 in
Weiden in der Oberpfalz) is a
German computer scientist, and is a
former director of research...
-
Henzinger was
appointed as the
first president of ISTA
effective September 1, 2009. His
contract was
extended in 2013, 2016, and 2020, but
Henzinger then...
- 7214. Springer-Verlag. pp. 525–527. ISBN 978-3-642-28756-5. Beyer, Dirk;
Henzinger,
Thomas A.; Jhala, Ranjit; Majumdar,
Rupak (2007). "The
Software Model...
- an expression), and
squaring (two
copies of an expression). Alur and
Henzinger extended linear temporal logic with
times (integer) and
prove that the...
- tag
elements for indexing. The
Director of
Research at Google,
Monika Henzinger, was
quoted (in 2002) as saying, "Currently we don't
trust metadata because...
-
example of a (stochastic)
hybrid system and a
generalization of the PDMP
Henzinger,
Thomas A. (1996), "The
Theory of
Hybrid Automata", 11th
Annual Symposium...
- 30
doctoral students,
including Nachum Dershowitz, Adi Shamir,
Thomas Henzinger,
Pierre Wolper, and Martín Abadi.
Temporal logic Reactive systems Concurrency...
- has
worked on the
verification of
timed and
hybrid systems with
Thomas Henzinger and the
synthesis of
timed systems with Amir
Pnueli and Oded Maler. He...
