C. Lampert, L. Mei, and T. Breuel, “Printing technique classification for document counterfeit detection,” presented at the CIS: Computational Intelligence and Security, 2006, vol. 1, pp. 639–634.
LibreCat: https://research-explorer.ista.ac.at/record/3680
DOI: 10.1109/ICCIAS.2006.294214

C. Lampert and O. Wirjadi, “An optimal non-orthogonal separation of the anisotropic Gaussian convolution filter,” IEEE Transactions on Image Processing (TIP), vol. 15, no. 11. IEEE, pp. 3501–3513, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3695
DOI:  10.1109/TIP.2006.877501 

C. Lampert and O. Wirjadi, “Anisotropic Gaussian filtering using fixed point arithmetic,” presented at the ICIP: IEEE International Conference on Image Processing, 2006, pp. 1565–1568.
LibreCat: https://research-explorer.ista.ac.at/record/3693
DOI: 10.1109/ICIP.2006.312606

D. Keysers, C. Lampert, and T. Breuel, “Color image dequantization by constrained diffusion,” presented at the SPIE Electronic Imaging, 2006, vol. 6058.
LibreCat: https://research-explorer.ista.ac.at/record/3692
DOI: 10.1117/12.648713

C. Bippes, A. Humphris, M. Stark, D. Mueller, and H. L. Janovjak, “Direct measurement of single-molecule visco-elasticity in atomic force microscope force-extension experiments,” European Biophysics Journal, vol. 35, no. 3. Springer, pp. 287–292, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3729
DOI: 10.1007/s00249-005-0023-9

M. Cieplak, S. Filipek, H. L. Janovjak, and K. Krzysko, “Pulling single bacteriorhodopsin out of a membrane: Comparison of simulation and experiment,” Biochimica et Biophysica Acta (BBA) - Biomembranes, vol. 1758, no. 4. Elsevier, pp. 537–544, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3728
DOI: 10.1016/j.bbamem.2006.03.028

H. L. Janovjak and D. Mueller, “Rastersondenmikroskopie,” in Bioanalytik, Spektrum Akademischer Verlag, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3722

T. Le, T. Emonet, S. Harlepp, C. C. Guet, and P. Cluzel, “Dynamical determinants of drug-inducible gene expression in a single bacterium,” Biophysical Journal, vol. 90, no. 9. Biophysical Society, pp. 3315–3321, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3755
DOI: 10.1529/biophysj.105.073353

C. Wojtan, P. Mucha, and G. Turk, “Keyframe control of complex particle systems using the adjoint method,” presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, 2006, pp. 15–23.
LibreCat: https://research-explorer.ista.ac.at/record/3758

J. Bischofberger, D. Engel, L. Li, J. Geiger, and P. M. Jonas, “Patch-clamp recording from mossy fiber terminals in hippocampal slices,” Nature Protocols, vol. 1, no. 4. Nature Publishing Group, pp. 2075–81, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3818
DOI: 10.1038/nprot.2006.312 

K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “The complexity of quantitative concurrent parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2006, pp. 678–687.
LibreCat: https://research-explorer.ista.ac.at/record/3890
DOI: 10.1145/1109557.1109631

K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Algorithms for omega-regular games with imperfect information,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 287–302.
LibreCat: https://research-explorer.ista.ac.at/record/3889
DOI: 10.1007/11874683_19

K. Chatterjee, “Concurrent games with tail objectives,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 256–270.
LibreCat: https://research-explorer.ista.ac.at/record/3891
DOI: 10.1007/11874683_17

K. Chatterjee and T. A. Henzinger, “Strategy improvement for stochastic Rabin and Streett games,” presented at the CONCUR: Concurrency Theory, 2006, vol. 4137, pp. 375–389.
LibreCat: https://research-explorer.ista.ac.at/record/3888
DOI: 10.1007/11817949_25

J. Ustinova, R. Achmann, S. Cremer, and F. Mayer, “Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus,” Journal of Molecular Evolution, vol. 62, no. 2. Springer, pp. 158–167, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3908
DOI: 10.1007/s00239-005-0022-6

M. Drumea Mirancea et al., “Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules,” Journal of Cell Science, vol. 119, no. Pt 7. Company of Biologists, pp. 1396–1405, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3934
DOI: 10.1242/â€‹jcs.02840

H. Chu et al., “;3-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response,” Molecular and Cellular Biology, vol. 26, no. 5. American Society for Microbiology, pp. 1817–1825, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3935
DOI: 10.1128/MCB.26.5.1817-1825.2006

M. K. Sixt, M. Bauer, T. Lämmermann, and R. Fässler, “;21 integrins: zip codes and signaling relay for blood cells,” Current Opinion in Cell Biology, vol. 18, no. 5. Elsevier, pp. 482–490, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3936
DOI: 10.1016/j.ceb.2006.08.007

S. Witzel, V. Zimyanin, F. Carreira Barbosa, M. Tada, and C.-P. J. Heisenberg, “Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane,” Journal of Cell Biology, vol. 175, no. 5. Rockefeller University Press, pp. 791–802, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4140
DOI: 10.1083/jcb.200606017

D. Tonelli et al., “Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid,” Biotechniques, vol. 41, no. 6. Informa Healthcare, pp. 727–732, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4145
DOI: 10.2144/000112296

V. Link, L. Carvalho, I. Castanon, P. Stockinger, A. Shevchenko, and C.-P. J. Heisenberg, “Identification of regulators of germ layer morphogenesis using proteomics in zebrafish,” Journal of Cell Science, vol. 119, no. 10. Company of Biologists, pp. 2073–2083, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4176
DOI: 10.1242/jcs.02928

V. Link, A. Shevchenko, and C.-P. J. Heisenberg, “Proteomics of early zebrafish embryos,” BMC Developmental Biology, vol. 6. BioMed Central, pp. 1–9, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4173
DOI: 10.1186/1471-213X-6-1

T. Langenberg, T. Dracz, A. Oates, C.-P. J. Heisenberg, and M. Brand, “Analysis and visualization of cell movement in the developing zebrafish brain,” Developmental Dynamics, vol. 235, no. 4. Wiley-Blackwell, pp. 928–933, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4178
DOI: 10.1002/dvdy.20692

M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, and C.-P. J. Heisenberg, “Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila,” Development, vol. 133, no. 14. Company of Biologists, pp. 2671–2681, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4184
DOI: doi: 10.1242/dev.02439

H. Blaser et al., “Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow,” Developmental Cell, vol. 11, no. 5. Cell Press, pp. 613–627, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4218
DOI: 10.1016/j.devcel.2006.09.023

H. de Vladar, “Density-dependence as a size-independent regulatory mechanism,” Journal of Theoretical Biology, vol. 238, no. 2. Elsevier, pp. 245–256, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4237
DOI: 3802

H. de Vladar and J. González, “Dynamic response of cancer under the influence of immunological activity and therapy,” Journal of Theoretical Biology. Elsevier, pp. 91–109, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4235

D. Roze and N. H. Barton, “The Hill-Robertson effect and the evolution of recombination,” Genetics, vol. 173, no. 3. Genetics Society of America, pp. 1793–1811, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4248
DOI: 10.1534/genetics.106.058586 

N. H. Barton, “Evolutionary Biology: How did the human species form?,” Current Biology, vol. 16, no. 16. Cell Press, pp. 647–650, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4250
DOI: 10.1016/j.cub.2006.07.032

T. Wies, V. Kuncak, P. Lam, A. Podelski, and M. Rinard, “Field Constraint Analysis,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2006, pp. 157–173.
LibreCat: https://research-explorer.ista.ac.at/record/4359
DOI: 1551

O. Maler, D. Nickovic, and A. Pnueli, “Real Time Temporal Logic: Past, Present, Future,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, pp. 2–16.
LibreCat: https://research-explorer.ista.ac.at/record/4373
DOI: 1571

O. Maler, D. Nickovic, and A. Pnueli, “From MITL to Timed Automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, pp. 274–289.
LibreCat: https://research-explorer.ista.ac.at/record/4374
DOI: 1570

M. De Wulf, L. Doyen, T. A. Henzinger, and J. Raskin, “Antichains: A new algorithm for checking universality of finite automata,” presented at the CAV: Computer Aided Verification, 2006, vol. 4144, pp. 17–30.
LibreCat: https://research-explorer.ista.ac.at/record/4406
DOI: 10.1007/11817963_5

R. Alur, P. Cerny, and S. Zdancewic, “Preserving Secrecy Under Refinement,” presented at the ICALP: Automata, Languages and Programming, 2006, pp. 107–118.
LibreCat: https://research-explorer.ista.ac.at/record/4401
DOI: 1543

T. A. Henzinger and N. Piterman, “Solving games without determinization,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 395–410.
LibreCat: https://research-explorer.ista.ac.at/record/4437
DOI: 10.1007/11874683_26

T. A. Henzinger and S. Matic, “An interface algebra for real-time components,” presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, 2006, pp. 253–266.
LibreCat: https://research-explorer.ista.ac.at/record/4436
DOI: 10.1109/RTAS.2006.11

T. A. Henzinger and V. Prabhu, “Timed alternating-time temporal logic,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, vol. 4202, pp. 1–17.
LibreCat: https://research-explorer.ista.ac.at/record/4432
DOI: 10.1007/11867340_1

T. A. Henzinger and J. Sifakis, “The embedded systems design challenge,” presented at the FM: Formal Methods, 2006, vol. 4085, pp. 1–15.
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” Theoretical Computer Science, vol. 354, no. 2. Elsevier, pp. 173–186, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4451
DOI: 10.1016/j.tcs.2005.11.015

B. Gulavani, T. A. Henzinger, Y. Kannan, A. Nori, and S. Rajamani, “Synergy: A new algorithm for property checking,” presented at the FSE: Foundations of Software Engineering, 2006, pp. 117–127.
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

A. Ghosal, T. A. Henzinger, D. Iercan, C. Kirsch, and A. Sangiovanni Vincentelli, “A hierarchical coordination language for interacting real-time tasks,” presented at the EMSOFT: Embedded Software , 2006, pp. 132–141.
LibreCat: https://research-explorer.ista.ac.at/record/4526
DOI: 10.1145/1176887.1176907

J. Fisher and T. A. Henzinger, “Executable biology,” presented at the WSC: Winter Simulation Conference, 2006, pp. 1675–1682.
LibreCat: https://research-explorer.ista.ac.at/record/4528
DOI: 10.1109/WSC.2006.322942

K. Chatterjee and T. A. Henzinger, “Finitary winning in omega-regular games,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2006, vol. 3920, pp. 257–271.
LibreCat: https://research-explorer.ista.ac.at/record/4539
DOI: 10.1007/11691372_17

K. Chatterjee and T. A. Henzinger, “Strategy improvement and randomized subexponential algorithms for stochastic parity games,” presented at the STACS: Theoretical Aspects of Computer Science, 2006, vol. 3884, pp. 512–523.
LibreCat: https://research-explorer.ista.ac.at/record/4538
DOI: 10.1007/11672142_42

K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Markov decision processes with multiple objectives,” presented at the STACS: Theoretical Aspects of Computer Science, 2006, vol. 3884, pp. 325–336.
LibreCat: https://research-explorer.ista.ac.at/record/4551
DOI: 10.1007/11672142_26

K. Chatterjee, T. A. Henzinger, and M. Jurdziski, “Games with secure equilibria,” Theoretical Computer Science, vol. 365, no. 1–2. Elsevier, pp. 67–82, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4550
DOI: 10.1016/j.tcs.2006.07.032

K. Chatterjee, L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Compositional quantitative reasoning,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 179–188.
LibreCat: https://research-explorer.ista.ac.at/record/4549
DOI: 10.1109/QEST.2006.11

K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for concurrent reachability games,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 291–300.
LibreCat: https://research-explorer.ista.ac.at/record/4552
DOI: 10.1109/QEST.2006.48

D. Beyer, T. A. Henzinger, and G. Théoduloz, “Lazy shape analysis,” presented at the CAV: Computer Aided Verification, 2006, vol. 4144, pp. 532–546.
LibreCat: https://research-explorer.ista.ac.at/record/4574
DOI: 10.1007/11817963_48

O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual computation revisited.” ArXiv, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/573
arXiv: 0607101