Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
192 Publications
2007 | Conference Paper | IST-REx-ID: 4402
Alur, Rajeev, Pavol Cerny, and Swarat Chaudhuri. “Model Checking on Trees with Path Equivalences,” 664–78. Springer, 2007. https://doi.org/1544.
View
| DOI
2007 | Book Chapter | IST-REx-ID: 4417
Manevich, Roman, John Field, Thomas A Henzinger, Ganesan Ramalingam, and Mooly Sagiv. “Abstract Counterexample-Based Refinement for Powerset Domains.” In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, 4444:273–92. Springer, 2007. https://doi.org/10.1007/978-3-540-71322-7_13.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4446
Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.” ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2007. https://doi.org/10.1145/1286821.1286824.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4514
Henzinger, Thomas A. “Games, Time, and Probability: Graph Models for System Design and Analysis,” 4362:103–10. Springer, 2007. https://doi.org/10.1007/978-3-540-69507-3_7.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4511
Henzinger, Thomas A. “Quantitative Generalizations of Languages,” 4588:20–22. Springer, 2007. https://doi.org/10.1007/978-3-540-73208-2_2.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4531
Fisher, Jasmin, Nir Piterman, Alex Hajnal, and Thomas A Henzinger. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.” PLoS Computational Biology. Public Library of Science, 2007. https://doi.org/10.1371/journal.pcbi.0030092.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4529
Fisher, Jasmin, and Thomas A Henzinger. “Executable Cell Biology.” Nature Biotechnology. Nature Publishing Group, 2007. https://doi.org/10.1038/nbt1356.
View
| DOI
2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc, Jacques, and Thomas A Henzinger. CSL: Computer Science Logic . CSL: Computer Science Logic. Vol. 4646. Springer, 2007. https://doi.org/10.1007/978-3-540-74915-8.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee, Krishnendu, and Thomas A Henzinger. “Assume-Guarantee Synthesis,” 4424:261–75. Springer, 2007. https://doi.org/10.1007/978-3-540-71209-1_21.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4547
Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information.” Logical Methods in Computer Science. International Federation of Computational Logic, 2007. https://doi.org/10.2168/LMCS-3(3:4)2007.
View
| DOI