-
Henzinger is a
German surname.
Notable people with the
surname include:
Thomas Henzinger (b. 1962),
Austrian computer scientist and
researcher Monika Henzinger...
-
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...
-
Thomas Henzinger (born 1962) is an
Austrian computer scientist, researcher, and
former president of the
Institute of
Science and Technology, Austria....
-
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...
-
control systems,
mobile robots, and
processes from
systems biology. An Alur–
Henzinger hybrid automaton H {\displaystyle H}
comprises the
following components:...
-
Count AltaVista Out Yet". Forbes. Silverstein, Craig; Marais, Hannes;
Henzinger, Monika; Moricz,
Michael (September 1999). "Analysis of a very
large web...
