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.
9099 Publications
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), vol. 29, no. 393, ACM, 2007, doi: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. Vol. 4362, Springer, 2007, pp. 103–10, doi:10.1007/978-3-540-69507-3_7.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4511
Henzinger, Thomas A. Quantitative Generalizations of Languages. Vol. 4588, Springer, 2007, pp. 20–22, doi:10.1007/978-3-540-73208-2_2.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4531
Fisher, Jasmin, et al. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.” PLoS Computational Biology, vol. 3(5):e92, Public Library of Science, 2007, doi: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, vol. 25, Nature Publishing Group, 2007, pp. 1239–49, doi:10.1038/nbt1356.
View
| DOI