The evolution of invasiveness in garden ants
S. Cremer, L.V. Ugelvig, F. Drijfhout, B. Schlick Steiner, F. Steiner, B. Seifert, D. Hughes, A. Schulz, K. Petersen, H. Konrad, C. Stauffer, K. Kiran, X. Espadaler, P. D’Ettorre, N. Aktaç, J. Eilenberg, G. Jones, D. Nash, J. Pedersen, J. Boomsma, PLoS One 3 (2008).
LibreCat: https://research-explorer.ista.ac.at/record/3906
DOI: 10.1371/journal.pone.0003838

The microanatomy of T-cell responses
T. Lämmermann, M.K. Sixt, Immunological Reviews 221 (2008) 26–43.
LibreCat: https://research-explorer.ista.ac.at/record/3939
DOI: 10.1111/j.1600-065X.2008.00592.x

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

Comparison of pattern detection methods in microarray time series of the segmentation clock
M. Dequéant, S. Ahnert, H. Edelsbrunner, T. Fink, E. Glynn, G. Hattem, A. Kudlicki, Y. Mileyko, J. Morton, A. Mushegian, L. Pachter, M. Rowicka, A. Shiu, B. Sturmfels, O. Pourquie, PLoS One 3 (2008).
LibreCat: https://research-explorer.ista.ac.at/record/3970
DOI: 10.1371/journal.pone.0002856

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

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

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

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

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

Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
LibreCat: https://research-explorer.ista.ac.at/record/4384
DOI: 10.1145/1375581.1375626

Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
LibreCat: https://research-explorer.ista.ac.at/record/4386
DOI: 10.1007/978-3-540-87779-0_21

Completeness and nondeterminism in model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
LibreCat: https://research-explorer.ista.ac.at/record/4387
DOI: 10.1007/978-3-540-85361-9_6

CSIsat: Interpolation for LA+EUF
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
LibreCat: https://research-explorer.ista.ac.at/record/4397

Security Evaluation of ES&amp;S Voting Machines and Election Management System
A. Aviv, P. Cerny, S. Clark, E. Cronin, G. Shah, M. Sherr, M. Blaze, in:, USENIX, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4400
DOI: 1545

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

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

Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
LibreCat: https://research-explorer.ista.ac.at/record/4452
DOI: 10.1007/978-3-540-89439-1_24

Two challenges in embedded systems design: Predictability and robustness
T.A. Henzinger, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366 (2008) 3727–3736.
LibreCat: https://research-explorer.ista.ac.at/record/4509
DOI: 10.1098/rsta.2008.0141

A hierarchical coordination language for reliable real-time tasks
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4524

Proving non-termination
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.
LibreCat: https://research-explorer.ista.ac.at/record/4521
DOI: 10.1145/1328438.1328459