Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Filters

Thomas A Henzinger

Showing results (1-10 of 11) with videos related to

Pageof 2
Sort By:
Computer Science (Berlin, Germany)|April 13, 2016
Quantitative reactive modeling and verificationThomas A Henzinger
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|August 2, 2008
Two challenges in embedded systems design: predictability and robustnessThomas A Henzinger
Nature Biotechnology|November 9, 2007
Executable cell biologyJasmin Fisher, Thomas A Henzinger
IEEE/ACM Transactions on Computational Biology and Bioinformatics|July 11, 2012
The propagation approach for computing biochemical reaction networksThomas A Henzinger, Maria Mateescu
Proceedings of the National Academy of Sciences of the United States of America|March 19, 2025
Hardware-optimal quantum algorithmsStefanie Muroya, Krishnendu Chatterjee, Thomas A Henzinger
BMC Systems Biology|April 6, 2007
Qualitative networks: a symbolic approach to analyze biological signaling networksMarc A Schaub, Thomas A Henzinger, Jasmin Fisher
Journal of Computer and System Sciences|October 31, 2015
Strategy improvement for concurrent reachability and turn-based stochastic safety gamesKrishnendu Chatterjee, Luca de Alfaro, Thomas A Henzinger
Plos Computational Biology|May 22, 2007
Predictive modeling of signaling crosstalk during C. elegans vulval developmentJasmin Fisher, Nir Piterman, Alex Hajnal, et al.
BMC Systems Biology|April 10, 2010
Solving the chemical master equation using sliding windowsVerena Wolf, Rushil Goel, Maria Mateescu, et al.
Bio Systems|July 28, 2016
Adaptive moment closure for parameter inference of biochemical reaction networksChristian Schilling, Sergiy Bogomolov, Thomas A Henzinger, et al.
Pageof 2

Showing results (1-10 of 11) with videos related to

Sort By:
Pageof 2
Computer Science (Berlin, Germany)|April 13, 2016
Quantitative reactive modeling and verificationThomas A Henzinger
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|August 2, 2008
Two challenges in embedded systems design: predictability and robustnessThomas A Henzinger
Nature Biotechnology|November 9, 2007
Executable cell biologyJasmin Fisher, Thomas A Henzinger
IEEE/ACM Transactions on Computational Biology and Bioinformatics|July 11, 2012
The propagation approach for computing biochemical reaction networksThomas A Henzinger, Maria Mateescu
Proceedings of the National Academy of Sciences of the United States of America|March 19, 2025
Hardware-optimal quantum algorithmsStefanie Muroya, Krishnendu Chatterjee, Thomas A Henzinger
BMC Systems Biology|April 6, 2007
Qualitative networks: a symbolic approach to analyze biological signaling networksMarc A Schaub, Thomas A Henzinger, Jasmin Fisher
Journal of Computer and System Sciences|October 31, 2015
Strategy improvement for concurrent reachability and turn-based stochastic safety gamesKrishnendu Chatterjee, Luca de Alfaro, Thomas A Henzinger
Plos Computational Biology|May 22, 2007
Predictive modeling of signaling crosstalk during C. elegans vulval developmentJasmin Fisher, Nir Piterman, Alex Hajnal, et al.
BMC Systems Biology|April 10, 2010
Solving the chemical master equation using sliding windowsVerena Wolf, Rushil Goel, Maria Mateescu, et al.
Bio Systems|July 28, 2016
Adaptive moment closure for parameter inference of biochemical reaction networksChristian Schilling, Sergiy Bogomolov, Thomas A Henzinger, et al.
Pageof 2