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