Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules
M. Drumea Mirancea, J. Wessels, C. Müller, M. Essl, J. Eble, E. Tolosa, M. Koch, D. Reinhardt, M.K. Sixt, L. Sorokin, Y. Stierhof, H. Schwarz, G. Klein, Journal of Cell Science 119 (2006) 1396–1405.

;3-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response
H. Chu, I. Thievessen, M.K. Sixt, T. Lämmermann, A. Waisman, A. Braun, A. Noegel, R. Fässler, Molecular and Cellular Biology 26 (2006) 1817–1825.

;21 integrins: zip codes and signaling relay for blood cells
M.K. Sixt, M. Bauer, T. Lämmermann, R. Fässler, Current Opinion in Cell Biology 18 (2006) 482–490.

Wn controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane
S. Witzel, V. Zimyanin, F. Carreira Barbosa, M. Tada, C.-P.J. Heisenberg, Journal of Cell Biology 175 (2006) 791–802.

Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid
D. Tonelli, F. Calegari, J. Fei, T. Nomura, N. Osumi, C.-P.J. Heisenberg, W. Huttner, Biotechniques 41 (2006) 727–732.

Identification of regulators of germ layer morphogenesis using proteomics in zebrafish
V. Link, L. Carvalho, I. Castanon, P. Stockinger, A. Shevchenko, C.-P.J. Heisenberg, Journal of Cell Science 119 (2006) 2073–2083.

Proteomics of early zebrafish embryos
V. Link, A. Shevchenko, C.-P.J. Heisenberg, BMC Developmental Biology 6 (2006) 1–9.

Analysis and visualization of cell movement in the developing zebrafish brain
T. Langenberg, T. Dracz, A. Oates, C.-P.J. Heisenberg, M. Brand, Developmental Dynamics 235 (2006) 928–933.

Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila
M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, C.-P.J. Heisenberg, Development 133 (2006) 2671–2681.

Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow
H. Blaser, M. Reichman Fried, I. Castanon, K. Dumstrei, F. Marlow, K. Kawakami, L. Solnica Krezel, C.-P.J. Heisenberg, E. Raz, Developmental Cell 11 (2006) 613–627.

Density-dependence as a size-independent regulatory mechanism
H. de Vladar, Journal of Theoretical Biology 238 (2006) 245–256.

Dynamic response of cancer under the influence of immunological activity and therapy
H. de Vladar, J. González, Journal of Theoretical Biology (2006) 91–109.

The Hill-Robertson effect and the evolution of recombination
D. Roze, N.H. Barton, Genetics 173 (2006) 1793–1811.

Evolutionary Biology: How did the human species form?
N.H. Barton, Current Biology 16 (2006) 647–650.

Field Constraint Analysis
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, Springer, 2006, pp. 157–173.

Real Time Temporal Logic: Past, Present, Future
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 2–16.

From MITL to Timed Automata
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 274–289.

Antichains: A new algorithm for checking universality of finite automata
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.

Preserving Secrecy Under Refinement
R. Alur, P. Cerny, S. Zdancewic, in:, Springer, 2006, pp. 107–118.

Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.

An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.

Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.

The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.

On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.

Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.

A hierarchical coordination language for interacting real-time tasks
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.

Executable biology
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.

Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.

Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.

Markov decision processes with multiple objectives
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.

Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziski, Theoretical Computer Science 365 (2006) 67–82.

Compositional quantitative reasoning
K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.

Strategy improvement for concurrent reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.

Lazy shape analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.

Counterfactual computation revisited
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).

Weak measurements and counterfactual computation
O. Hosten, P. Kwiat, (2006).

Towards a quasi-deterministic single-photon source
N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, SPIE, 2006.

High-efficiency single-photon detectors
R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, SPIE, 2006.

Counterfactual quantum computation through quantum interrogation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, Nature 439 (2006) 949–952.

Improved single-photon detection
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, P. Kwiat, in:, IEEE, 2006.

On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits
I. Salecker, M. Häusser, M. de Bono, EMBO Reports 7 (2006) 585–589.

Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans
C. Rogers, A. Persson, B. Cheung, M. de Bono, Current Biology 16 (2006) 649–659.

Measuring the current distribution in PEFCs with sub-millimeter resolution
S.A. Freunberger, M. Reum, J. Evertz, A. Wokaun, F.N. Buchi, Journal of The Electrochemical Society 153 (2006).

Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks
M. Santis, S.A. Freunberger, M. Papra, A. Wokaun, F.N. Büchi, Journal of Power Sources 161 (2006) 1076–1083.

What is learned beyond the scale of single cells?
F.N. Buchi, S.A. Freunberger, M. Santis, in:, ECS Transactions, ECS, 2006, pp. 963–968.

Expanding current distribution measurement in PEFCs to sub-millimeter resolution
S.A. Freunberger, M. Reum, A. Wokaun, F.N. Büchi, Electrochemistry Communications 8 (2006) 1435–1438.

Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients
M. Santis, S.A. Freunberger, A. Reiner, F.N. Büchi, Electrochimica Acta 51 (2006) 5383–5393.

In-plane effects in large-scale PEMFCs
S.A. Freunberger, M. Santis, I.A. Schneider, A. Wokaun, F.N. Buchi, Journal of The Electrochemical Society 153 (2006).

In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance
S.A. Freunberger, A. Wokaun, F.N. Buchi, Journal of The Electrochemical Society 153 (2006).

Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius
E. Rogaev, Y. Moliaka, B. Malyarchuk, F. Kondrashov, M. Derenko, I. Chumakov, A. Grigorenko, PLoS Biology 4 (2006) 0403–0410.