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

De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., &; Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier.https://doi.org/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, T. A. (2005). Interface-based design (Vol. 195, pp. 83–104). Presented at the Engineering Theories of Software Intensive Systems, Springer.https://doi.org/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. (2005). Counterfactual quantum computation (Vol. 1, pp. 365–367). Presented at the QELS: Quantum Electronics and Laser Science, IEEE.https://doi.org/ 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. (2005). Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. Annual Reviews.https://doi.org/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, B. H. H., Cohen, M., Rogers, C., Albayram, O., &; de Bono, M. (2005). Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. Elsevier.https://doi.org/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

Vogels, T. P., &; Abbott, L. F. (2005). Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/jneurosci.3508-05.2005 
LibreCat: https://research-explorer.ista.ac.at/record/8028
DOI: 10.1523/jneurosci.3508-05.2005
PMID: 16291952

Vogels, T. P., Rajan, K., &; Abbott, L. F. (2005). Neural network dynamics. Annual Review of Neuroscience. Annual Reviews.https://doi.org/10.1146/annurev.neuro.28.061604.135637 
LibreCat: https://research-explorer.ista.ac.at/record/8029
DOI: 10.1146/annurev.neuro.28.061604.135637
PMID: 16022600

Tran, R. K., Henikoff, J. G., Zilberman, D., Ditt, R. F., Jacobsen, S. E., &; Henikoff, S. (2005). DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2005.01.008 
LibreCat: https://research-explorer.ista.ac.at/record/9491
DOI: 10.1016/j.cub.2005.01.008
PMID: 15668172 

Tran, R. K., Zilberman, D., de Bustos, C., Ditt, R. F., Henikoff, J. G., Lindroth, A. M.,https://doi.org/10.1186/gb-2005-6-11-r90__Henikoff, S. (2005). Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis. Genome Biology. Springer Nature.https://doi.org/10.1186/gb-2005-6-11-r90 
LibreCat: https://research-explorer.ista.ac.at/record/9514
DOI: 10.1186/gb-2005-6-11-r90
PMID: 16277745

Yampolsky, L., Kondrashov, F., &; Kondrashov, A. (2005). Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. Oxford University Press.https://doi.org/10.1093/hmg/ddi350 
LibreCat: https://research-explorer.ista.ac.at/record/843
DOI: 10.1093/hmg/ddi350

Schanda, P., Kupde, ., &; Brutscher, B. (2005). SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds. Journal of Biomolecular NMR. Springer Nature.https://doi.org/10.1007/s10858-005-4425-x 
LibreCat: https://research-explorer.ista.ac.at/record/8491
DOI: 10.1007/s10858-005-4425-x

Schanda, P., &; Brutscher, B. (2005). Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja051306e 
LibreCat: https://research-explorer.ista.ac.at/record/8492
DOI: 10.1021/ja051306e

Bourgain, J., &; Kaloshin, V. (2005). On diffusion in high-dimensional Hamiltonian systems. Journal of Functional Analysis. Elsevier.https://doi.org/10.1016/j.jfa.2004.09.006 
LibreCat: https://research-explorer.ista.ac.at/record/8516
DOI: 10.1016/j.jfa.2004.09.006

Kondrashov, F. (2005). The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution. Biofizika. Pleiades Publishing.
LibreCat: https://research-explorer.ista.ac.at/record/877
PMID: 15977826

Kondrashov, F. (2005). In search of the limits of evolution. Nature Genetics. Nature Publishing Group.https://doi.org/10.1038/ng0105-9 
LibreCat: https://research-explorer.ista.ac.at/record/878
DOI: 10.1038/ng0105-9

Kondrashov, F. (2005). Prediction of pathogenic mutations in mitochondrially encoded human tRNAs. Human Molecular Genetics. Oxford University Press.https://doi.org/10.1093/hmg/ddi243 
LibreCat: https://research-explorer.ista.ac.at/record/882
DOI: 10.1093/hmg/ddi243

Kondrashov, F. (2005). The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus. Biofizika. Pleiades Publishing.
LibreCat: https://research-explorer.ista.ac.at/record/880
PMID: 15977827

Jordan, I., Kondrashov, F., Adzhube0, I., Wolf, Y., Koonin, E., Kondrashov, A., &; Sunyaev, S. (2005). A universal trend of amino acid gain and loss in protein evolution. Nature. Nature Publishing Group.https://doi.org/10.1038/nature03306 
LibreCat: https://research-explorer.ista.ac.at/record/893
DOI: 10.1038/nature03306

Zilberman, D., &; Henikoff, S. (2005). Epigenetic inheritance in Arabidopsis: Selective silence. Current Opinion in Genetics and Development. Elsevier.https://doi.org/10.1016/j.gde.2005.07.002 
LibreCat: https://research-explorer.ista.ac.at/record/9529
DOI: 10.1016/j.gde.2005.07.002
PMID: 16085410

Smoukov, S. K., Bishop, K. J. M., Klajn, R., Campbell, C. J., &; Grzybowski, B. A. (2005). Cutting into solids with micropatterned gels. Advanced Materials. Wiley.https://doi.org/10.1002/adma.200402086 
LibreCat: https://research-explorer.ista.ac.at/record/13431
DOI: 10.1002/adma.200402086
PMID: 34412440

Witt, D., Klajn, R., Barski, P., &; Grzybowski, B. (2005). Applications, properties and synthesis of w-functionalized n-alkanethiols and disulfides - the building blocks of self-assembled monolayers. Current Organic Chemistry. Bentham Science.https://doi.org/10.2174/1385272043369421 
LibreCat: https://research-explorer.ista.ac.at/record/13433
DOI: 10.2174/1385272043369421

Campbell, C. J., Klajn, R., Fialkowski, M., &; Grzybowski, B. A. (2005). One-step multilevel microfabrication by reactiondiffusion. Langmuir. American Chemical Society.https://doi.org/10.1021/la0487747 
LibreCat: https://research-explorer.ista.ac.at/record/13432
DOI: 10.1021/la0487747
PMID: 15620333

Henzinger, M. H. (2004). Algorithmic challenges in web search engines. Internet Mathematics. Internet Mathematics.https://doi.org/10.1080/15427951.2004.10129079 
LibreCat: https://research-explorer.ista.ac.at/record/11762
DOI: 10.1080/15427951.2004.10129079

Henzinger, M. H. (2004). Algorithmic aspects of web search engines. In 2th Annual European Symposium on Algorithms (Vol. 3221, p. 3). Bergen, Norway: Springer Nature.https://doi.org/10.1007/978-3-540-30140-0_2 
LibreCat: https://research-explorer.ista.ac.at/record/11801
DOI: 10.1007/978-3-540-30140-0_2

Henzinger, M. H. (2004). The past, present, and future of web search engines. In 31st International Colloquium on Automata, Languages and Programming (Vol. 3142, p. 3). Turku, Finland: Springer Nature.https://doi.org/10.1007/978-3-540-27836-8_2 
LibreCat: https://research-explorer.ista.ac.at/record/11800
DOI: 10.1007/978-3-540-27836-8_2

Henzinger, M. H. (2004). The past, present, and future of web information retrieval. In SPIE Proceedings (Vol. 5296, pp. 23–26). San Jose, CA, United States: Society of Photo-Optical Instrumentation Engineers.https://doi.org/10.1117/12.537534 
LibreCat: https://research-explorer.ista.ac.at/record/11859
DOI: 10.1117/12.537534

Henzinger, M. H., &; Lawrence, S. (2004). Extracting knowledge from the World Wide Web. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences.https://doi.org/10.1073/pnas.0307528100 
LibreCat: https://research-explorer.ista.ac.at/record/11877
DOI: 10.1073/pnas.0307528100
PMID: 14745041

Strasser, U., Corripio, J., Pellicciotti, F., Burlando, P., Brock, B., &; Funk, M. (2004). Spatial and temporal variability of meteorological variables at Haut Glacier d’Arolla (Switzerland) during the ablation season 2001: Measurements and simulations. Journal of Geophysical Research: Atmospheres. American Geophysical Union.https://doi.org/10.1029/2003jd003973 
LibreCat: https://research-explorer.ista.ac.at/record/12658
DOI: 10.1029/2003jd003973

Hausel, T., Hunsicker, E., &; Mazzeo, R. (2004). Hodge cohomology of gravitational instantons. Duke Mathematical Journal. Duke University Press.https://doi.org/10.1215/S0012-7094-04-12233-X 
LibreCat: https://research-explorer.ista.ac.at/record/1456
DOI: 10.1215/S0012-7094-04-12233-X