Friml J, Wibniewska J. Auxin as an intercellular signal. In: Fleming A, ed. Intercellular Communication in Plants. Vol 16. Wiley-Blackwell; 2005.
LibreCat: https://research-explorer.ista.ac.at/record/2464

Dubová J, Hejátko J, Friml J. Reproduction, plants. In: Meyers R, ed. Encyclopedia of Molecular Cell Biology and Molecular Medicine. Vol 12. Wiley-Blackwell; 2005:249-295. doi:10.1002/3527600906
LibreCat: https://research-explorer.ista.ac.at/record/2463
DOI: 10.1002/3527600906

Luján R, Albasanz J, Shigemoto R, Juíz J. Preferential localization of the hyperpolarization-activated cyclic nucleotide-gated cation channel subunit HCN1 in basket cell terminals of the rat cerebellum. European Journal of Neuroscience. 2005;21(8):2073-2082. doi:10.1111/j.1460-9568.2005.04043.x
LibreCat: https://research-explorer.ista.ac.at/record/2648
DOI: 10.1111/j.1460-9568.2005.04043.x

Nyíri G, Szabadits E, Cserép C, Mackie K, Shigemoto R, Freund T. GABAB and C cannabinoid receptor expression identifies two types of septal cholinergic neurons. European Journal of Neuroscience. 2005;21(11):3034-3042. doi:10.1111/j.1460-9568.2005.04146.x
LibreCat: https://research-explorer.ista.ac.at/record/2650
DOI: 10.1111/j.1460-9568.2005.04146.x

Luján R, Shigemoto R, López Bendito G. Glutamate and GABA receptor signalling in the developing brain. Neuroscience. 2005;130(3):567-580. doi:10.1016/j.neuroscience.2004.09.042
LibreCat: https://research-explorer.ista.ac.at/record/2647
DOI: 10.1016/j.neuroscience.2004.09.042

Kanbara K, Okamoto K, Nomura S, et al. Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis. Journal of Andrology. 2005;26(4):485-493. doi:10.2164/jandrol.04185
LibreCat: https://research-explorer.ista.ac.at/record/2651
DOI: 10.2164/jandrol.04185

Tanaka J, Matsuzaki M, Tarusawa E, et al. Number and density of AMPA receptors in single synapses in immature cerebellum. Journal of Neuroscience. 2005;25(4):799-807. doi:10.1523/JNEUROSCI.4256-04.2005
LibreCat: https://research-explorer.ista.ac.at/record/2649
DOI: 10.1523/JNEUROSCI.4256-04.2005

Ferraguti F, Klausberger T, Cobden P, et al.10.1523/JNEUROSCI.2547-05.2005__Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus. Journal of Neuroscience. 2005;25(45):10520-10536. doi:10.1523/JNEUROSCI.2547-05.2005
LibreCat: https://research-explorer.ista.ac.at/record/2654
DOI: 10.1523/JNEUROSCI.2547-05.2005

Kaneda K, Tachibana Y, Imanishi M, et al. Down-regulation of metabotropic glutamate receptor 1;1 in globus pallidus and substantia nigra of parkinsonian monkeys. European Journal of Neuroscience. 2005;22(12):3241-3254. doi:10.1111/j.1460-9568.2005.04488.x
LibreCat: https://research-explorer.ista.ac.at/record/2658
DOI: 10.1111/j.1460-9568.2005.04488.x

Price C, Cauli B, Kovács E, et al. Neurogliaform neurons form a novel inhibitory network in the hippocampal C area. Journal of Neuroscience. 2005;25(29):6775-6786. doi:10.1523/JNEUROSCI.1135-05.2005
LibreCat: https://research-explorer.ista.ac.at/record/2652
DOI: 10.1523/JNEUROSCI.1135-05.2005

Wu Y, Kawakami R, Shinohara Y, et al. Target-cell-specific left-right asymmetry of NMDA receptor content in Schaffer collateral synapses in ;51/NA knock-out mice. Journal of Neuroscience. 2005;25(40):9213-9226. doi:10.1523/JNEUROSCI.2134-05.2005
LibreCat: https://research-explorer.ista.ac.at/record/2655
DOI: 10.1523/JNEUROSCI.2134-05.2005

Hagiwara A, Fukazawa Y, Deguchi Tawarada M, Ohtsuka T, Shigemoto R. Differential distribution of release-related proteins in the hippocampal C area as revealed by freeze-fracture replica labeling. Journal of Comparative Neurology. 2005;489(2):195-216. doi:10.1002/cne.20633
LibreCat: https://research-explorer.ista.ac.at/record/2653
DOI: 10.1002/cne.20633

Feng Y, Li Y, Wang W, et al. Morphological evidence for GABA/glycine-cocontaining terminals in synaptic contact with neurokinin-1 receptor-expressing neurons in the sacral dorsal commissural nucleus of the rat. Neuroscience Letters. 2005;388(3):144-148. doi:10.1016/j.neulet.2005.06.068
LibreCat: https://research-explorer.ista.ac.at/record/2656
DOI: 10.1016/j.neulet.2005.06.068

Eng D, Erdös L. The linear Boltzmann equation as the low density limit of a random Schrödinger equation. Reviews in Mathematical Physics. 2005;17(6):669-743. doi:10.1142/S0129055X0500242X
LibreCat: https://research-explorer.ista.ac.at/record/2744
DOI: 10.1142/S0129055X0500242X

Erdös L, Hasler D, Solovej J. Existence of the - bound state: A detailed proof. Annales Henri Poincare. 2005;6(2):247-267. doi:10.1007/s00023-005-0205-0
LibreCat: https://research-explorer.ista.ac.at/record/2743
DOI: 10.1007/s00023-005-0205-0

Hof B, Van Doorne C, Westerweel J, Nieuwstadt F. Turbulence regeneration in pipe flow at moderate reynolds numbers. Physical Review Letters. 2005;95(21). doi:10.1103/PhysRevLett.95.214502
LibreCat: https://research-explorer.ista.ac.at/record/2788
DOI: 10.1103/PhysRevLett.95.214502

Hof B, Juel A, Mullin T. Magnetohydrodynamic damping of oscillations in low-Prandtl-number convection. Journal of Fluid Mechanics. 2005;545:193-201. doi:10.1017/S0022112005006762
LibreCat: https://research-explorer.ista.ac.at/record/2790
DOI: 10.1017/S0022112005006762

Hof B. Transition to turbulence in pipe flow. Fluid Mechanics and its Applications. 2005;77:221-231. doi:10.1007/1-4020-4049-0_12
LibreCat: https://research-explorer.ista.ac.at/record/2789
DOI: 10.1007/1-4020-4049-0_12

Weijers D, Benková E, Jäger K, et al. Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators. EMBO Journal. 2005;24(10):1874-1885. doi:10.1038/sj.emboj.7600659
LibreCat: https://research-explorer.ista.ac.at/record/2867
DOI: 10.1038/sj.emboj.7600659

Carneiro J, Paixao T, Milutinovic D, et al. Immunological self tolerance: Lessons from mathematical modeling. Journal of Computational and Applied Mathematics. 2005;184(1):77-100. doi:10.1016/j.cam.2004.10.025
LibreCat: https://research-explorer.ista.ac.at/record/2895
DOI: 10.1016/j.cam.2004.10.025

Weijers D, Sauer M, Meurette O, et al. Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis. Plant Cell. 2005;17(9):2517-2526. doi:10.1105/tpc.105.034637
LibreCat: https://research-explorer.ista.ac.at/record/3004
DOI: 10.1105/tpc.105.034637

Dhonukshe P, Kleine Vehn J, Friml J. Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first? Protoplasma. 2005;226(1-2):67-73. doi:10.1007/s00709-005-0104-8
LibreCat: https://research-explorer.ista.ac.at/record/3000
DOI: 10.1007/s00709-005-0104-8

Paciorek T, Zaeímalová E, Ruthardt N, et al. Auxin inhibits endocytosis and promotes its own efflux from cells. Nature. 2005;435(7046):1251-1256. doi:10.1038/nature03633
LibreCat: https://research-explorer.ista.ac.at/record/3001
DOI: 10.1038/nature03633

Vieten A, Vanneste S, Wibniewska J, et al. Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression. Development. 2005;132(20):4521-4531. doi:10.1242/dev.02027
LibreCat: https://research-explorer.ista.ac.at/record/3003
DOI: 10.1242/dev.02027

Dodis Y, Oliveira R, Pietrzak KZ. On the generic insecurity of the full domain hash. In: Vol 3621. Springer; 2005:449-466. doi:10.1007/11535218_27
LibreCat: https://research-explorer.ista.ac.at/record/3212
DOI: 10.1007/11535218_27

Pietrzak KZ. Composition does not imply adaptive security. In: Vol 3621. Springer; 2005:55-65. doi:10.1007/11535218_4
LibreCat: https://research-explorer.ista.ac.at/record/3213
DOI: 10.1007/11535218_4

Bellare M, Pietrzak KZ, Rogaway P. Improved security analyses for CBC MACs. In: Vol 3621. Springer; 2005:527-545. doi:10.1007/11535218_32
LibreCat: https://research-explorer.ista.ac.at/record/3211
DOI: 10.1007/11535218_32

Bollenbach MT, Kruse K, Pantazis P, González Gaitán M, Jülicher F. Robust formation of morphogen gradients. Physical Review Letters. 2005;94(1). doi:10.1103/PhysRevLett.94.018103
LibreCat: https://research-explorer.ista.ac.at/record/3426
DOI: 10.1103/PhysRevLett.94.018103
arXiv: q-bio/0412014

Klausberger T, Marton L, O’Neill J, et al. Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations. Journal of Neuroscience. 2005;25(42):9782-9793. doi:10.1523/JNEUROSCI.3269-05.2005
LibreCat: https://research-explorer.ista.ac.at/record/3443
DOI: 10.1523/JNEUROSCI.3269-05.2005

Edelsbrunner H. Surface tiling with differential topology. In: ACM; 2005:9-11. doi:http://dx.doi.org/10.2312/SGP/SGP05/009-011
LibreCat: https://research-explorer.ista.ac.at/record/3557
DOI: http://dx.doi.org/10.2312/SGP/SGP05/009-011

Köppen M, Heisenberg C-PJ. Cleavage and gastrulation in zebrafish embryos. In: Encyclopedia of Life Sciences. Wiley-Blackwell; 2005. doi:10.1038/npg.els.0001072
LibreCat: https://research-explorer.ista.ac.at/record/3589
DOI: 10.1038/npg.els.0001072

Castanon Ortega I, Heisenberg C-PJ. Cell migration during zebrafish gastrulation. In: Wedlich D, ed. Cell Migration in Development and Disease. Wiley-VCH; 2005:71-105. doi:10.1002/3527604669
LibreCat: https://research-explorer.ista.ac.at/record/3588
DOI: 10.1002/3527604669

Castanon Ortega I, Heisenberg C-PJ. A stern view of gastrulation. Nature Cell Biology. 2005;7(1):19-19. doi:10.1038/ncb0105-19
LibreCat: https://research-explorer.ista.ac.at/record/3590
DOI: 10.1038/ncb0105-19

Ulges A, Lampert C, Breuel T. Document image dewarping using robust estimation of curled text lines. In: Vol 2. IEEE; 2005:1001-1005. doi: 10.1109/ICDAR.2005.90
LibreCat: https://research-explorer.ista.ac.at/record/3689
DOI:  10.1109/ICDAR.2005.90

Lampert C, Braun T, Ulges A, Keysers D, Breuel T. Oblivious document capture and real-time retrieval. In: CBDAR; 2005:79-86.
LibreCat: https://research-explorer.ista.ac.at/record/3684

Guzmán J, Gerevich Z, Hengstler J, Illes P, Kleemann W.10.1002/syn.20177__receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex. Synapse. 2005;57(4):235-238. doi:10.1002/syn.20177
LibreCat: https://research-explorer.ista.ac.at/record/3720
DOI: 10.1002/syn.20177

Le T, Harlepp S, Guet CC, et al. Real-time RNA profiling within a single bacterium. PNAS. 2005;102(26):9160-9164. doi:10.1073/pnas.0503311102
LibreCat: https://research-explorer.ista.ac.at/record/3753
DOI: 10.1073/pnas.0503311102

Shi L, Yu Y, Wojtan C, Chenney S. Controllable motion synthesis in a gaseous medium. The Visual Computer. 2005;21(7):474-487. doi:10.1007/s00371-005-0296-0
LibreCat: https://research-explorer.ista.ac.at/record/3763
DOI: 10.1007/s00371-005-0296-0

Hefft S, Jonas PM. Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review). Nature Neuroscience. 2005;8(10):1319-1328. doi:10.1038/nn1542
LibreCat: https://research-explorer.ista.ac.at/record/3812
DOI: 10.1038/nn1542

Chatterjee K, Dasgupta P, Chakrabarti P. Complexity of compositional model checking of computation tree logic on simple structures. In: Vol 3326. Springer; 2005:89-102. doi:10.1007/978-3-540-30536-1_13
LibreCat: https://research-explorer.ista.ac.at/record/3896
DOI: 10.1007/978-3-540-30536-1_13

Chatterjee K. Two-player nonzero-sum <9-regular games. In: Vol 3653. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:413-427. doi:10.1007/11539452_32
LibreCat: https://research-explorer.ista.ac.at/record/3893
DOI: 10.1007/11539452_32

Schrempf A, Heinze J, Cremer S. Sexual cooperation: mating increases longevity in ant queens. Current Biology. 2005;15(3):267-270. doi:10.1016/j.cub.2005.01.036
LibreCat: https://research-explorer.ista.ac.at/record/3916
DOI: 10.1016/j.cub.2005.01.036

De Menten L, Cremer S, Heinze J, Aron S. Primary sex ratio adjustment by ant queens in response to local mate competition. Animal Behaviour. 2005;69(5):1031-1035. doi:10.1016/j.anbehav.2004.09.005
LibreCat: https://research-explorer.ista.ac.at/record/3915
DOI: 10.1016/j.anbehav.2004.09.005

Norton W, Mangoli M, Lele Z, et al. Monorail/Fox regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 2005;132(4):645-658. doi:10.1242/dev.01611
LibreCat: https://research-explorer.ista.ac.at/record/4167
DOI: 10.1242/dev.01611

Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure. Mechanisms of Development. 2005;122(Supplement 1):2-3. doi:10.1016/j.mod.2005.06.010
LibreCat: https://research-explorer.ista.ac.at/record/4183
DOI: 10.1016/j.mod.2005.06.010

Podelski A, Wies T. Boolean Heaps. In: Springer; 2005:267-282. doi:1550
LibreCat: https://research-explorer.ista.ac.at/record/4367
DOI: 1550

Hippenmeyer S, Vrieseling E, Sigrist M, et al. A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. 2005;3(5):0878-0890. doi:10.1371/journal.pbio.0030159
LibreCat: https://research-explorer.ista.ac.at/record/3143
DOI: 10.1371/journal.pbio.0030159

Rodal A, Sokolova O, Robins D, et al. Conformational changes in the Ar 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. 2005;12(1):26-31. doi:10.1038/nsmb870
LibreCat: https://research-explorer.ista.ac.at/record/3141
DOI: 10.1038/nsmb870

Rother C, Kumar S, Kolmogorov V, Blake A. Digital tapestry. In: Vol 1. IEEE; 2005:589-596. doi:10.1109/CVPR.2005.130
LibreCat: https://research-explorer.ista.ac.at/record/3175
DOI: 10.1109/CVPR.2005.130

Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. Bi-layer segmentation of binocular stereo video. In: IEEE; 2005:1186-1186. doi:10.1109/CVPR.2005.90
LibreCat: https://research-explorer.ista.ac.at/record/3176
DOI: 10.1109/CVPR.2005.90

Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. Bi-layer segmentation of binocular stereo video. In: Vol 2. IEEE; 2005:407-414. doi:10.1109/CVPR.2005.91
LibreCat: https://research-explorer.ista.ac.at/record/3183
DOI: 10.1109/CVPR.2005.91

Kolmogorov V, Boykov Y. What metrics can be approximated by geo cuts or global optimization of length area and flux. In: Vol 1. IEEE; 2005:564-571. doi:10.1109/ICCV.2005.252
LibreCat: https://research-explorer.ista.ac.at/record/3182
DOI: 10.1109/ICCV.2005.252

Kolmogorov V, Wainwright M. On the optimality of tree reweighted max product message passing. In: AUAI Press; 2005:316-323.
LibreCat: https://research-explorer.ista.ac.at/record/3181

Kuhn M, Janovjak HL, Hubain M, Mueller D. Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy. 2005;218(2):125-132. doi:10.1111/j.1365-2818.2005.01478.x
LibreCat: https://research-explorer.ista.ac.at/record/3417
DOI: 10.1111/j.1365-2818.2005.01478.x

Janovjak HL, Sapra T, Mueller D. Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal. 2005;88(5):37-39. doi:10.1529/biophysj.105.059774
LibreCat: https://research-explorer.ista.ac.at/record/3416
DOI: 10.1529/biophysj.105.059774

Janovjak HL, Struckmeier J, Mueller D. Hydrodynamic effects in fast AFM single molecule force measurements. European Biophysics Journal. 2005;34(1):91-96. doi:10.1007/s00249-004-0430-3
LibreCat: https://research-explorer.ista.ac.at/record/3418
DOI: 10.1007/s00249-004-0430-3

Bollback JP. Posterior mapping and posterior predictive distributions. In: Nielsen R, ed. Statistical Methods in Molecular Evolution. Springer; 2005:439-462. doi:10.1007/0-387-27733-1
LibreCat: https://research-explorer.ista.ac.at/record/3433
DOI: 10.1007/0-387-27733-1

Williams S, Edelsbrunner H, Fu P. Methods, apparatus and computer program products for modeling three-dimensional colored objects. 2005.
LibreCat: https://research-explorer.ista.ac.at/record/3509

Attali D, Cohen Steiner D, Edelsbrunner H. Extraction and simplification of iso-surfaces in tandem. In: ACM; 2005:139-148.
LibreCat: https://research-explorer.ista.ac.at/record/3558

Edelsbrunner H, Koehl P. The geometry of biomolecular solvation. In: Combinatorial and Computational Geometry. Vol 52. Cambridge University Press; 2005:243-275.
LibreCat: https://research-explorer.ista.ac.at/record/3576

Davison A, Chiba S, Barton NH, Clarke B. Speciation and gene flow between snails of opposing chirality. PLoS Biology. 2005;3(9). doi:10.1371/journal.pbio.0030282
LibreCat: https://research-explorer.ista.ac.at/record/3612
DOI: 10.1371/journal.pbio.0030282

Nürnberger B, Barton NH, Kruuk L, Vines T. Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes. Heredity. 2005;94(2):247-257. doi:10.1038/sj.hdy.6800607
LibreCat: https://research-explorer.ista.ac.at/record/3611
DOI: 10.1038/sj.hdy.6800607

Gardner M, Fowler K, Barton NH, Patridge L. Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns. Genetics. 2005;169(3):1553-1571. doi:10.1534/genetics.104.032367
LibreCat: https://research-explorer.ista.ac.at/record/3613
DOI: 10.1534/genetics.104.032367

Lampert C. Boundary regularity of admissible operators. Publicacions Matemàtiques. 2005;49(1):179-195. doi:10.5565/PUBLMAT_49105_08
LibreCat: https://research-explorer.ista.ac.at/record/3691
DOI: 10.5565/PUBLMAT_49105_08

Janovjak HL, Mueller D, Humphris A. Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. 2005;88(2):1423-1431. doi:10.1529/biophysj.104.052746
LibreCat: https://research-explorer.ista.ac.at/record/3721
DOI: 10.1529/biophysj.104.052746

Slonim N, Atwal G, Tkadik G, Bialek W. Information-based clustering. PNAS. 2005;102(51):18297-18302. doi:10.1073/pnas.0507432102
LibreCat: https://research-explorer.ista.ac.at/record/3741
DOI: 10.1073/pnas.0507432102

Slonim N, Atwal G, Tkadik G, Bialek W. Estimating mutual information and multi-information in large networks. ArXiv. 2005:1-11.
LibreCat: https://research-explorer.ista.ac.at/record/3746

Engel D, Jonas PM. Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons. Neuron. 2005;45(3):405-417. doi:10.1016/j.neuron.2004.12.048 
LibreCat: https://research-explorer.ista.ac.at/record/3808
DOI: 10.1016/j.neuron.2004.12.048 

Chatterjee K, Henzinger TA, Jurdziski M. Games with secure equilibria. In: Vol 3657. Springer; 2005:141-161. doi:10.1007/11561163_7
LibreCat: https://research-explorer.ista.ac.at/record/3892
DOI: 10.1007/11561163_7

Cremer S, Boomsma J. The drawback of mobility: invasive species in a globalised world. In: Elsevier; 2005.
LibreCat: https://research-explorer.ista.ac.at/record/3902

Sixt MK, Kanazawa N, Selg M, et al. The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node. Immunity. 2005;22(1):19-29. doi:10.1016/j.immuni.2004.11.013
LibreCat: https://research-explorer.ista.ac.at/record/3933
DOI: 10.1016/j.immuni.2004.11.013

Sohn J, Parks J, Buhrman G, et al. Experimental validation of the docking orientation of Cd with its Cdk2-CycA protein substrate. Biochemistry. 2005;44(50):16563-16573. doi:10.1021/bi0516879
LibreCat: https://research-explorer.ista.ac.at/record/3983
DOI: 10.1021/bi0516879

Wang Y, Agarwal P, Brown P, Edelsbrunner H, Rudolph J. Coarse and reliable geometric alignment for protein docking. In: World Scientific Publishing; 2005:64-75. doi:10.1142/9789812702456_0007
LibreCat: https://research-explorer.ista.ac.at/record/3982
DOI: 10.1142/9789812702456_0007

Ulrich F, Krieg M, Schötz E, et al. Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell. 2005;9(4):555-564. doi:10.1016/j.devcel.2005.08.011
LibreCat: https://research-explorer.ista.ac.at/record/4144
DOI: 10.1016/j.devcel.2005.08.011

Barton NH, Polechova J. The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology. 2005;18(5):1186-1190. doi:10.1111/j.1420-9101.2005.00943.x
LibreCat: https://research-explorer.ista.ac.at/record/4138
DOI: 10.1111/j.1420-9101.2005.00943.x

Puech P, Taubenberger A, Ulrich F, Krieg M, Mueller D, Heisenberg C-PJ. Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science. 2005;118(18):4199-4206. doi:10.1242/â€‹jcs.02547
LibreCat: https://research-explorer.ista.ac.at/record/4155
DOI: 10.1242/â€‹jcs.02547

Montero J, Carvalho L, Wilsch Bräuninger M, Kilian B, Mustafa C, Heisenberg C-PJ. Shield formation at the onset of zebrafish gastrulation. Development. 2005;132(6):1187-1198. doi:10.1242/dev.01667
LibreCat: https://research-explorer.ista.ac.at/record/4171
DOI: 10.1242/dev.01667

Polechova J, Barton NH. Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. 2005;59(6):1194-1210. doi:10.1111/j.0014-3820.2005.tb01771.x
LibreCat: https://research-explorer.ista.ac.at/record/4249
DOI: 10.1111/j.0014-3820.2005.tb01771.x

Barton NH, Otto S. Evolution of recombination due to random drift. Genetics. 2005;169(4):2353-2370. doi:10.1534/genetics.104.032821
LibreCat: https://research-explorer.ista.ac.at/record/4251
DOI: 10.1534/genetics.104.032821

Johnson T, Barton NH. Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2005;360(1459):1411-1425. doi:10.1098/rstb.2005.1667
LibreCat: https://research-explorer.ista.ac.at/record/4252
DOI: 10.1098/rstb.2005.1667

Alur R, Cerny P, Madhusudan P, Nam W. Synthesis of interface specifications for Java classes. In: ACM; 2005:98-109. doi:1542
LibreCat: https://research-explorer.ista.ac.at/record/4404
DOI: 1542

Matic S, Henzinger TA. Trading end-to-end latency for composability. In: IEEE; 2005:99-110. doi:10.1109/RTSS.2005.43
LibreCat: https://research-explorer.ista.ac.at/record/4412
DOI: 10.1109/RTSS.2005.43

Kirsch C, Sanvido M, Henzinger TA. A programmable microkernel for real-time systems. In: ACM; 2005:35-45. doi:10.1145/1064979.1064986
LibreCat: https://research-explorer.ista.ac.at/record/4418
DOI: 10.1145/1064979.1064986

Henzinger TA, Majumdar R, Raskin J. A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). 2005;6(1):1-32. doi:10.1145/1042038.1042039
LibreCat: https://research-explorer.ista.ac.at/record/4454
DOI: 10.1145/1042038.1042039

Henzinger TA, Majumdar R, Prabhu V. Quantifying similarities between timed systems. In: Vol 3829. Springer; 2005:226-241. doi:10.1007/11603009_18
LibreCat: https://research-explorer.ista.ac.at/record/4455
DOI: 10.1007/11603009_18

Henzinger TA, Jhala R, Majumdar R. Permissive interfaces. In: ACM; 2005:31-40. doi:10.1145/1081706.1081713
LibreCat: https://research-explorer.ista.ac.at/record/4456
DOI: 10.1145/1081706.1081713

Henzinger TA, Kirsch C, Matic S. Composable code generation for distributed Giotto. In: ACM; 2005:21-30. doi:10.1145/1065910.1065914
LibreCat: https://research-explorer.ista.ac.at/record/4457
DOI: 10.1145/1065910.1065914

Doyen L, Henzinger TA, Raskin J. Automatic rectangular refinement of affine hybrid systems. In: Vol 3829. Springer; 2005:144-161. doi:DOI: 10.1007/11603009_13
LibreCat: https://research-explorer.ista.ac.at/record/4536
DOI: DOI: 10.1007/11603009_13

Chatterjee K, Henzinger TA. Semiperfect-information games. In: Vol 3821. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:1-18. doi:10.1007/11590156_1
LibreCat: https://research-explorer.ista.ac.at/record/4541
DOI: 10.1007/11590156_1

Chatterjee K, De Alfaro L, Henzinger TA. The complexity of stochastic Rabin and Streett games. In: Vol 3580. Springer; 2005:878-890. doi:10.1007/11523468_71
LibreCat: https://research-explorer.ista.ac.at/record/4553
DOI: 10.1007/11523468_71

Chatterjee K, Henzinger TA, Jurdziski M. Mean-payoff parity games. In: IEEE; 2005:178-187. doi:10.1109/LICS.2005.26
LibreCat: https://research-explorer.ista.ac.at/record/4554
DOI: 10.1109/LICS.2005.26

Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. Verifying quantitative properties using bound functions. In: Vol 3725. Springer; 2005:50-64. doi:10.1007/11560548_7
LibreCat: https://research-explorer.ista.ac.at/record/4560
DOI: 10.1007/11560548_7

Chatterjee K, Henzinger TA, Jhala R, Majumdar R. Counterexample-guided planning. In: AUAI Press; 2005:104-111.
LibreCat: https://research-explorer.ista.ac.at/record/4557

Beyer D, Henzinger TA, Jhala R, Majumdar R. Checking memory safety with BLAST. In: Vol 3442. Springer; 2005:2-18. doi:10.1007/978-3-540-31984-9_2
LibreCat: https://research-explorer.ista.ac.at/record/4579
DOI: 10.1007/978-3-540-31984-9_2

Beyer D, Chakrabarti A, Henzinger TA. Web service interfaces. In: ACM; 2005:148-159. doi:10.1145/1060745.1060770
LibreCat: https://research-explorer.ista.ac.at/record/4576
DOI: 10.1145/1060745.1060770

De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. Theoretical Computer Science. 2005;345(1):139-170. doi:10.1016/j.tcs.2005.07.033
LibreCat: https://research-explorer.ista.ac.at/record/4625
DOI: 10.1016/j.tcs.2005.07.033

De Alfaro L, Henzinger TA. Interface-based design. In: Vol 195. Springer; 2005:83-104. doi:10.1007/1-4020-3532-2_3
LibreCat: https://research-explorer.ista.ac.at/record/4624
DOI: 10.1007/1-4020-3532-2_3

Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation. In: Vol 1. IEEE; 2005:365-367. doi: 10.1109/QELS.2005.1548783
LibreCat: https://research-explorer.ista.ac.at/record/575
DOI:  10.1109/QELS.2005.1548783

de Bono M, Villu Maricq A. Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. 2005;28:451-501. doi:10.1146/annurev.neuro.27.070203.144259
LibreCat: https://research-explorer.ista.ac.at/record/6153
DOI: 10.1146/annurev.neuro.27.070203.144259
PMID: 16022603

Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 2005;15(10):905-917. doi:10.1016/j.cub.2005.04.017
LibreCat: https://research-explorer.ista.ac.at/record/6154
DOI: 10.1016/j.cub.2005.04.017
PMID: 15916947