Cremer, S., Ugelvig, L. V., Drijfhout, F., Schlick Steiner, B., Steiner, F., Seifert, B.,https://doi.org/10.1371/journal.pone.0003838__Boomsma, J. (2008). The evolution of invasiveness in garden ants. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0003838 
LibreCat: https://research-explorer.ista.ac.at/record/3906
DOI: 10.1371/journal.pone.0003838

Lämmermann, T., &; Sixt, M. K. (2008). The microanatomy of T-cell responses. Immunological Reviews. Wiley-Blackwell.https://doi.org/10.1111/j.1600-065X.2008.00592.x 
LibreCat: https://research-explorer.ista.ac.at/record/3939
DOI: 10.1111/j.1600-065X.2008.00592.x

Lokmic, Z., Lämmermann, T., Sixt, M. K., Cardell, S., Hallmann, R., &; Sorokin, L. (2008). The extracellular matrix of the spleen as a potential organizer of immune cell compartments. Seminars in Immunology. Academic Press.https://doi.org/10.1016/j.smim.2007.12.009 
LibreCat: https://research-explorer.ista.ac.at/record/3940
DOI: 10.1016/j.smim.2007.12.009

Dequéant, M., Ahnert, S., Edelsbrunner, H., Fink, T., Glynn, E., Hattem, G.,https://doi.org/10.1371/journal.pone.0002856__Pourquie, O. (2008). Comparison of pattern detection methods in microarray time series of the segmentation clock. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0002856 
LibreCat: https://research-explorer.ista.ac.at/record/3970
DOI: 10.1371/journal.pone.0002856

Edelsbrunner, H., Harer, J., Mascarenhas, A., Pascucci, V., &; Snoeyink, J. (2008). Time-varying Reeb graphs for continuous space-time data. Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/j.comgeo.2007.11.001 
LibreCat: https://research-explorer.ista.ac.at/record/3971
DOI: 10.1016/j.comgeo.2007.11.001

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