Printing technique classification for document counterfeit detection
C. Lampert, L. Mei, T. Breuel, in:, IEEE, 2006, pp. 639–634.

An optimal non-orthogonal separation of the anisotropic Gaussian convolution filter
C. Lampert, O. Wirjadi, IEEE Transactions on Image Processing (TIP) 15 (2006) 3501–3513.

Anisotropic Gaussian filtering using fixed point arithmetic
C. Lampert, O. Wirjadi, in:, IEEE, 2006, pp. 1565–1568.

Color image dequantization by constrained diffusion
D. Keysers, C. Lampert, T. Breuel, in:, SPIE, 2006.

Direct measurement of single-molecule visco-elasticity in atomic force microscope force-extension experiments
C. Bippes, A. Humphris, M. Stark, D. Mueller, H.L. Janovjak, European Biophysics Journal 35 (2006) 287–292.

Pulling single bacteriorhodopsin out of a membrane: Comparison of simulation and experiment
M. Cieplak, S. Filipek, H.L. Janovjak, K. Krzysko, Biochimica et Biophysica Acta (BBA) - Biomembranes 1758 (2006) 537–544.

Rastersondenmikroskopie
H.L. Janovjak, D. Mueller, in:, Bioanalytik, Spektrum Akademischer Verlag, 2006.

Dynamical determinants of drug-inducible gene expression in a single bacterium
T. Le, T. Emonet, S. Harlepp, C.C. Guet, P. Cluzel, Biophysical Journal 90 (2006) 3315–3321.

Keyframe control of complex particle systems using the adjoint method
C. Wojtan, P. Mucha, G. Turk, in:, ACM, 2006, pp. 15–23.

Patch-clamp recording from mossy fiber terminals in hippocampal slices
J. Bischofberger, D. Engel, L. Li, J. Geiger, P.M. Jonas, Nature Protocols 1 (2006) 2075–81.

The complexity of quantitative concurrent parity games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2006, pp. 678–687.

Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 287–302.

Concurrent games with tail objectives
K. Chatterjee, in:, Springer, 2006, pp. 256–270.

Strategy improvement for stochastic Rabin and Streett games
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2006, pp. 375–389.

Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus
J. Ustinova, R. Achmann, S. Cremer, F. Mayer, Journal of Molecular Evolution 62 (2006) 158–167.

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).