Kleine Vehn J, Dhonukshe P, Swarup R, Bennett M, Friml J. 2006. Subcellular trafficking of the Arabidopsis auxin influx carrier AU uses a novel pathway distinct from PIN1. Plant Cell. 18(11), 3171–3181.
LibreCat: https://research-explorer.ista.ac.at/record/3018
DOI: 10.1105/tpc.106.042770

Hejátko J, Blilou I, Brewer P, Friml J, Scheres B, Benková E. 2006. In situ hybridization technique for mRNA detection in whole mount Arabidopsis samples. Nature Protocols. 1(4), 1939–1946.
LibreCat: https://research-explorer.ista.ac.at/record/3020
DOI: 10.1038/nprot.2006.333

Sauer M, Paciorek T, Benková E, Friml J. 2006. Immunocytochemical techniques for whole mount in situ protein localization in plants. Nature Protocols. 1(1), 98–103.
LibreCat: https://research-explorer.ista.ac.at/record/3015
DOI: 10.1038/nprot.2006.15

Paciorek T, Sauer M, Balla J, Wibniewska J, Friml J. 2006. Immunocytochemical technique for protein localization in sections of plant tissues. Nature Protocols. 1(1), 104–107.
LibreCat: https://research-explorer.ista.ac.at/record/3013
DOI: 10.1038/nprot.2006.16

Brewer P, Heisler M, Hejátko J, Friml J, Benková E. 2006. In situ hybridization for mRNA detection in Arabidopsis tissue sections. Nature Protocols. 1(3), 1462–1467.
LibreCat: https://research-explorer.ista.ac.at/record/3014
DOI: 10.1038/nprot.2006.226

Kunwar P, Siekhaus DE, Lehmann R. 2006. In vivo migration A germ cell perspective. Annual Review of Cell and Developmental Biology. 22, 237–265.
LibreCat: https://research-explorer.ista.ac.at/record/3152
DOI: 10.1146/annurev.cellbio.22.010305.103337

Criminisi A, Cross G, Blake A, Kolmogorov V. 2006. Bilayer segmentation of live video. CVPR: Computer Vision and Pattern Recognition vol. 1, 53–60.
LibreCat: https://research-explorer.ista.ac.at/record/3189
DOI: 10.1109/CVPR.2006.69

Kolmogorov V. 2006. Convergent tree reweighted message passing for energy minimization. IEEE Transactions on Pattern Analysis and Machine Intelligence. 28(10), 1568–1583.
LibreCat: https://research-explorer.ista.ac.at/record/3190
DOI: 10.1109/TPAMI.2006.200

Rother C, Kolmogorov V, Minka T, Blake A. 2006. Cosegmentation of image pairs by histogram matching - Incorporating a global constraint into MRFs. CVPR: Computer Vision and Pattern Recognition, 993–1000.
LibreCat: https://research-explorer.ista.ac.at/record/3188
DOI: 10.1109/CVPR.2006.91

Maurer U, Oswald Y, Pietrzak KZ, Sjödin J. 2006. Luby Rackoff ciphers from weak round functions . EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4004, 391–408.
LibreCat: https://research-explorer.ista.ac.at/record/3214
DOI: 10.1007/11761679_24

Dodis Y, Pietrzak KZ, Przydatek B. 2006. Separating sources for encryption and secret sharing. TCC: Theory of Cryptography Conference, LNCS, vol. 3876, 601–616.
LibreCat: https://research-explorer.ista.ac.at/record/3215
DOI: 10.1007/11681878_31

Pietrzak KZ. 2006. Composition implies adaptive security in minicrypt. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4004, 328–338.
LibreCat: https://research-explorer.ista.ac.at/record/3217
DOI: 10.1007/11761679_20

Pietrzak KZ. 2006. A tight bound for EMAC. ICALP: Automata, Languages and Programming, LNCS, vol. 4052, 168–179.
LibreCat: https://research-explorer.ista.ac.at/record/3216
DOI: 10.1007/11787006_15

O’Neill J, Senior T, Csicsvari JL. 2006. Place-selective firing of C pyramidal cells during sharp wave/ripple network patterns in exploratory behavior. Neuron. 49(1), 143–155.
LibreCat: https://research-explorer.ista.ac.at/record/3522
DOI: 10.1016/j.neuron.2005.10.037

Turelli M, Barton NH. 2006. Will population bottlenecks and multilocus epistasis increase additive genetic variance? Evolution; International Journal of Organic Evolution. 60(9), 1763–1776.
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. DAS: Document Analysis Systems.
LibreCat: https://research-explorer.ista.ac.at/record/3683

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

Le T, Guet CC, Cluzel P. 2006. Protein expression enhancement in efflux-deleted mutant bacteria. Protein Expression and Purification. 48(1), 28–31.
LibreCat: https://research-explorer.ista.ac.at/record/3750

Kupczok A, Dittrich P. 2006. Determinants of simulated RNA evolution. Journal of Theoretical Biology. 238(3), 726–35.
LibreCat: https://research-explorer.ista.ac.at/record/3767
DOI: 10.1016/j.jtbi.2005.06.019

Aponte Y, Lien C, Reisinger E, Jonas PM. 2006. Hyperpolarization-activated cation channels in fast-spiking interneurons of rat hippocampus. Journal of Physiology. 574(Pt 1), 229–43.
LibreCat: https://research-explorer.ista.ac.at/record/3813
DOI: 10.1113/jphysiol.2005.104042

Frotscher M, Jonas PM, Sloviter R. 2006. Synapses formed by normal and abnormal hippocampal mossy fibers (Review). Cell and Tissue Research. 326(2), 361–7.
LibreCat: https://research-explorer.ista.ac.at/record/3814
DOI: 10.1007/s00441-006-0269-2

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

Vida I, Bartos M, Jonas PM. 2006. Shunting inhibition improves robustness of gamma oscillations in hippocampal interneuron networks by homogenizing firing rates. Neuron. 49(1), 107–17.
LibreCat: https://research-explorer.ista.ac.at/record/3811
DOI: 10.1016/j.neuron.2005.11.036

Frotscher M, Gundelfinger E, Jonas PM, 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. 326(2), 203–4.
LibreCat: https://research-explorer.ista.ac.at/record/3817
DOI: 10.1007/s00441-006-0325-y

Cremer S, Ugelvig LV, 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. 9, 13–19.
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. 45(1), 82–87.
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. 53(1), 1–7.
LibreCat: https://research-explorer.ista.ac.at/record/3913
DOI: 10.1007/s00040-005-0847-4

Henic E, Sixt MK, 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. 101(1), 28–39.
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. 62(4), 852–864.
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. 53(3), 361–378.
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. 36(4), 553–572.
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. 40(11), 1250–1271.
LibreCat: https://research-explorer.ista.ac.at/record/4345
DOI: 424

Conn J, Vineis J, Bollback JP, 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. 74(5), 798–806.
LibreCat: https://research-explorer.ista.ac.at/record/4352

Bollback JP. 2006. SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. 7.
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, Tappen M, Rother C. 2006. A comparative study of energy minimization methods for Markov random fields. ECCV: European Conference on Computer Vision vol. 3952, 16–29.
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. ECCV: European Conference on Computer Vision, LNCS, vol. 3952 LNCS, 1–15.
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. 28(9), 1480–1492.
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. ECCV: European Conference on Computer Vision, LNCS, vol. 3953, 409–422.
LibreCat: https://research-explorer.ista.ac.at/record/3186
DOI: 10.1007/11744078_32

Janovjak HL, Sawhney R, Stark M, Mueller D. 2006.Atomic force microscopy. In: Techniques in Microscopy for Biomedical Applications. Manuals in Biomedical Research, vol. 2, 213–284.
LibreCat: https://research-explorer.ista.ac.at/record/3404

Kessler M, Gottschalk K, Janovjak HL, Mueller D, Gaub H. 2006. Bacteriorhodopsin folds into the membrane against an external force. Journal of Molecular Biology. 357(2), 644–654.
LibreCat: https://research-explorer.ista.ac.at/record/3413
DOI: 10.1016/j.jmb.2005.12.065

Kedrov A, Janovjak HL, 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. 355(1), 2–8.
LibreCat: https://research-explorer.ista.ac.at/record/3414
DOI: 10.1016/j.jmb.2005.10.028

Janovjak HL, Kedrov A, Cisneros D, Sapra T, Struckmeier J, Mueller D. 2006. Imaging and detecting molecular interactions of single membrane proteins. Neurobiology of Aging. 27, 546–561.
LibreCat: https://research-explorer.ista.ac.at/record/3415
DOI: 10.1016/j.neurobiolaging.2005.03.031

Betancourt A, Bollback JP. 2006. Fitness effects of beneficial mutations: the mutational landscape model in experimental evolution. Current Opinion in Genetics &; Development. 16(6), 618–623.
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, 1–4, .
LibreCat: https://research-explorer.ista.ac.at/record/3431

Chatterjee K, Jagadeesan R, Pitcher C. 2006. Games for controls. CSF: Computer Security Foundations, 70–82.
LibreCat: https://research-explorer.ista.ac.at/record/3449
DOI: 10.1109/CSFW.2006.14

Bischofberger J, Engel D, Frotscher M, Jonas PM. 2006. Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. (Review). Pflugers Archivf: European Journal of Physiology. 453(3), 361–372.
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. CSL: Computer Science Logic, LNCS , vol. 4207, 271–286.
LibreCat: https://research-explorer.ista.ac.at/record/3499
DOI: 10.1007/11874683_18

Chatterjee K, Henzinger TA, Piterman N. 2006. Algorithms for Büchi Games. GDV: Games in Design and Verification.
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 JL, Bolam J, Brown P. 2006. Changes in functional connectivity within the rat striatopallidal axis during global brain activation in vivo. Journal of Neuroscience. 26(23), 6318–6329.
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. SCG: Symposium on Computational Geometry, 119–126.
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. SCG: Symposium on Computational Geometry, 127–134.
LibreCat: https://research-explorer.ista.ac.at/record/3560
DOI: 10.1145/1137856.1137878

Pemberton J, Swanson G, Barton NH, Livingstone S, Senn H. 2006. Hybridisation between red and sika deer in Scotland. Deer. 13(9), 22–26.
LibreCat: https://research-explorer.ista.ac.at/record/3594

Yanchukov A, Hofman S, Szymura J, Mezhzherin S, Morozov Leonov S, Barton NH, 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. 60(3), 583–600.
LibreCat: https://research-explorer.ista.ac.at/record/3609
DOI: 10.1111/j.0014-3820.2006.tb01139.x

Kirkpatrick M, Barton NH. 2006. Chromosome inversions, local adaptation, and speciation. Genetics. 173(1), 419–434.
LibreCat: https://research-explorer.ista.ac.at/record/3608
DOI: 10.1534/genetics.105.047985

Hill W, Barton NH, Turelli M. 2006. Prediction of effects of genetic drift on variance components under a general model of epistasis. Theoretical Population Biology. 70(1), 56–62.
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. CIARP: Iberoamerican Congress in Pattern Recognition, LNCS, vol. 4225, 892–901.
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. TRECVID Workshop, TRECVID Notebook Papers and Slides, , 1–10.
LibreCat: https://research-explorer.ista.ac.at/record/3677

Lampert C, Mei L, Breuel T. 2006. Printing technique classification for document counterfeit detection. CIS: Computational Intelligence and Security vol. 1, 639–634.
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). 15(11), 3501–3513.
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. ICIP: IEEE International Conference on Image Processing, 1565–1568.
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. SPIE Electronic Imaging vol. 6058.
LibreCat: https://research-explorer.ista.ac.at/record/3692
DOI: 10.1117/12.648713

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

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

Janovjak HL, Mueller D. 2006.Rastersondenmikroskopie. In: Bioanalytik. .
LibreCat: https://research-explorer.ista.ac.at/record/3722

Le T, Emonet T, Harlepp S, Guet CC, Cluzel P. 2006. Dynamical determinants of drug-inducible gene expression in a single bacterium. Biophysical Journal. 90(9), 3315–3321.
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. SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, 15–23.
LibreCat: https://research-explorer.ista.ac.at/record/3758

Bischofberger J, Engel D, Li L, Geiger J, Jonas PM. 2006. Patch-clamp recording from mossy fiber terminals in hippocampal slices. Nature Protocols. 1(4), 2075–81.
LibreCat: https://research-explorer.ista.ac.at/record/3818
DOI: 10.1038/nprot.2006.312 

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

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

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

Chatterjee K, Henzinger TA. 2006. Strategy improvement for stochastic Rabin and Streett games. CONCUR: Concurrency Theory, LNCS, vol. 4137, 375–389.
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. 62(2), 158–167.
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, Koch M, Reinhardt D, Sixt MK, Sorokin L, Stierhof Y, Schwarz H, 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. 119(Pt 7), 1396–1405.
LibreCat: https://research-explorer.ista.ac.at/record/3934
DOI: 10.1242/â€‹jcs.02840

Chu H, Thievessen I, Sixt MK, Lämmermann T, Waisman A, Braun A, Noegel A, Fässler R. 2006. ;3-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response. Molecular and Cellular Biology. 26(5), 1817–1825.
LibreCat: https://research-explorer.ista.ac.at/record/3935
DOI: 10.1128/MCB.26.5.1817-1825.2006

Sixt MK, Bauer M, Lämmermann T, Fässler R. 2006. ;21 integrins: zip codes and signaling relay for blood cells. Current Opinion in Cell Biology. 18(5), 482–490.
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-PJ. 2006. Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. 175(5), 791–802.
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-PJ, Huttner W. 2006. Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques. 41(6), 727–732.
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-PJ. 2006. Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. 119(10), 2073–2083.
LibreCat: https://research-explorer.ista.ac.at/record/4176
DOI: 10.1242/jcs.02928

Link V, Shevchenko A, Heisenberg C-PJ. 2006. Proteomics of early zebrafish embryos. BMC Developmental Biology. 6, 1–9.
LibreCat: https://research-explorer.ista.ac.at/record/4173
DOI: 10.1186/1471-213X-6-1

Langenberg T, Dracz T, Oates A, Heisenberg C-PJ, Brand M. 2006. Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. 235(4), 928–933.
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-PJ. 2006. Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. 133(14), 2671–2681.
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, Solnica Krezel L, Heisenberg C-PJ, Raz E. 2006. Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. 11(5), 613–627.
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. 238(2), 245–256.
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., 91–109.
LibreCat: https://research-explorer.ista.ac.at/record/4235

Roze D, Barton NH. 2006. The Hill-Robertson effect and the evolution of recombination. Genetics. 173(3), 1793–1811.
LibreCat: https://research-explorer.ista.ac.at/record/4248
DOI: 10.1534/genetics.106.058586 

Barton NH. 2006. Evolutionary Biology: How did the human species form? Current Biology. 16(16), 647–650.
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. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 3855, , 157–173.
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. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 2–16.
LibreCat: https://research-explorer.ista.ac.at/record/4373
DOI: 1571

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

De Wulf M, Doyen L, Henzinger TA, Raskin J. 2006. Antichains: A new algorithm for checking universality of finite automata. CAV: Computer Aided Verification, LNCS, vol. 4144, 17–30.
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. ICALP: Automata, Languages and Programming, LNCS, , 107–118.
LibreCat: https://research-explorer.ista.ac.at/record/4401
DOI: 1543

Henzinger TA, Piterman N. 2006. Solving games without determinization. CSL: Computer Science Logic, LNCS, vol. 4207, 395–410.
LibreCat: https://research-explorer.ista.ac.at/record/4437
DOI: 10.1007/11874683_26

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

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

Henzinger TA, Sifakis J. 2006. The embedded systems design challenge. FM: Formal Methods, LNCS, vol. 4085, 1–15.
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

Henzinger TA, Kupferman O, Majumdar R. 2006. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 354(2), 173–186.
LibreCat: https://research-explorer.ista.ac.at/record/4451
DOI: 10.1016/j.tcs.2005.11.015

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