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.
9126 Publications
2008 | Journal Article | IST-REx-ID: 4161
Oteíza, Pablo, Mathias Köppen, Miguel Concha, and Carl-Philipp J Heisenberg. “Origin and Shaping of the Laterality Organ in Zebrafish.” Development. Company of Biologists, 2008. https://doi.org/10.1242/dev.022228.
View
| DOI
2008 | Journal Article | IST-REx-ID: 4190
Kai, Masatake, Carl-Philipp J Heisenberg, and Masazumi Tada. “Sphingosine-1-Phosphate Receptors Regulate Individual Cell Behaviours Underlying the Directed Migration of Prechordal Plate Progenitor Cells during Zebrafish Gastrulation.” Development. Company of Biologists, 2008. https://doi.org/10.1242/dev.020396.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 4384 | 
Guerraoui, Rachid, Thomas A Henzinger, Barbara Jobstmann, and Vasu Singh. “Model Checking Transactional Memories,” 372–82. ACM, 2008. https://doi.org/10.1145/1375581.1375626.
View
| Files available
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Permissiveness in Transactional Memories,” 5218:305–19. Springer, 2008. https://doi.org/10.1007/978-3-540-87779-0_21.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Completeness and Nondeterminism in Model Checking Transactional Memories,” 5201:21–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9_6.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4397
Beyer, Dirk, Damien Zufferey, and Ritankar Majumdar. “CSIsat: Interpolation for LA+EUF,” 304–8. Springer, 2008.
View
2008 | Conference Paper | IST-REx-ID: 4400
Aviv, Adam, Pavol Cerny, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, and Matt Blaze. “Security Evaluation of ES&S Voting Machines and Election Management System.” USENIX, 2008. https://doi.org/1545.
View
| DOI
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4409 |
Prabhu, Vinayak. “Games for the Verification of Timed Systems.” University of California, Berkeley, 2008.
View
| Download None (ext.)
2008 | Thesis | IST-REx-ID: 4415
Matic, Slobodan. “Compositionality in Deterministic Real-Time Embedded Systems.” University of California, Berkeley, 2008.
View
2008 | Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,” 5330:333–42. Springer, 2008. https://doi.org/10.1007/978-3-540-89439-1_24.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4509
Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London, 2008. https://doi.org/10.1098/rsta.2008.0141.
View
| DOI
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4524
Ghosal, Arkadeb. “A Hierarchical Coordination Language for Reliable Real-Time Tasks.” University of California, Berkeley, 2008.
View
2008 | Conference Paper | IST-REx-ID: 4521
Gupta, Ashutosh, Thomas A Henzinger, Ritankar Majumdar, Andrey Rybalchenko, and Ru Xu. “Proving Non-Termination,” 147–58. ACM, 2008. https://doi.org/10.1145/1328438.1328459.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4527
Fisher, Jasmin, Thomas A Henzinger, Maria Mateescu, and Nir Piterman. “Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions,” 5054:17–32. Springer, 2008. https://doi.org/10.1007/978-3-540-68413-8_2.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4532
Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science. World Scientific Publishing, 2008. https://doi.org/10.1142/S0129054108005814 .
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4533
Doyen, Laurent, Thomas A Henzinger, Barbara Jobstmann, and Tatjana Petrov. “Interface Theories with Component Reuse,” 79–88. ACM, 2008. https://doi.org/10.1145/1450058.1450070.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters. Elsevier, 2008. https://doi.org/10.1016/j.ipl.2007.08.035.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, and Alberto Sangiovanni Vincentelli. “Logical Reliability of Interacting Real-Time Tasks,” 909–14. IEEE, 2008. https://doi.org/10.1145/1403375.1403595.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory. Springer, 2008. https://doi.org/10.1007/s00182-007-0110-5.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4568
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Program Analysis with Dynamic Change of Precision,” 29–38. ACM, 2008. https://doi.org/10.1109/ASE.2008.13.
View
| DOI
| Download (ext.)