Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. 2005. Bi-layer segmentation of binocular stereo video. CVPR: Computer Vision and Pattern Recognition vol. 2, 407–414.
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. ICCV: International Conference on Computer Vision vol. 1, 564–571.
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. UAI: Uncertainty in Artificial Intelligence, 316–323.
LibreCat: https://research-explorer.ista.ac.at/record/3181

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

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

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

Bollback JP. 2005.Posterior mapping and posterior predictive distributions. In: Statistical methods in Molecular Evolution. , 439–462.
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. SGP: Eurographics Symposium on Geometry processing, 139–148.
LibreCat: https://research-explorer.ista.ac.at/record/3558

Edelsbrunner H, Koehl P. 2005.The geometry of biomolecular solvation. In: Combinatorial and Computational Geometry. Mathematical Sciences Research Institute Publications, vol. 52, 243–275.
LibreCat: https://research-explorer.ista.ac.at/record/3576

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

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

Gardner M, Fowler K, Barton NH, Patridge L. 2005. Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns. Genetics. 169(3), 1553–1571.
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. 49(1), 179–195.
LibreCat: https://research-explorer.ista.ac.at/record/3691
DOI: 10.5565/PUBLMAT_49105_08

Janovjak HL, Mueller D, Humphris A. 2005. Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. 88(2), 1423–1431.
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. 102(51), 18297–18302.
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, 1–11, .
LibreCat: https://research-explorer.ista.ac.at/record/3746

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

Chatterjee K, Henzinger TA, Jurdziski M. 2005. Games with secure equilibria. FMCO: Formal Methods for Components and Objects, LNCS, vol. 3657, 141–161.
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. Marie Curie Conference.
LibreCat: https://research-explorer.ista.ac.at/record/3902

Sixt MK, Kanazawa N, Selg M, Samson T, Roos G, Reinhardt D, Pabst R, Lutz M, 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. 22(1), 19–29.
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, Edelsbrunner H, Yang W, Rudolph J. 2005. Experimental validation of the docking orientation of Cd with its Cdk2-CycA protein substrate. Biochemistry. 44(50), 16563–16573.
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. PSB: Pacific Symposium on Biocomputing, 64–75.
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, Taubenberger A, Müller D, Puech P, Heisenberg C-PJ. 2005. Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell. 9(4), 555–564.
LibreCat: https://research-explorer.ista.ac.at/record/4144
DOI: 10.1016/j.devcel.2005.08.011

Barton NH, Polechova J. 2005. The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology. 18(5), 1186–1190.
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. 2005. Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science. 118(18), 4199–4206.
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. 2005. Shield formation at the onset of zebrafish gastrulation. Development. 132(6), 1187–1198.
LibreCat: https://research-explorer.ista.ac.at/record/4171
DOI: 10.1242/dev.01667

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

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

Johnson T, Barton NH. 2005. Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 360(1459), 1411–1425.
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. POPL: Principles of Programming Languages, 98–109.
LibreCat: https://research-explorer.ista.ac.at/record/4404
DOI: 1542

Matic S, Henzinger TA. 2005. Trading end-to-end latency for composability. RTSS: Real-Time Systems Symposium, 99–110.
LibreCat: https://research-explorer.ista.ac.at/record/4412
DOI: 10.1109/RTSS.2005.43

Kirsch C, Sanvido M, Henzinger TA. 2005. A programmable microkernel for real-time systems. VEE: Virtual Execution Environments, 35–45.
LibreCat: https://research-explorer.ista.ac.at/record/4418
DOI: 10.1145/1064979.1064986

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

Henzinger TA, Majumdar R, Prabhu V. 2005. Quantifying similarities between timed systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 226–241.
LibreCat: https://research-explorer.ista.ac.at/record/4455
DOI: 10.1007/11603009_18

Henzinger TA, Jhala R, Majumdar R. 2005. Permissive interfaces. FSE: Foundations of Software Engineering, 31–40.
LibreCat: https://research-explorer.ista.ac.at/record/4456
DOI: 10.1145/1081706.1081713

Henzinger TA, Kirsch C, Matic S. 2005. Composable code generation for distributed Giotto. LCTES: Languages, Compilers, and Tools for Embedded Systems, 21–30.
LibreCat: https://research-explorer.ista.ac.at/record/4457
DOI: 10.1145/1065910.1065914

Doyen L, Henzinger TA, Raskin J. 2005. Automatic rectangular refinement of affine hybrid systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 144–161.
LibreCat: https://research-explorer.ista.ac.at/record/4536
DOI: DOI: 10.1007/11603009_13

Chatterjee K, Henzinger TA. 2005. Semiperfect-information games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 3821, 1–18.
LibreCat: https://research-explorer.ista.ac.at/record/4541
DOI: 10.1007/11590156_1

Chatterjee K, De Alfaro L, Henzinger TA. 2005. The complexity of stochastic Rabin and Streett games. ICALP: Automata, Languages and Programming, LNCS, vol. 3580, 878–890.
LibreCat: https://research-explorer.ista.ac.at/record/4553
DOI: 10.1007/11523468_71

Chatterjee K, Henzinger TA, Jurdziski M. 2005. Mean-payoff parity games. LICS: Logic in Computer Science, 178–187.
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. 2005. Verifying quantitative properties using bound functions. CHARME: Correct Hardware Design and Verification Methods, LNCS, vol. 3725, 50–64.
LibreCat: https://research-explorer.ista.ac.at/record/4560
DOI: 10.1007/11560548_7

Chatterjee K, Henzinger TA, Jhala R, Majumdar R. 2005. Counterexample-guided planning. UAI: Uncertainty in Artificial Intelligence, 104–111.
LibreCat: https://research-explorer.ista.ac.at/record/4557

Beyer D, Henzinger TA, Jhala R, Majumdar R. 2005. Checking memory safety with BLAST. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 3442, 2–18.
LibreCat: https://research-explorer.ista.ac.at/record/4579
DOI: 10.1007/978-3-540-31984-9_2

Beyer D, Chakrabarti A, Henzinger TA. 2005. Web service interfaces. WWW: World Wide Web Conference, 148–159.
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. 2005. Model checking discounted temporal properties. Theoretical Computer Science. 345(1), 139–170.
LibreCat: https://research-explorer.ista.ac.at/record/4625
DOI: 10.1016/j.tcs.2005.07.033

De Alfaro L, Henzinger TA. 2005. Interface-based design. Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, 83–104.
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. QELS: Quantum Electronics and Laser Science, QELS, vol. 1, 365–367.
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. 28, 451–501.
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. 2005. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 15(10), 905–917.
LibreCat: https://research-explorer.ista.ac.at/record/6154
DOI: 10.1016/j.cub.2005.04.017
PMID: 15916947

Vogels TP, Abbott LF. 2005. Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. 25(46), 10786–10795.
LibreCat: https://research-explorer.ista.ac.at/record/8028
DOI: 10.1523/jneurosci.3508-05.2005
PMID: 16291952

Vogels TP, Rajan K, Abbott LF. 2005. Neural network dynamics. Annual Review of Neuroscience. 28(1), 357–376.
LibreCat: https://research-explorer.ista.ac.at/record/8029
DOI: 10.1146/annurev.neuro.28.061604.135637
PMID: 16022600

Tran RK, Henikoff JG, Zilberman D, Ditt RF, Jacobsen SE, Henikoff S. 2005. DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes. Current Biology. 15(2), 154–159.
LibreCat: https://research-explorer.ista.ac.at/record/9491
DOI: 10.1016/j.cub.2005.01.008
PMID: 15668172 

Tran RK, Zilberman D, de Bustos C, Ditt RF, Henikoff JG, Lindroth AM, Delrow J, Boyle T, Kwong S, Bryson TD, Jacobsen SE, Henikoff S. 2005. Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis. Genome Biology. 6(11), .
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. 14(21), 3191–3201.
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. 33(4), 199–211.
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. 127(22), 8014–8015.
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. 229(1), 1–61.
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. 50(3), 389–395.
LibreCat: https://research-explorer.ista.ac.at/record/877
PMID: 15977826

Kondrashov F. 2005. In search of the limits of evolution. Nature Genetics. 37(1), 9–10.
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. 14(16), 2415–2419.
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. 50(3), 396–403.
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. 433(7026), 633–638.
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. 15(5), 557–562.
LibreCat: https://research-explorer.ista.ac.at/record/9529
DOI: 10.1016/j.gde.2005.07.002
PMID: 16085410

Smoukov SK, Bishop KJM, Klajn R, Campbell CJ, Grzybowski BA. 2005. Cutting into solids with micropatterned gels. Advanced Materials. 17(11), 1361–1365.
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. 8(18), 1763–1797.
LibreCat: https://research-explorer.ista.ac.at/record/13433
DOI: 10.2174/1385272043369421

Campbell CJ, Klajn R, Fialkowski M, Grzybowski BA. 2005. One-step multilevel microfabrication by reactiondiffusion. Langmuir. 21(1), 418–423.
LibreCat: https://research-explorer.ista.ac.at/record/13432
DOI: 10.1021/la0487747
PMID: 15620333