Edelsbrunner, H., &; Harer, J. (2008). Persistent homology - a survey. In Surveys on Discrete and Computational Geometry: Twenty Years Later (pp. 257–282). American Mathematical Society.
LibreCat: https://research-explorer.ista.ac.at/record/3969

Vervenne, H., Crombez, K., Lambaerts, K., Carvalho, L., Köppen, M., Heisenberg, C.-P. J.,https://doi.org/10.1016/j.ydbio.2008.05.529__Petit, M. (2008). Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation. Developmental Biology. Elsevier.https://doi.org/10.1016/j.ydbio.2008.05.529 
LibreCat: https://research-explorer.ista.ac.at/record/4141
DOI: 10.1016/j.ydbio.2008.05.529

Oteíza, P., Köppen, M., Concha, M., &; Heisenberg, C.-P. J. (2008). Origin and shaping of the laterality organ in zebrafish. Development. Company of Biologists.https://doi.org/10.1242/dev.022228 
LibreCat: https://research-explorer.ista.ac.at/record/4161
DOI: 10.1242/dev.022228

Kai, M., Heisenberg, C.-P. J., &; Tada, M. (2008). Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation. Development. Company of Biologists.https://doi.org/10.1242/dev.020396 
LibreCat: https://research-explorer.ista.ac.at/record/4190
DOI: 10.1242/dev.020396

Guerraoui, R., Henzinger, T. A., Jobstmann, B., &; Singh, V. (2008). Model checking transactional memories (pp. 372–382). Presented at the PLDI: Programming Languages Design and Implementation, ACM.https://doi.org/10.1145/1375581.1375626 
LibreCat: https://research-explorer.ista.ac.at/record/4384
DOI: 10.1145/1375581.1375626

Guerraoui, R., Henzinger, T. A., &; Singh, V. (2008). Permissiveness in transactional memories (Vol. 5218, pp. 305–319). Presented at the DISC: Distributed Computing, Springer.https://doi.org/10.1007/978-3-540-87779-0_21 
LibreCat: https://research-explorer.ista.ac.at/record/4386
DOI: 10.1007/978-3-540-87779-0_21

Guerraoui, R., Henzinger, T. A., &; Singh, V. (2008). Completeness and nondeterminism in model checking transactional memories (Vol. 5201, pp. 21–35). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-540-85361-9_6 
LibreCat: https://research-explorer.ista.ac.at/record/4387
DOI: 10.1007/978-3-540-85361-9_6

Beyer, D., Zufferey, D., &; Majumdar, R. (2008). CSIsat: Interpolation for LA+EUF (pp. 304–308). Presented at the CAV: Computer Aided Verification, Springer.
LibreCat: https://research-explorer.ista.ac.at/record/4397

Aviv, A., Cerny, P., Clark, S., Cronin, E., Shah, G., Sherr, M., &; Blaze, M. (2008). Security Evaluation of ES&;amp;S Voting Machines and Election Management System. Presented at the Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08, USENIX.https://doi.org/1545 
LibreCat: https://research-explorer.ista.ac.at/record/4400
DOI: 1545

Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4409

Matic, S. (2008). Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4415

Henzinger, T. A., Hottelier, T., &; Kovács, L. (2008). Valigator: A verification tool with bound and invariant generation (Vol. 5330, pp. 333–342). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Springer.https://doi.org/10.1007/978-3-540-89439-1_24 
LibreCat: https://research-explorer.ista.ac.at/record/4452
DOI: 10.1007/978-3-540-89439-1_24

Henzinger, T. A. (2008). 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.https://doi.org/10.1098/rsta.2008.0141 
LibreCat: https://research-explorer.ista.ac.at/record/4509
DOI: 10.1098/rsta.2008.0141

Ghosal, A. (2008). A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4524

Gupta, A., Henzinger, T. A., Majumdar, R., Rybalchenko, A., &; Xu, R. (2008). Proving non-termination (pp. 147–158). Presented at the POPL: Principles of Programming Languages, ACM.https://doi.org/10.1145/1328438.1328459 
LibreCat: https://research-explorer.ista.ac.at/record/4521
DOI: 10.1145/1328438.1328459

Fisher, J., Henzinger, T. A., Mateescu, M., &; Piterman, N. (2008). Bounded asynchrony: Concurrency for modeling cell-cell interactions (Vol. 5054, pp. 17–32). Presented at the FMSB: Formal Methods in Systems Biology, Springer.https://doi.org/10.1007/978-3-540-68413-8_2 
LibreCat: https://research-explorer.ista.ac.at/record/4527
DOI: 10.1007/978-3-540-68413-8_2

Doyen, L., Henzinger, T. A., &; Raskin, J. (2008). Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. World Scientific Publishing.https://doi.org/10.1142/S0129054108005814  
LibreCat: https://research-explorer.ista.ac.at/record/4532
DOI: 10.1142/S0129054108005814 

Doyen, L., Henzinger, T. A., Jobstmann, B., &; Petrov, T. (2008). Interface theories with component reuse (pp. 79–88). Presented at the EMSOFT: Embedded Software , ACM.https://doi.org/10.1145/1450058.1450070 
LibreCat: https://research-explorer.ista.ac.at/record/4533
DOI: 10.1145/1450058.1450070

Chatterjee, K., &; Henzinger, T. A. (2008). Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. Elsevier.https://doi.org/10.1016/j.ipl.2007.08.035 
LibreCat: https://research-explorer.ista.ac.at/record/4534
DOI: 10.1016/j.ipl.2007.08.035

Chatterjee, K., Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., Pinello, C., &; Sangiovanni Vincentelli, A. (2008). Logical reliability of interacting real-time tasks (pp. 909–914). Presented at the DATE: Design, Automation and Test in Europe, IEEE.https://doi.org/10.1145/1403375.1403595 
LibreCat: https://research-explorer.ista.ac.at/record/4546
DOI: 10.1145/1403375.1403595