Publications by authors named "Thomas Henzinger"

Claim this Profile
H
Hardware-optimal quantum algorithms.
Stefanie Muroya, Krishnendu Chatterjee, Thomas A Henzinger

Proc Natl Acad Sci U S A· March 2025

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
I
Information-flow interfaces.
Ezio Bartocci, Thomas Ferrère, Thomas A Henzinger, Dejan Nickovic, Ana Oliveira da Costa

Form Methods Syst Des· May 2024

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
T
Trap spaces of multi-valued networks: definition, computation, and applications.
Van-Giang Trinh, Belaid Benhamou, Thomas Henzinger, Samuel Pastva

Bioinformatics· June 2023

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
A
Adaptive moment closure for parameter inference of biochemical reaction networks.
Christian Schilling, Sergiy Bogomolov, Thomas A Henzinger, Andreas Podelski, Jakob Ruess

Biosystems· November 2016

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
F
From non-preemptive to preemptive scheduling using synchronization synthesis.
Pavol Černý, Edmund M Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk

Form Methods Syst Des· September 2016

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
T
The propagation approach for computing biochemical reaction networks.
Thomas A Henzinger, Maria Mateescu

IEEE/ACM Trans Comput Biol Bioinform· February 2014

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
Q
Quantitative reactive modeling and verification.
Thomas A Henzinger

Comput Sci (Berl)· October 2013

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
S
Strategy improvement for concurrent reachability and turn-based stochastic safety games.
Krishnendu Chatterjee, Luca de Alfaro, Thomas A Henzinger

J Comput Syst Sci· August 2013

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
S
Solving the chemical master equation using sliding windows.
Verena Wolf, Rushil Goel, Maria Mateescu, Thomas A Henzinger

BMC Syst Biol· April 2010

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
T
Two challenges in embedded systems design: predictability and robustness.
Thomas A Henzinger

Philos Trans A Math Phys Eng Sci· October 2008

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
E
Executable cell biology.
Jasmin Fisher, Thomas A Henzinger

Nat Biotechnol· November 2007

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
P
Predictive modeling of signaling crosstalk during C. elegans vulval development.
Jasmin Fisher, Nir Piterman, Alex Hajnal, Thomas A Henzinger

PLoS Comput Biol· May 2007

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
Q
Qualitative networks: a symbolic approach to analyze biological signaling networks.
Marc A Schaub, Thomas A Henzinger, Jasmin Fisher

BMC Syst Biol· January 2007

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis