Barton, Nicholas H., and Jitka Polechova. “The Limitations of Adaptive Dynamics as a Model of Evolution.”10.1111/j.1420-9101.2005.00943.x__Journal of Evolutionary Biology, vol. 18, no. 5, Wiley-Blackwell, 2005, pp. 1186–90, 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, Pierre, et al. “Measuring Cell Adhesion Forces of Primary Gastrulating Cells from Zebrafish Using Atomic Force Microscopy.”10.1242/â€‹jcs.02547__Journal of Cell Science, vol. 118, no. 18, Company of Biologists, 2005, pp. 4199–206, doi:10.1242/â€‹jcs.02547.
LibreCat: https://research-explorer.ista.ac.at/record/4155
DOI: 10.1242/â€‹jcs.02547

Montero, Juan, et al. “Shield Formation at the Onset of Zebrafish Gastrulation.”10.1242/dev.01667__Development, vol. 132, no. 6, Company of Biologists, 2005, pp. 1187–98, doi:10.1242/dev.01667.
LibreCat: https://research-explorer.ista.ac.at/record/4171
DOI: 10.1242/dev.01667

Polechova, Jitka, and Nicholas H. Barton. “Speciation through Competition: A Critical Review.”10.1111/j.0014-3820.2005.tb01771.x__Evolution; International Journal of Organic Evolution, vol. 59, no. 6, Wiley-Blackwell, 2005, pp. 1194–210, 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, Nicholas H., and Sarah Otto. “Evolution of Recombination Due to Random Drift.”10.1534/genetics.104.032821__Genetics, vol. 169, no. 4, Genetics Society of America, 2005, pp. 2353–70, doi:10.1534/genetics.104.032821.
LibreCat: https://research-explorer.ista.ac.at/record/4251
DOI: 10.1534/genetics.104.032821

Johnson, Toby, and Nicholas H. Barton. “Theoretical Models of Selection and Mutationon Quantitative Traits.”10.1098/rstb.2005.1667__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 360, no. 1459, Royal Society, The, 2005, pp. 1411–25, doi:10.1098/rstb.2005.1667.
LibreCat: https://research-explorer.ista.ac.at/record/4252
DOI: 10.1098/rstb.2005.1667

Alur, Rajeev, et al. Synthesis of Interface Specifications for Java Classes. ACM, 2005, pp. 98–109, doi:1542.
LibreCat: https://research-explorer.ista.ac.at/record/4404
DOI: 1542

Matic, Slobodan, and Thomas A. Henzinger. Trading End-to-End Latency for Composability. IEEE, 2005, pp. 99–110, doi:10.1109/RTSS.2005.43.
LibreCat: https://research-explorer.ista.ac.at/record/4412
DOI: 10.1109/RTSS.2005.43

Kirsch, Christoph, et al. A Programmable Microkernel for Real-Time Systems. ACM, 2005, pp. 35–45, doi:10.1145/1064979.1064986.
LibreCat: https://research-explorer.ista.ac.at/record/4418
DOI: 10.1145/1064979.1064986

Henzinger, Thomas A., et al. “A Classification of Symbolic Transition Systems.”10.1145/1042038.1042039__ACM Transactions on Computational Logic (TOCL), vol. 6, no. 1, ACM, 2005, pp. 1–32, doi:10.1145/1042038.1042039.
LibreCat: https://research-explorer.ista.ac.at/record/4454
DOI: 10.1145/1042038.1042039

Henzinger, Thomas A., et al. Quantifying Similarities between Timed Systems. Vol. 3829, Springer, 2005, pp. 226–41, doi:10.1007/11603009_18.
LibreCat: https://research-explorer.ista.ac.at/record/4455
DOI: 10.1007/11603009_18

Henzinger, Thomas A., et al. Permissive Interfaces. ACM, 2005, pp. 31–40, doi:10.1145/1081706.1081713.
LibreCat: https://research-explorer.ista.ac.at/record/4456
DOI: 10.1145/1081706.1081713

Henzinger, Thomas A., et al. Composable Code Generation for Distributed Giotto. ACM, 2005, pp. 21–30, doi:10.1145/1065910.1065914.
LibreCat: https://research-explorer.ista.ac.at/record/4457
DOI: 10.1145/1065910.1065914

Doyen, Laurent, et al. Automatic Rectangular Refinement of Affine Hybrid Systems. Vol. 3829, Springer, 2005, pp. 144–61, doi:DOI: 10.1007/11603009_13.
LibreCat: https://research-explorer.ista.ac.at/record/4536
DOI: DOI: 10.1007/11603009_13

Chatterjee, Krishnendu, and Thomas A. Henzinger. Semiperfect-Information Games. Vol. 3821, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18, doi:10.1007/11590156_1.
LibreCat: https://research-explorer.ista.ac.at/record/4541
DOI: 10.1007/11590156_1

Chatterjee, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
LibreCat: https://research-explorer.ista.ac.at/record/4553
DOI: 10.1007/11523468_71

Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
LibreCat: https://research-explorer.ista.ac.at/record/4554
DOI: 10.1109/LICS.2005.26

Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
LibreCat: https://research-explorer.ista.ac.at/record/4560
DOI: 10.1007/11560548_7

Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
LibreCat: https://research-explorer.ista.ac.at/record/4557

Beyer, Dirk, et al. Checking Memory Safety with BLAST. Vol. 3442, Springer, 2005, pp. 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