The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node
M.K. Sixt, N. Kanazawa, M. Selg, T. Samson, G. Roos, D. Reinhardt, R. Pabst, M. Lutz, L. Sorokin, Immunity 22 (2005) 19–29.
LibreCat: https://research-explorer.ista.ac.at/record/3933
DOI: 10.1016/j.immuni.2004.11.013

Experimental validation of the docking orientation of Cd with its Cdk2-CycA protein substrate
J. Sohn, J. Parks, G. Buhrman, P. Brown, K. Kristjánsdóttir, A. Safi, H. Edelsbrunner, W. Yang, J. Rudolph, Biochemistry 44 (2005) 16563–16573.
LibreCat: https://research-explorer.ista.ac.at/record/3983
DOI: 10.1021/bi0516879

Coarse and reliable geometric alignment for protein docking
Y. Wang, P. Agarwal, P. Brown, H. Edelsbrunner, J. Rudolph, in:, World Scientific Publishing, 2005, pp. 64–75.
LibreCat: https://research-explorer.ista.ac.at/record/3982
DOI: 10.1142/9789812702456_0007

Wn functions in gastrulation by controlling cell cohesion through Rac and E-cadherin
F. Ulrich, M. Krieg, E. Schötz, V. Link, I. Castanon, V. Schnabel, A. Taubenberger, D. Müller, P. Puech, C.-P.J. Heisenberg, Developmental Cell 9 (2005) 555–564.
LibreCat: https://research-explorer.ista.ac.at/record/4144
DOI: 10.1016/j.devcel.2005.08.011

The limitations of adaptive dynamics as a model of evolution
N.H. Barton, J. Polechova, Journal of Evolutionary Biology 18 (2005) 1186–1190.
LibreCat: https://research-explorer.ista.ac.at/record/4138
DOI: 10.1111/j.1420-9101.2005.00943.x

Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, C.-P.J. Heisenberg, Journal of Cell Science 118 (2005) 4199–4206.
LibreCat: https://research-explorer.ista.ac.at/record/4155
DOI: 10.1242/â€‹jcs.02547

Shield formation at the onset of zebrafish gastrulation
J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, C.-P.J. Heisenberg, Development 132 (2005) 1187–1198.
LibreCat: https://research-explorer.ista.ac.at/record/4171
DOI: 10.1242/dev.01667

Speciation through competition: A critical review
J. Polechova, N.H. Barton, Evolution; International Journal of Organic Evolution 59 (2005) 1194–1210.
LibreCat: https://research-explorer.ista.ac.at/record/4249
DOI: 10.1111/j.0014-3820.2005.tb01771.x

Evolution of recombination due to random drift
N.H. Barton, S. Otto, Genetics 169 (2005) 2353–2370.
LibreCat: https://research-explorer.ista.ac.at/record/4251
DOI: 10.1534/genetics.104.032821

Theoretical models of selection and mutationon quantitative traits
T. Johnson, N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 360 (2005) 1411–1425.
LibreCat: https://research-explorer.ista.ac.at/record/4252
DOI: 10.1098/rstb.2005.1667

Synthesis of interface specifications for Java classes
R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.
LibreCat: https://research-explorer.ista.ac.at/record/4404
DOI: 1542

Trading end-to-end latency for composability
S. Matic, T.A. Henzinger, in:, IEEE, 2005, pp. 99–110.
LibreCat: https://research-explorer.ista.ac.at/record/4412
DOI: 10.1109/RTSS.2005.43

A programmable microkernel for real-time systems
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
LibreCat: https://research-explorer.ista.ac.at/record/4418
DOI: 10.1145/1064979.1064986

A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, J. Raskin, ACM Transactions on Computational Logic (TOCL) 6 (2005) 1–32.
LibreCat: https://research-explorer.ista.ac.at/record/4454
DOI: 10.1145/1042038.1042039

Quantifying similarities between timed systems
T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.
LibreCat: https://research-explorer.ista.ac.at/record/4455
DOI: 10.1007/11603009_18

Permissive interfaces
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
LibreCat: https://research-explorer.ista.ac.at/record/4456
DOI: 10.1145/1081706.1081713

Composable code generation for distributed Giotto
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
LibreCat: https://research-explorer.ista.ac.at/record/4457
DOI: 10.1145/1065910.1065914

Automatic rectangular refinement of affine hybrid systems
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
LibreCat: https://research-explorer.ista.ac.at/record/4536
DOI: DOI: 10.1007/11603009_13

Semiperfect-information games
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
LibreCat: https://research-explorer.ista.ac.at/record/4541
DOI: 10.1007/11590156_1

The complexity of stochastic Rabin and Streett games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
LibreCat: https://research-explorer.ista.ac.at/record/4553
DOI: 10.1007/11523468_71