-
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....
- 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...
-
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...
-
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...
-
Randal E. (2018). "Binary
Decision Diagrams". In Clarke,
Edmund M.;
Henzinger,
Thomas A.; Veith, Helmut; Bloem,
Roderick (eds.).
Handbook of
Model Checking...
-
original (PDF) on
August 11, 2011.
Retrieved 2010-02-28. Franck, C****ez;
Henzinger, Thomas; Raskin, Jean-Francois (2002). A
Comparison of
Control Problems...
