Lieb, É., Seiringer, R., &; Solovej, J. (2005). Ground state energy of the low density Fermi gas. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society.https://doi.org/10.1103/PhysRevA.71.053605 
LibreCat: https://research-explorer.ista.ac.at/record/2362
DOI: 10.1103/PhysRevA.71.053605

Lieb, É., &; Seiringer, R. (2005). Stronger subadditivity of entropy. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society.https://doi.org/10.1103/PhysRevA.71.062329 
LibreCat: https://research-explorer.ista.ac.at/record/2361
DOI: 10.1103/PhysRevA.71.062329

Fiat, A., Levy, M., Matousek, J., Pach, E., Sharir, M., Smorodinsky, S.,https://doi.org/10.1137/S0097539704446682__Welzl, E. (2005). Online conflict-free coloring for intervals (pp. 545–554). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.https://doi.org/10.1137/S0097539704446682 
LibreCat: https://research-explorer.ista.ac.at/record/2428
DOI: 10.1137/S0097539704446682

Ambühl, C., &; Wagner, U. (2005). The Clique problem in intersection graphs of ellipses and triangles. Theory of Computing Systems. Springer.https://doi.org/10.1007/s00224-005-1141-6 
LibreCat: https://research-explorer.ista.ac.at/record/2427
DOI: 10.1007/s00224-005-1141-6

Billou, I., Xu, J., Wildwater, M., Willemsen, V., Paponov, I., Friml, J.,https://doi.org/10.1038/nature03184__Scheres, B. (2005). The PIN auxin efflux facilitator network controls growth and patterning in Arabidopsis roots. Nature. Nature Publishing Group.https://doi.org/10.1038/nature03184 
LibreCat: https://research-explorer.ista.ac.at/record/2455
DOI: 10.1038/nature03184

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

Dubová, J., Hejátko, J., &; Friml, J. (2005). Reproduction, plants. In R. Meyers (Ed.), Encyclopedia of Molecular Cell Biology and Molecular Medicine (Vol. 12, pp. 249–295). Wiley-Blackwell.https://doi.org/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. (2005). 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. Wiley-Blackwell.https://doi.org/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. (2005). GABAB and C cannabinoid receptor expression identifies two types of septal cholinergic neurons. European Journal of Neuroscience. Wiley-Blackwell.https://doi.org/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. (2005). Glutamate and GABA receptor signalling in the developing brain. Neuroscience. Elsevier.https://doi.org/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., Kaneko, T., Shigemoto, R., Azuma, H.,https://doi.org/10.2164/jandrol.04185__Watanabe, M. (2005). Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis. Journal of Andrology. American Society of Andrology.https://doi.org/10.2164/jandrol.04185 
LibreCat: https://research-explorer.ista.ac.at/record/2651
DOI: 10.2164/jandrol.04185

Tanaka, J., Matsuzaki, M., Tarusawa, E., Momiyama, A., Molnár, E., Kasai, H., &; Shigemoto, R. (2005). Number and density of AMPA receptors in single synapses in immature cerebellum. Journal of Neuroscience. Society for Neuroscience.https://doi.org/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., Baude, A., Roberts, J., Szcs, P.,https://doi.org/10.1523/JNEUROSCI.2547-05.2005__Dalezios, Y. (2005).https://doi.org/10.1523/JNEUROSCI.2547-05.2005__Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus. Journal of Neuroscience. Society for Neuroscience.https://doi.org/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., Kita, H., Shigemoto, R., Nambu, A., &; Takada, M. (2005). Down-regulation of metabotropic glutamate receptor 1;1 in globus pallidus and substantia nigra of parkinsonian monkeys. European Journal of Neuroscience. Wiley-Blackwell.https://doi.org/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., Kulik, Á., Lambolez, B., Shigemoto, R., &; Capogna, M. (2005). Neurogliaform neurons form a novel inhibitory network in the hippocampal C area. Journal of Neuroscience. Society for Neuroscience.https://doi.org/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., Fukaya, M., Sakimura, K., Mishina, M.,https://doi.org/10.1523/JNEUROSCI.2134-05.2005__Shigemoto, R. (2005). Target-cell-specific left-right asymmetry of NMDA receptor content in Schaffer collateral synapses in ;51/NA knock-out mice. Journal of Neuroscience. Society for Neuroscience.https://doi.org/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. (2005). Differential distribution of release-related proteins in the hippocampal C area as revealed by freeze-fracture replica labeling. Journal of Comparative Neurology. Wiley-Blackwell.https://doi.org/10.1002/cne.20633 
LibreCat: https://research-explorer.ista.ac.at/record/2653
DOI: 10.1002/cne.20633

Feng, Y., Li, Y., Wang, W., Wu, S., Chen, T., Shigemoto, R., &; Mizuno, N. (2005). 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. Elsevier.https://doi.org/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. (2005). The linear Boltzmann equation as the low density limit of a random Schrödinger equation. Reviews in Mathematical Physics. World Scientific Publishing.https://doi.org/10.1142/S0129055X0500242X 
LibreCat: https://research-explorer.ista.ac.at/record/2744
DOI: 10.1142/S0129055X0500242X

Erdös, L., Hasler, D., &; Solovej, J. (2005). Existence of the - bound state: A detailed proof. Annales Henri Poincare. Birkhäuser.https://doi.org/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. (2005). Turbulence regeneration in pipe flow at moderate reynolds numbers. Physical Review Letters. American Physical Society.https://doi.org/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. (2005). Magnetohydrodynamic damping of oscillations in low-Prandtl-number convection. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/S0022112005006762 
LibreCat: https://research-explorer.ista.ac.at/record/2790
DOI: 10.1017/S0022112005006762

Hof, B. (2005). Transition to turbulence in pipe flow. Fluid Mechanics and Its Applications. Springer.https://doi.org/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., Schlereth, A., Hamann, T., Kientz, M.,https://doi.org/10.1038/sj.emboj.7600659__Jürgens, G. (2005). Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators. EMBO Journal. Wiley-Blackwell.https://doi.org/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., Sousa, J., Leon, K., Gardner, R., &; Faro, J. (2005). Immunological self tolerance: Lessons from mathematical modeling. Journal of Computational and Applied Mathematics. Elsevier.https://doi.org/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., Friml, J., Ljung, K., Sandberg, G.,https://doi.org/10.1105/tpc.105.034637__Offringa, R. (2005). Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis. Plant Cell. American Society of Plant Biologists.https://doi.org/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. (2005). Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first? Protoplasma. Springer.https://doi.org/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., Petrásek, J., Stierhof, Y., Kleine Vehn, J.,https://doi.org/10.1038/nature03633__Friml, J. (2005). Auxin inhibits endocytosis and promotes its own efflux from cells. Nature. Nature Publishing Group.https://doi.org/10.1038/nature03633 
LibreCat: https://research-explorer.ista.ac.at/record/3001
DOI: 10.1038/nature03633

Vieten, A., Vanneste, S., Wibniewska, J., Benková, E., Benjamins, R., Beeckman, T.,https://doi.org/10.1242/dev.02027__Friml, J. (2005). Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression. Development. Company of Biologists.https://doi.org/10.1242/dev.02027 
LibreCat: https://research-explorer.ista.ac.at/record/3003
DOI: 10.1242/dev.02027

Dodis, Y., Oliveira, R., &; Pietrzak, K. Z. (2005). On the generic insecurity of the full domain hash (Vol. 3621, pp. 449–466). Presented at the CRYPTO: International Cryptology Conference, Springer.https://doi.org/10.1007/11535218_27 
LibreCat: https://research-explorer.ista.ac.at/record/3212
DOI: 10.1007/11535218_27

Pietrzak, K. Z. (2005). Composition does not imply adaptive security (Vol. 3621, pp. 55–65). Presented at the CRYPTO: International Cryptology Conference, Springer.https://doi.org/10.1007/11535218_4 
LibreCat: https://research-explorer.ista.ac.at/record/3213
DOI: 10.1007/11535218_4

Bellare, M., Pietrzak, K. Z., &; Rogaway, P. (2005). Improved security analyses for CBC MACs (Vol. 3621, pp. 527–545). Presented at the CRYPTO: International Cryptology Conference, Springer.https://doi.org/10.1007/11535218_32 
LibreCat: https://research-explorer.ista.ac.at/record/3211
DOI: 10.1007/11535218_32

Bollenbach, M. T., Kruse, K., Pantazis, P., González Gaitán, M., &; Jülicher, F. (2005). Robust formation of morphogen gradients. Physical Review Letters. American Physical Society.https://doi.org/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., Huck, J., Dalezios, Y., Fuentealba, P.,https://doi.org/10.1523/JNEUROSCI.3269-05.2005__Somogyi, P. (2005). Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.3269-05.2005 
LibreCat: https://research-explorer.ista.ac.at/record/3443
DOI: 10.1523/JNEUROSCI.3269-05.2005

Edelsbrunner, H. (2005). Surface tiling with differential topology (pp. 9–11). Presented at the SGP: Eurographics Symposium on Geometry processing, ACM.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.-P. J. (2005). Cleavage and gastrulation in zebrafish embryos. In Encyclopedia of Life Sciences. Wiley-Blackwell.https://doi.org/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.-P. J. (2005). Cell migration during zebrafish gastrulation. In D. Wedlich (Ed.), Cell Migration in Development and Disease (pp. 71–105). Wiley-VCH.https://doi.org/10.1002/3527604669 
LibreCat: https://research-explorer.ista.ac.at/record/3588
DOI: 10.1002/3527604669

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

Ulges, A., Lampert, C., &; Breuel, T. (2005). Document image dewarping using robust estimation of curled text lines (Vol. 2, pp. 1001–1005). Presented at the ICDAR: International Conference on Document Analysis and Recognition, IEEE.https://doi.org/ 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. (2005). Oblivious document capture and real-time retrieval (pp. 79–86). Presented at the CBDAR: Camera Based Document Analysis and Recognition , CBDAR.
LibreCat: https://research-explorer.ista.ac.at/record/3684

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

Le, T., Harlepp, S., Guet, C. C., Dittmar, K., Emonet, T., Pan, T., &; Cluzel, P. (2005). Real-time RNA profiling within a single bacterium. PNAS. National Academy of Sciences.https://doi.org/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. (2005). Controllable motion synthesis in a gaseous medium. The Visual Computer. Springer.https://doi.org/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, P. M. (2005). Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review). Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nn1542 
LibreCat: https://research-explorer.ista.ac.at/record/3812
DOI: 10.1038/nn1542

Chatterjee, K., Dasgupta, P., &; Chakrabarti, P. (2005). Complexity of compositional model checking of computation tree logic on simple structures (Vol. 3326, pp. 89–102). Presented at the IWDC: International Workshop on Distributed Computing , Springer.https://doi.org/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. (2005). Two-player nonzero-sum <9-regular games (Vol. 3653, pp. 413–427). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/11539452_32 
LibreCat: https://research-explorer.ista.ac.at/record/3893
DOI: 10.1007/11539452_32

Schrempf, A., Heinze, J., &; Cremer, S. (2005). Sexual cooperation: mating increases longevity in ant queens. Current Biology. Cell Press.https://doi.org/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. (2005). Primary sex ratio adjustment by ant queens in response to local mate competition. Animal Behaviour. Elsevier.https://doi.org/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., Pogoda, H., Diamond, B., Mercurio, S.,https://doi.org/10.1242/dev.01611__Wilson, S. (2005). Monorail/Fox regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. Company of Biologists.https://doi.org/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.-P. J. (2005). Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure. Mechanisms of Development. Elsevier.https://doi.org/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. (2005). Boolean Heaps (pp. 267–282). Presented at the SAS: Static Analysis Symposium, Springer.https://doi.org/1550 
LibreCat: https://research-explorer.ista.ac.at/record/4367
DOI: 1550

Hippenmeyer, S., Vrieseling, E., Sigrist, M., Portmann, T., Laengle, C., Ladle, D., &; Arber, S. (2005). A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. Public Library of Science.https://doi.org/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., Daugherty, K., Hippenmeyer, S., Riezman, H.,https://doi.org/10.1038/nsmb870__Goode, B. (2005). Conformational changes in the Ar 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. Nature Publishing Group.https://doi.org/10.1038/nsmb870 
LibreCat: https://research-explorer.ista.ac.at/record/3141
DOI: 10.1038/nsmb870

Rother, C., Kumar, S., Kolmogorov, V., &; Blake, A. (2005). Digital tapestry (Vol. 1, pp. 589–596). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/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. (2005). Bi-layer segmentation of binocular stereo video (pp. 1186–1186). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/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. (2005). Bi-layer segmentation of binocular stereo video (Vol. 2, pp. 407–414). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/10.1109/CVPR.2005.91 
LibreCat: https://research-explorer.ista.ac.at/record/3183
DOI: 10.1109/CVPR.2005.91

Kolmogorov, V., &; Boykov, Y. (2005). What metrics can be approximated by geo cuts or global optimization of length area and flux (Vol. 1, pp. 564–571). Presented at the ICCV: International Conference on Computer Vision, IEEE.https://doi.org/10.1109/ICCV.2005.252 
LibreCat: https://research-explorer.ista.ac.at/record/3182
DOI: 10.1109/ICCV.2005.252

Kolmogorov, V., &; Wainwright, M. (2005). On the optimality of tree reweighted max product message passing (pp. 316–323). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/3181

Kuhn, M., Janovjak, H. L., Hubain, M., &; Mueller, D. (2005). Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy. Wiley-Blackwell.https://doi.org/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, H. L., Sapra, T., &; Mueller, D. (2005). Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal. Biophysical Society.https://doi.org/10.1529/biophysj.105.059774 
LibreCat: https://research-explorer.ista.ac.at/record/3416
DOI: 10.1529/biophysj.105.059774

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

Bollback, J. P. (2005). Posterior mapping and posterior predictive distributions. In R. Nielsen (Ed.), Statistical methods in Molecular Evolution (pp. 439–462). Springer.https://doi.org/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. (2005). Methods, apparatus and computer program products for modeling three-dimensional colored objects.
LibreCat: https://research-explorer.ista.ac.at/record/3509

Attali, D., Cohen Steiner, D., &; Edelsbrunner, H. (2005). Extraction and simplification of iso-surfaces in tandem (pp. 139–148). Presented at the SGP: Eurographics Symposium on Geometry processing, ACM.
LibreCat: https://research-explorer.ista.ac.at/record/3558

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

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

Nürnberger, B., Barton, N. H., Kruuk, L., &; Vines, T. (2005). Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes. Heredity. Nature Publishing Group.https://doi.org/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, N. H., &; Patridge, L. (2005). Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.104.032367 
LibreCat: https://research-explorer.ista.ac.at/record/3613
DOI: 10.1534/genetics.104.032367

Lampert, C. (2005). Boundary regularity of admissible operators. Publicacions Matemàtiques. Universitat Autònoma de Barcelona, Departament de Matemàtique.https://doi.org/10.5565/PUBLMAT_49105_08 
LibreCat: https://research-explorer.ista.ac.at/record/3691
DOI: 10.5565/PUBLMAT_49105_08

Janovjak, H. L., Mueller, D., &; Humphris, A. (2005). Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. Biophysical Society.https://doi.org/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. (2005). Information-based clustering. PNAS. National Academy of Sciences.https://doi.org/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. (2005). Estimating mutual information and multi-information in large networks. ArXiv. ArXiv.
LibreCat: https://research-explorer.ista.ac.at/record/3746

Engel, D., &; Jonas, P. M. (2005). Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons. Neuron. Elsevier.https://doi.org/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, T. A., &; Jurdziski, M. (2005). Games with secure equilibria (Vol. 3657, pp. 141–161). Presented at the FMCO: Formal Methods for Components and Objects, Springer.https://doi.org/10.1007/11561163_7 
LibreCat: https://research-explorer.ista.ac.at/record/3892
DOI: 10.1007/11561163_7

Cremer, S., &; Boomsma, J. (2005). The drawback of mobility: invasive species in a globalised world. Presented at the Marie Curie Conference, Elsevier.
LibreCat: https://research-explorer.ista.ac.at/record/3902

Sixt, M. K., Kanazawa, N., Selg, M., Samson, T., Roos, G., Reinhardt, D.,https://doi.org/10.1016/j.immuni.2004.11.013__Sorokin, L. (2005). The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node. Immunity. Cell Press.https://doi.org/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., Brown, P., Kristjánsdóttir, K., Safi, A.,https://doi.org/10.1021/bi0516879__Rudolph, J. (2005). Experimental validation of the docking orientation of Cd with its Cdk2-CycA protein substrate. Biochemistry. ACS.https://doi.org/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. (2005). Coarse and reliable geometric alignment for protein docking (pp. 64–75). Presented at the PSB: Pacific Symposium on Biocomputing, World Scientific Publishing.https://doi.org/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., Link, V., Castanon, I., Schnabel, V.,https://doi.org/10.1016/j.devcel.2005.08.011__Heisenberg, C.-P. J. (2005). Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell. Cell Press.https://doi.org/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, N. H., &; Polechova, J. (2005). The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology. Wiley-Blackwell.https://doi.org/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.-P. J. (2005). Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science. Company of Biologists.https://doi.org/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.-P. J. (2005). Shield formation at the onset of zebrafish gastrulation. Development. Company of Biologists.https://doi.org/10.1242/dev.01667 
LibreCat: https://research-explorer.ista.ac.at/record/4171
DOI: 10.1242/dev.01667

Polechova, J., &; Barton, N. H. (2005). Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.https://doi.org/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, N. H., &; Otto, S. (2005). Evolution of recombination due to random drift. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.104.032821 
LibreCat: https://research-explorer.ista.ac.at/record/4251
DOI: 10.1534/genetics.104.032821

Johnson, T., &; Barton, N. H. (2005). Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The.https://doi.org/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. (2005). Synthesis of interface specifications for Java classes (pp. 98–109). Presented at the POPL: Principles of Programming Languages, ACM.https://doi.org/1542 
LibreCat: https://research-explorer.ista.ac.at/record/4404
DOI: 1542

Matic, S., &; Henzinger, T. A. (2005). Trading end-to-end latency for composability (pp. 99–110). Presented at the RTSS: Real-Time Systems Symposium, IEEE.https://doi.org/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, T. A. (2005). A programmable microkernel for real-time systems (pp. 35–45). Presented at the VEE: Virtual Execution Environments, ACM.https://doi.org/10.1145/1064979.1064986 
LibreCat: https://research-explorer.ista.ac.at/record/4418
DOI: 10.1145/1064979.1064986

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

Henzinger, T. A., Majumdar, R., &; Prabhu, V. (2005). Quantifying similarities between timed systems (Vol. 3829, pp. 226–241). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/10.1007/11603009_18 
LibreCat: https://research-explorer.ista.ac.at/record/4455
DOI: 10.1007/11603009_18

Henzinger, T. A., Jhala, R., &; Majumdar, R. (2005). Permissive interfaces (pp. 31–40). Presented at the FSE: Foundations of Software Engineering, ACM.https://doi.org/10.1145/1081706.1081713 
LibreCat: https://research-explorer.ista.ac.at/record/4456
DOI: 10.1145/1081706.1081713

Henzinger, T. A., Kirsch, C., &; Matic, S. (2005). Composable code generation for distributed Giotto (pp. 21–30). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM.https://doi.org/10.1145/1065910.1065914 
LibreCat: https://research-explorer.ista.ac.at/record/4457
DOI: 10.1145/1065910.1065914

Doyen, L., Henzinger, T. A., &; Raskin, J. (2005). Automatic rectangular refinement of affine hybrid systems (Vol. 3829, pp. 144–161). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/DOI: 10.1007/11603009_13 
LibreCat: https://research-explorer.ista.ac.at/record/4536
DOI: DOI: 10.1007/11603009_13

Chatterjee, K., &; Henzinger, T. A. (2005). Semiperfect-information games (Vol. 3821, pp. 1–18). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/11590156_1 
LibreCat: https://research-explorer.ista.ac.at/record/4541
DOI: 10.1007/11590156_1

Chatterjee, K., De Alfaro, L., &; Henzinger, T. A. (2005). The complexity of stochastic Rabin and Streett games (Vol. 3580, pp. 878–890). Presented at the ICALP: Automata, Languages and Programming, Springer.https://doi.org/10.1007/11523468_71 
LibreCat: https://research-explorer.ista.ac.at/record/4553
DOI: 10.1007/11523468_71

Chatterjee, K., Henzinger, T. A., &; Jurdziski, M. (2005). Mean-payoff parity games (pp. 178–187). Presented at the LICS: Logic in Computer Science, IEEE.https://doi.org/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, T. A., Kupferman, O., &; Majumdar, R. (2005). Verifying quantitative properties using bound functions (Vol. 3725, pp. 50–64). Presented at the CHARME: Correct Hardware Design and Verification Methods, Springer.https://doi.org/10.1007/11560548_7 
LibreCat: https://research-explorer.ista.ac.at/record/4560
DOI: 10.1007/11560548_7

Chatterjee, K., Henzinger, T. A., Jhala, R., &; Majumdar, R. (2005). Counterexample-guided planning (pp. 104–111). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/4557

Beyer, D., Henzinger, T. A., Jhala, R., &; Majumdar, R. (2005). Checking memory safety with BLAST (Vol. 3442, pp. 2–18). Presented at the FASE: Fundamental Approaches To Software Engineering, Springer.https://doi.org/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, T. A. (2005). Web service interfaces (pp. 148–159). Presented at the WWW: World Wide Web Conference, ACM.https://doi.org/10.1145/1060745.1060770 
LibreCat: https://research-explorer.ista.ac.at/record/4576
DOI: 10.1145/1060745.1060770