Dodis, Y., Pietrzak, K. Z., &; Przydatek, B. (2006). Separating sources for encryption and secret sharing (Vol. 3876, pp. 601–616). Presented at the TCC: Theory of Cryptography Conference, Springer.https://doi.org/10.1007/11681878_31 
LibreCat: https://research-explorer.ista.ac.at/record/3215
DOI: 10.1007/11681878_31

Pietrzak, K. Z. (2006). Composition implies adaptive security in minicrypt (Vol. 4004, pp. 328–338). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer.https://doi.org/10.1007/11761679_20 
LibreCat: https://research-explorer.ista.ac.at/record/3217
DOI: 10.1007/11761679_20

Pietrzak, K. Z. (2006). A tight bound for EMAC (Vol. 4052, pp. 168–179). Presented at the ICALP: Automata, Languages and Programming, Springer.https://doi.org/10.1007/11787006_15 
LibreCat: https://research-explorer.ista.ac.at/record/3216
DOI: 10.1007/11787006_15

O’Neill, J., Senior, T., &; Csicsvari, J. L. (2006). Place-selective firing of C pyramidal cells during sharp wave/ripple network patterns in exploratory behavior. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2005.10.037 
LibreCat: https://research-explorer.ista.ac.at/record/3522
DOI: 10.1016/j.neuron.2005.10.037

Turelli, M., &; Barton, N. H. (2006). Will population bottlenecks and multilocus epistasis increase additive genetic variance? Evolution; International Journal of Organic Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.0014-3820.2006.tb00521.x 
LibreCat: https://research-explorer.ista.ac.at/record/3607
DOI: 10.1111/j.0014-3820.2006.tb00521.x

Lampert, C., &; Breuel, T. (2006). Objective quality measurement for geometric document image restoration. Presented at the DAS: Document Analysis Systems, Springer.
LibreCat: https://research-explorer.ista.ac.at/record/3683

Lampert, C. (2006). Machine learning for video compression: Macroblock mode decision (pp. 936–940). Presented at the ICPR: International Conference on Pattern Recognition, IEEE.https://doi.org/10.1109/ICPR.2006.778 
LibreCat: https://research-explorer.ista.ac.at/record/3685
DOI: 10.1109/ICPR.2006.778

Le, T., Guet, C. C., &; Cluzel, P. (2006). Protein expression enhancement in efflux-deleted mutant bacteria. Protein Expression and Purification. Elsevier.
LibreCat: https://research-explorer.ista.ac.at/record/3750

Kupczok, A., &; Dittrich, P. (2006). Determinants of simulated RNA evolution. Journal of Theoretical Biology. Elsevier.https://doi.org/10.1016/j.jtbi.2005.06.019 
LibreCat: https://research-explorer.ista.ac.at/record/3767
DOI: 10.1016/j.jtbi.2005.06.019

Aponte, Y., Lien, C., Reisinger, E., &; Jonas, P. M. (2006). Hyperpolarization-activated cation channels in fast-spiking interneurons of rat hippocampus. Journal of Physiology. Wiley-Blackwell.https://doi.org/10.1113/jphysiol.2005.104042 
LibreCat: https://research-explorer.ista.ac.at/record/3813
DOI: 10.1113/jphysiol.2005.104042

Frotscher, M., Jonas, P. M., &; Sloviter, R. (2006). Synapses formed by normal and abnormal hippocampal mossy fibers (Review). Cell and Tissue Research. Springer.https://doi.org/10.1007/s00441-006-0269-2 
LibreCat: https://research-explorer.ista.ac.at/record/3814
DOI: 10.1007/s00441-006-0269-2

Bischofberger, J., Engel, D., Frotscher, M., &; Jonas, P. M. (2006). Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. Pflugers Archivf: European Journal of Physiology. Springer.https://doi.org/10.1007/s00424-006-0093-2 
LibreCat: https://research-explorer.ista.ac.at/record/3815
DOI: 10.1007/s00424-006-0093-2

Vida, I., Bartos, M., &; Jonas, P. M. (2006). Shunting inhibition improves robustness of gamma oscillations in hippocampal interneuron networks by homogenizing firing rates. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2005.11.036 
LibreCat: https://research-explorer.ista.ac.at/record/3811
DOI: 10.1016/j.neuron.2005.11.036

Frotscher, M., Gundelfinger, E., Jonas, P. M., Neher, E., &; Seeburg, P. (2006). The most important recent advances in synapse research from my point of view--and what remains to be done. Cell and Tissue Research. Springer.https://doi.org/10.1007/s00441-006-0325-y 
LibreCat: https://research-explorer.ista.ac.at/record/3817
DOI: 10.1007/s00441-006-0325-y

Cremer, S., Ugelvig, L. V., Lommen, S., Petersen, K., &; Pedersen, J. (2006). Attack of the invasive garden ant: aggression behaviour of Lasius neglectus (Hymenoptera: Formicidae) against native Lasius species in Spain. Myrmecological News. Österreichische Gesellschaft für Entomofaunistik.
LibreCat: https://research-explorer.ista.ac.at/record/3912

Moder, K., Schlick Steiner, B., Steiner, F., Cremer, S., Christian, E., &; Seifert, B. (2006). Optimal species distinction by discriminant analysis: comparing established methods of character selection with a combination procedure using ant morphometrics as a case study. Journal of Zoological Systematics and Evolutionary Research. Wiley-Blackwell.https://doi.org/10.1111/j.1439-0469.2006.00372.x 
LibreCat: https://research-explorer.ista.ac.at/record/3914
DOI: 10.1111/j.1439-0469.2006.00372.x

Heinze, J., Cremer, S., Eckl, N., &; Schrempf, A. (2006). Stealthy invaders: the biology of Cardiocondyla tramp ants. Insectes Sociaux. Springer.https://doi.org/10.1007/s00040-005-0847-4 
LibreCat: https://research-explorer.ista.ac.at/record/3913
DOI: 10.1007/s00040-005-0847-4

Henic, E., Sixt, M. K., Hansson, S., Høyer Hansen, G., &; Casslén, B. (2006). EGF-stimulated migration in ovarian cancer cells is associated with decreased internalization, increased surface expression, and increased shedding of the urokinase plasminogen activator receptor. Gynecologic Oncology. Elsevier.https://doi.org/10.1016/j.ygyno.2005.09.038 
LibreCat: https://research-explorer.ista.ac.at/record/3932
DOI: 10.1016/j.ygyno.2005.09.038

Ban, Y., Rudolph, J., Zhou, P., &; Edelsbrunner, H. (2006). Evaluating the quality of NMR structures by local density of protons. Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell.https://doi.org/10.1002/prot.20811 
LibreCat: https://research-explorer.ista.ac.at/record/3978
DOI: 10.1002/prot.20811

Ban, Y., Edelsbrunner, H., &; Rudolph, J. (2006). Interface surfaces for protein-protein complexes. Journal of the ACM. ACM.https://doi.org/10.1145/1147954.1147957 
LibreCat: https://research-explorer.ista.ac.at/record/3979
DOI: 10.1145/1147954.1147957

Agarwal, P., Edelsbrunner, H., Harer, J., &; Wang, Y. (2006). Extreme elevation on a 2-manifold. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-006-1265-8 
LibreCat: https://research-explorer.ista.ac.at/record/3980
DOI: 10.1007/s00454-006-1265-8

Danowski, P., &; Heller, L. (2006). Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. Zentral- und Landesbibliothek Berlin.https://doi.org/424 
LibreCat: https://research-explorer.ista.ac.at/record/4345
DOI: 424

Conn, J., Vineis, J., Bollback, J. P., Onyabe, D., Wilkerson, R., &; Povoa, M. (2006). Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil. The American Journal of Tropical Medicine and Hygiene. American Society of Tropical Medicine and Hygiene.
LibreCat: https://research-explorer.ista.ac.at/record/4352

Bollback, J. P. (2006). SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. BioMed Central.https://doi.org/10.1186/1471-2105-7-88 
LibreCat: https://research-explorer.ista.ac.at/record/4351
DOI: 10.1186/1471-2105-7-88

Szeliski, R., Zabih, R., Scharstein, D., Veksler, O., Kolmogorov, V., Agarwala, A.,https://doi.org/10.1007/11744047_2__Rother, C. (2006). A comparative study of energy minimization methods for Markov random fields (Vol. 3952, pp. 16–29). Presented at the ECCV: European Conference on Computer Vision, Springer.https://doi.org/10.1007/11744047_2 
LibreCat: https://research-explorer.ista.ac.at/record/3180
DOI: 10.1007/11744047_2

Kolmogorov, V., &; Rother, C. (2006). Comparison of energy minimization algorithms for highly connected graphs (Vol. 3952 LNCS, pp. 1–15). Presented at the ECCV: European Conference on Computer Vision, Springer.https://doi.org/10.1007/11744047_1 
LibreCat: https://research-explorer.ista.ac.at/record/3184
DOI: 10.1007/11744047_1

Kolmogorov, V., Criminisi, A., Blake, A., Cross, G., &; Rother, C. (2006). Probabilistic fusion of stereo with color and contrast for bilayer segmentation. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE.https://doi.org/10.1109/TPAMI.2006.193 
LibreCat: https://research-explorer.ista.ac.at/record/3185
DOI: 10.1109/TPAMI.2006.193

Boykov, Y., Kolmogorov, V., Cremers, D., &; Delong, A. (2006). An integral solution to surface evolution PDEs via geo cuts (Vol. 3953, pp. 409–422). Presented at the ECCV: European Conference on Computer Vision, Springer.https://doi.org/10.1007/11744078_32 
LibreCat: https://research-explorer.ista.ac.at/record/3186
DOI: 10.1007/11744078_32

Janovjak, H. L., Sawhney, R., Stark, M., &; Mueller, D. (2006). Atomic force microscopy. In Techniques in Microscopy for Biomedical Applications (Vol. 2, pp. 213–284). World Scientific Publishing.
LibreCat: https://research-explorer.ista.ac.at/record/3404

Kessler, M., Gottschalk, K., Janovjak, H. L., Mueller, D., &; Gaub, H. (2006). Bacteriorhodopsin folds into the membrane against an external force. Journal of Molecular Biology. Elsevier.https://doi.org/10.1016/j.jmb.2005.12.065 
LibreCat: https://research-explorer.ista.ac.at/record/3413
DOI: 10.1016/j.jmb.2005.12.065

Kedrov, A., Janovjak, H. L., Ziegler, C., Kühlbrandt, W., &; Mueller, D. (2006). Observing folding pathways and kinetics of a single sodium-proton antiporter from Escherichia coli. Journal of Molecular Biology. Elsevier.https://doi.org/10.1016/j.jmb.2005.10.028 
LibreCat: https://research-explorer.ista.ac.at/record/3414
DOI: 10.1016/j.jmb.2005.10.028

Janovjak, H. L., Kedrov, A., Cisneros, D., Sapra, T., Struckmeier, J., &; Mueller, D. (2006). Imaging and detecting molecular interactions of single membrane proteins. Neurobiology of Aging. Elsevier.https://doi.org/10.1016/j.neurobiolaging.2005.03.031 
LibreCat: https://research-explorer.ista.ac.at/record/3415
DOI: 10.1016/j.neurobiolaging.2005.03.031

Betancourt, A., &; Bollback, J. P. (2006). Fitness effects of beneficial mutations: the mutational landscape model in experimental evolution. Current Opinion in Genetics &; Development. Elsevier.https://doi.org/10.1016/j.gde.2006.10.006 
LibreCat: https://research-explorer.ista.ac.at/record/3437
DOI: 10.1016/j.gde.2006.10.006

Tkadik, G., Schneidman, E., Berry, M., &; Bialek, W. (2006). Ising models for networks of real neurons. ArXiv. ArXiv.
LibreCat: https://research-explorer.ista.ac.at/record/3431

Chatterjee, K., Jagadeesan, R., &; Pitcher, C. (2006). Games for controls (pp. 70–82). Presented at the CSF: Computer Security Foundations, IEEE.https://doi.org/10.1109/CSFW.2006.14 
LibreCat: https://research-explorer.ista.ac.at/record/3449
DOI: 10.1109/CSFW.2006.14

Bischofberger, J., Engel, D., Frotscher, M., &; Jonas, P. M. (2006). Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. (Review). Pflugers Archivf: European Journal of Physiology. Springer.https://doi.org/10.1007/s00424-006-0093-2 
LibreCat: https://research-explorer.ista.ac.at/record/3463
DOI: 10.1007/s00424-006-0093-2

Chatterjee, K. (2006). Nash equilibrium for upward-closed objectives (Vol. 4207, pp. 271–286). Presented at the CSL: Computer Science Logic, Springer.https://doi.org/10.1007/11874683_18 
LibreCat: https://research-explorer.ista.ac.at/record/3499
DOI: 10.1007/11874683_18

Chatterjee, K., Henzinger, T. A., &; Piterman, N. (2006). Algorithms for Büchi Games. Presented at the GDV: Games in Design and Verification, ACM.
LibreCat: https://research-explorer.ista.ac.at/record/3500

Edelsbrunner, H., Fu, P., Nekhayev, D., Facello, M., &; Williams, S. (2006). Method, apparatus and computer program products for automatically generating NURBS models of triangulated surfaces using homeomorphism.
LibreCat: https://research-explorer.ista.ac.at/record/3510

Fu, P., Nekhayev, D., &; Edelsbrunner, H. (2006). Manufacturing methods and systems for rapid production of hearing-aid shells.
LibreCat: https://research-explorer.ista.ac.at/record/3511

Fletcher, Y., Gloth, T., Edelsbrunner, H., &; Fu, P. (2006). Method, apparatus and computer products that reconstruct surfaces from data points.
LibreCat: https://research-explorer.ista.ac.at/record/3512

Magill, P., Pogosyan, A., Sharott, A., Csicsvari, J. L., Bolam, J., &; Brown, P. (2006). Changes in functional connectivity within the rat striatopallidal axis during global brain activation in vivo. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/â€‹JNEUROSCI.0620-06.2006 
LibreCat: https://research-explorer.ista.ac.at/record/3545
DOI: 10.1523/â€‹JNEUROSCI.0620-06.2006

Cohen Steiner, D., Edelsbrunner, H., &; Morozov, D. (2006). Vines and vineyards by updating persistence in linear time (pp. 119–126). Presented at the SCG: Symposium on Computational Geometry, ACM.https://doi.org/10.1145/1137856.1137877 
LibreCat: https://research-explorer.ista.ac.at/record/3559
DOI: 10.1145/1137856.1137877

Edelsbrunner, H., Morozov, D., &; Pascucci, V. (2006). Persistence-sensitive simplification of functions on 2-manifolds (pp. 127–134). Presented at the SCG: Symposium on Computational Geometry, ACM.https://doi.org/10.1145/1137856.1137878 
LibreCat: https://research-explorer.ista.ac.at/record/3560
DOI: 10.1145/1137856.1137878

Pemberton, J., Swanson, G., Barton, N. H., Livingstone, S., &; Senn, H. (2006). Hybridisation between red and sika deer in Scotland. Deer. BDS .
LibreCat: https://research-explorer.ista.ac.at/record/3594

Yanchukov, A., Hofman, S., Szymura, J., Mezhzherin, S., Morozov Leonov, S., Barton, N. H., &; Nürnberger, B. (2006). Hybridization of Bombina bombina and B. variegata (Anura, Discoglossidae) at a sharp ecotone in western Ukraine: comparisons across transects and over time. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.0014-3820.2006.tb01139.x 
LibreCat: https://research-explorer.ista.ac.at/record/3609
DOI: 10.1111/j.0014-3820.2006.tb01139.x

Kirkpatrick, M., &; Barton, N. H. (2006). Chromosome inversions, local adaptation, and speciation. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.105.047985 
LibreCat: https://research-explorer.ista.ac.at/record/3608
DOI: 10.1534/genetics.105.047985

Hill, W., Barton, N. H., &; Turelli, M. (2006). Prediction of effects of genetic drift on variance components under a general model of epistasis. Theoretical Population Biology. Academic Press.https://doi.org/10.1016/j.tpb.2005.10.001 
LibreCat: https://research-explorer.ista.ac.at/record/3610
DOI: 10.1016/j.tpb.2005.10.001

Ali, H., Lampert, C., &; Breuel, T. (2006). Satellite tracks removal in astronomical images (Vol. 4225, pp. 892–901). Presented at the CIARP: Iberoamerican Congress in Pattern Recognition, Springer.https://doi.org/10.1007/11892755_92 
LibreCat: https://research-explorer.ista.ac.at/record/3679
DOI: 10.1007/11892755_92

Ulges, A., Lampert, C., &; Keysers, D. (2006). Spatiogram-based shot distances for video retrieval (pp. 1–10). Presented at the TRECVID Workshop, NIST (National Institute of Standards and Technology, US Department of Commerce).
LibreCat: https://research-explorer.ista.ac.at/record/3677

Lampert, C., Mei, L., &; Breuel, T. (2006). Printing technique classification for document counterfeit detection (Vol. 1, pp. 639–634). Presented at the CIS: Computational Intelligence and Security, IEEE.https://doi.org/10.1109/ICCIAS.2006.294214 
LibreCat: https://research-explorer.ista.ac.at/record/3680
DOI: 10.1109/ICCIAS.2006.294214

Lampert, C., &; Wirjadi, O. (2006). An optimal non-orthogonal separation of the anisotropic Gaussian convolution filter. IEEE Transactions on Image Processing (TIP). IEEE.https://doi.org/ 10.1109/TIP.2006.877501  
LibreCat: https://research-explorer.ista.ac.at/record/3695
DOI:  10.1109/TIP.2006.877501 

Lampert, C., &; Wirjadi, O. (2006). Anisotropic Gaussian filtering using fixed point arithmetic (pp. 1565–1568). Presented at the ICIP: IEEE International Conference on Image Processing, IEEE.https://doi.org/10.1109/ICIP.2006.312606 
LibreCat: https://research-explorer.ista.ac.at/record/3693
DOI: 10.1109/ICIP.2006.312606

Keysers, D., Lampert, C., &; Breuel, T. (2006). Color image dequantization by constrained diffusion (Vol. 6058). Presented at the SPIE Electronic Imaging, SPIE.https://doi.org/10.1117/12.648713 
LibreCat: https://research-explorer.ista.ac.at/record/3692
DOI: 10.1117/12.648713

Bippes, C., Humphris, A., Stark, M., Mueller, D., &; Janovjak, H. L. (2006). Direct measurement of single-molecule visco-elasticity in atomic force microscope force-extension experiments. European Biophysics Journal. Springer.https://doi.org/10.1007/s00249-005-0023-9 
LibreCat: https://research-explorer.ista.ac.at/record/3729
DOI: 10.1007/s00249-005-0023-9

Cieplak, M., Filipek, S., Janovjak, H. L., &; Krzysko, K. (2006). Pulling single bacteriorhodopsin out of a membrane: Comparison of simulation and experiment. Biochimica et Biophysica Acta (BBA) - Biomembranes. Elsevier.https://doi.org/10.1016/j.bbamem.2006.03.028 
LibreCat: https://research-explorer.ista.ac.at/record/3728
DOI: 10.1016/j.bbamem.2006.03.028

Janovjak, H. L., &; Mueller, D. (2006). Rastersondenmikroskopie. In Bioanalytik. Spektrum Akademischer Verlag.
LibreCat: https://research-explorer.ista.ac.at/record/3722

Le, T., Emonet, T., Harlepp, S., Guet, C. C., &; Cluzel, P. (2006). Dynamical determinants of drug-inducible gene expression in a single bacterium. Biophysical Journal. Biophysical Society.https://doi.org/10.1529/biophysj.105.073353 
LibreCat: https://research-explorer.ista.ac.at/record/3755
DOI: 10.1529/biophysj.105.073353

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

Bischofberger, J., Engel, D., Li, L., Geiger, J., &; Jonas, P. M. (2006). Patch-clamp recording from mossy fiber terminals in hippocampal slices. Nature Protocols. Nature Publishing Group.https://doi.org/10.1038/nprot.2006.312  
LibreCat: https://research-explorer.ista.ac.at/record/3818
DOI: 10.1038/nprot.2006.312 

Chatterjee, K., De Alfaro, L., &; Henzinger, T. A. (2006). The complexity of quantitative concurrent parity games (pp. 678–687). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.https://doi.org/10.1145/1109557.1109631 
LibreCat: https://research-explorer.ista.ac.at/record/3890
DOI: 10.1145/1109557.1109631

Chatterjee, K., Doyen, L., Henzinger, T. A., &; Raskin, J. (2006). Algorithms for omega-regular games with imperfect information (Vol. 4207, pp. 287–302). Presented at the CSL: Computer Science Logic, Springer.https://doi.org/10.1007/11874683_19 
LibreCat: https://research-explorer.ista.ac.at/record/3889
DOI: 10.1007/11874683_19

Chatterjee, K. (2006). Concurrent games with tail objectives (Vol. 4207, pp. 256–270). Presented at the CSL: Computer Science Logic, Springer.https://doi.org/10.1007/11874683_17 
LibreCat: https://research-explorer.ista.ac.at/record/3891
DOI: 10.1007/11874683_17

Chatterjee, K., &; Henzinger, T. A. (2006). Strategy improvement for stochastic Rabin and Streett games (Vol. 4137, pp. 375–389). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/11817949_25 
LibreCat: https://research-explorer.ista.ac.at/record/3888
DOI: 10.1007/11817949_25

Ustinova, J., Achmann, R., Cremer, S., &; Mayer, F. (2006). Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus. Journal of Molecular Evolution. Springer.https://doi.org/10.1007/s00239-005-0022-6 
LibreCat: https://research-explorer.ista.ac.at/record/3908
DOI: 10.1007/s00239-005-0022-6

Drumea Mirancea, M., Wessels, J., Müller, C., Essl, M., Eble, J., Tolosa, E.,https://doi.org/10.1242/â€‹jcs.02840__Klein, G. (2006). Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/â€‹jcs.02840 
LibreCat: https://research-explorer.ista.ac.at/record/3934
DOI: 10.1242/â€‹jcs.02840

Chu, H., Thievessen, I., Sixt, M. K., Lämmermann, T., Waisman, A., Braun, A.,https://doi.org/10.1128/MCB.26.5.1817-1825.2006__Fässler, R. (2006). ;3-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response. Molecular and Cellular Biology. American Society for Microbiology.https://doi.org/10.1128/MCB.26.5.1817-1825.2006 
LibreCat: https://research-explorer.ista.ac.at/record/3935
DOI: 10.1128/MCB.26.5.1817-1825.2006

Sixt, M. K., Bauer, M., Lämmermann, T., &; Fässler, R. (2006). ;21 integrins: zip codes and signaling relay for blood cells. Current Opinion in Cell Biology. Elsevier.https://doi.org/10.1016/j.ceb.2006.08.007 
LibreCat: https://research-explorer.ista.ac.at/record/3936
DOI: 10.1016/j.ceb.2006.08.007

Witzel, S., Zimyanin, V., Carreira Barbosa, F., Tada, M., &; Heisenberg, C.-P. J. (2006). Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.200606017 
LibreCat: https://research-explorer.ista.ac.at/record/4140
DOI: 10.1083/jcb.200606017

Tonelli, D., Calegari, F., Fei, J., Nomura, T., Osumi, N., Heisenberg, C.-P. J., &; Huttner, W. (2006). Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques. Informa Healthcare.https://doi.org/10.2144/000112296 
LibreCat: https://research-explorer.ista.ac.at/record/4145
DOI: 10.2144/000112296

Link, V., Carvalho, L., Castanon, I., Stockinger, P., Shevchenko, A., &; Heisenberg, C.-P. J. (2006). Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.02928 
LibreCat: https://research-explorer.ista.ac.at/record/4176
DOI: 10.1242/jcs.02928

Link, V., Shevchenko, A., &; Heisenberg, C.-P. J. (2006). Proteomics of early zebrafish embryos. BMC Developmental Biology. BioMed Central.https://doi.org/10.1186/1471-213X-6-1 
LibreCat: https://research-explorer.ista.ac.at/record/4173
DOI: 10.1186/1471-213X-6-1

Langenberg, T., Dracz, T., Oates, A., Heisenberg, C.-P. J., &; Brand, M. (2006). Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. Wiley-Blackwell.https://doi.org/10.1002/dvdy.20692 
LibreCat: https://research-explorer.ista.ac.at/record/4178
DOI: 10.1002/dvdy.20692

Köppen, M., Fernández, B., Carvalho, L., Jacinto, A., &; Heisenberg, C.-P. J. (2006). Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. Company of Biologists.https://doi.org/doi: 10.1242/dev.02439 
LibreCat: https://research-explorer.ista.ac.at/record/4184
DOI: doi: 10.1242/dev.02439

Blaser, H., Reichman Fried, M., Castanon, I., Dumstrei, K., Marlow, F., Kawakami, K.,https://doi.org/10.1016/j.devcel.2006.09.023__Raz, E. (2006). Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2006.09.023 
LibreCat: https://research-explorer.ista.ac.at/record/4218
DOI: 10.1016/j.devcel.2006.09.023

de Vladar, H. (2006). Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. Elsevier.https://doi.org/3802 
LibreCat: https://research-explorer.ista.ac.at/record/4237
DOI: 3802

de Vladar, H., &; González, J. (2006). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. Elsevier.
LibreCat: https://research-explorer.ista.ac.at/record/4235

Roze, D., &; Barton, N. H. (2006). The Hill-Robertson effect and the evolution of recombination. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.106.058586  
LibreCat: https://research-explorer.ista.ac.at/record/4248
DOI: 10.1534/genetics.106.058586 

Barton, N. H. (2006). Evolutionary Biology: How did the human species form? Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2006.07.032 
LibreCat: https://research-explorer.ista.ac.at/record/4250
DOI: 10.1016/j.cub.2006.07.032

Wies, T., Kuncak, V., Lam, P., Podelski, A., &; Rinard, M. (2006). Field Constraint Analysis (pp. 157–173). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer.https://doi.org/1551 
LibreCat: https://research-explorer.ista.ac.at/record/4359
DOI: 1551

Maler, O., Nickovic, D., &; Pnueli, A. (2006). Real Time Temporal Logic: Past, Present, Future (pp. 2–16). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/1571 
LibreCat: https://research-explorer.ista.ac.at/record/4373
DOI: 1571

Maler, O., Nickovic, D., &; Pnueli, A. (2006). From MITL to Timed Automata (pp. 274–289). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/1570 
LibreCat: https://research-explorer.ista.ac.at/record/4374
DOI: 1570

De Wulf, M., Doyen, L., Henzinger, T. A., &; Raskin, J. (2006). Antichains: A new algorithm for checking universality of finite automata (Vol. 4144, pp. 17–30). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/10.1007/11817963_5 
LibreCat: https://research-explorer.ista.ac.at/record/4406
DOI: 10.1007/11817963_5

Alur, R., Cerny, P., &; Zdancewic, S. (2006). Preserving Secrecy Under Refinement (pp. 107–118). Presented at the ICALP: Automata, Languages and Programming, Springer.https://doi.org/1543 
LibreCat: https://research-explorer.ista.ac.at/record/4401
DOI: 1543

Henzinger, T. A., &; Piterman, N. (2006). Solving games without determinization (Vol. 4207, pp. 395–410). Presented at the CSL: Computer Science Logic, Springer.https://doi.org/10.1007/11874683_26 
LibreCat: https://research-explorer.ista.ac.at/record/4437
DOI: 10.1007/11874683_26

Henzinger, T. A., &; Matic, S. (2006). An interface algebra for real-time components (pp. 253–266). Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, IEEE.https://doi.org/10.1109/RTAS.2006.11 
LibreCat: https://research-explorer.ista.ac.at/record/4436
DOI: 10.1109/RTAS.2006.11

Henzinger, T. A., &; Prabhu, V. (2006). Timed alternating-time temporal logic (Vol. 4202, pp. 1–17). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/10.1007/11867340_1 
LibreCat: https://research-explorer.ista.ac.at/record/4432
DOI: 10.1007/11867340_1

Henzinger, T. A., &; Sifakis, J. (2006). The embedded systems design challenge (Vol. 4085, pp. 1–15). Presented at the FM: Formal Methods, Springer.https://doi.org/10.1007/11813040_1 
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

Henzinger, T. A., Kupferman, O., &; Majumdar, R. (2006). On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2005.11.015 
LibreCat: https://research-explorer.ista.ac.at/record/4451
DOI: 10.1016/j.tcs.2005.11.015

Gulavani, B., Henzinger, T. A., Kannan, Y., Nori, A., &; Rajamani, S. (2006). Synergy: A new algorithm for property checking (pp. 117–127). Presented at the FSE: Foundations of Software Engineering, ACM.https://doi.org/10.1145/1181775.1181790 
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., &; Sangiovanni Vincentelli, A. (2006). A hierarchical coordination language for interacting real-time tasks (pp. 132–141). Presented at the EMSOFT: Embedded Software , ACM.https://doi.org/10.1145/1176887.1176907 
LibreCat: https://research-explorer.ista.ac.at/record/4526
DOI: 10.1145/1176887.1176907

Fisher, J., &; Henzinger, T. A. (2006). Executable biology (pp. 1675–1682). Presented at the WSC: Winter Simulation Conference, IEEE.https://doi.org/10.1109/WSC.2006.322942 
LibreCat: https://research-explorer.ista.ac.at/record/4528
DOI: 10.1109/WSC.2006.322942

Chatterjee, K., &; Henzinger, T. A. (2006). Finitary winning in omega-regular games (Vol. 3920, pp. 257–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer.https://doi.org/10.1007/11691372_17 
LibreCat: https://research-explorer.ista.ac.at/record/4539
DOI: 10.1007/11691372_17

Chatterjee, K., &; Henzinger, T. A. (2006). Strategy improvement and randomized subexponential algorithms for stochastic parity games (Vol. 3884, pp. 512–523). Presented at the STACS: Theoretical Aspects of Computer Science, Springer.https://doi.org/10.1007/11672142_42 
LibreCat: https://research-explorer.ista.ac.at/record/4538
DOI: 10.1007/11672142_42

Chatterjee, K., Majumdar, R., &; Henzinger, T. A. (2006). Markov decision processes with multiple objectives (Vol. 3884, pp. 325–336). Presented at the STACS: Theoretical Aspects of Computer Science, Springer.https://doi.org/10.1007/11672142_26 
LibreCat: https://research-explorer.ista.ac.at/record/4551
DOI: 10.1007/11672142_26

Chatterjee, K., Henzinger, T. A., &; Jurdziski, M. (2006). Games with secure equilibria. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2006.07.032 
LibreCat: https://research-explorer.ista.ac.at/record/4550
DOI: 10.1016/j.tcs.2006.07.032

Chatterjee, K., De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., &; Stoelinga, M. (2006). Compositional quantitative reasoning (pp. 179–188). Presented at the QEST: Quantitative Evaluation of Systems, IEEE.https://doi.org/10.1109/QEST.2006.11 
LibreCat: https://research-explorer.ista.ac.at/record/4549
DOI: 10.1109/QEST.2006.11

Chatterjee, K., De Alfaro, L., &; Henzinger, T. A. (2006). Strategy improvement for concurrent reachability games (pp. 291–300). Presented at the QEST: Quantitative Evaluation of Systems, IEEE.https://doi.org/10.1109/QEST.2006.48 
LibreCat: https://research-explorer.ista.ac.at/record/4552
DOI: 10.1109/QEST.2006.48

Beyer, D., Henzinger, T. A., &; Théoduloz, G. (2006). Lazy shape analysis (Vol. 4144, pp. 532–546). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/10.1007/11817963_48 
LibreCat: https://research-explorer.ista.ac.at/record/4574
DOI: 10.1007/11817963_48

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