-
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....
- 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...
-
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...
- an expression), and
squaring (two
copies of an expression). Alur and
Henzinger extended linear temporal logic with
times (integer) and
prove that the...
-
about individual objectives in ATL. That is why, in 2010, Chatterjee,
Henzinger and
Piterman introduced strategy logic, a first-order
logic in
which strategies...
-
control systems,
mobile robots, and
processes from
systems biology. An Alur–
Henzinger hybrid automaton H {\displaystyle H}
comprises the
following components:...
- 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...
-
Randal E. (2018). "Binary
Decision Diagrams". In Clarke,
Edmund M.;
Henzinger,
Thomas A.; Veith, Helmut; Bloem,
Roderick (eds.).
Handbook of
Model Checking...
