Chatterjee K, Dasgupta P, Chakrabarti P. Complexity of compositional model checking of computation tree logic on simple structures. In: Vol 3326. Springer; 2005:89-102. doi: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. Two-player nonzero-sum <9-regular games. In: Vol 3653. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:413-427. doi:10.1007/11539452_32
LibreCat: https://research-explorer.ista.ac.at/record/3893
DOI: 10.1007/11539452_32

Schrempf A, Heinze J, Cremer S. Sexual cooperation: mating increases longevity in ant queens. Current Biology. 2005;15(3):267-270. doi: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. Primary sex ratio adjustment by ant queens in response to local mate competition. Animal Behaviour. 2005;69(5):1031-1035. doi: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, et al. Monorail/Fox regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 2005;132(4):645-658. doi: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-PJ. Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure. Mechanisms of Development. 2005;122(Supplement 1):2-3. doi: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. Boolean Heaps. In: Springer; 2005:267-282. doi:1550
LibreCat: https://research-explorer.ista.ac.at/record/4367
DOI: 1550

Hippenmeyer S, Vrieseling E, Sigrist M, et al. A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. 2005;3(5):0878-0890. doi: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, et al. Conformational changes in the Ar 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. 2005;12(1):26-31. doi:10.1038/nsmb870
LibreCat: https://research-explorer.ista.ac.at/record/3141
DOI: 10.1038/nsmb870

Rother C, Kumar S, Kolmogorov V, Blake A. Digital tapestry. In: Vol 1. IEEE; 2005:589-596. doi: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. Bi-layer segmentation of binocular stereo video. In: IEEE; 2005:1186-1186. doi: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. Bi-layer segmentation of binocular stereo video. In: Vol 2. IEEE; 2005:407-414. doi:10.1109/CVPR.2005.91
LibreCat: https://research-explorer.ista.ac.at/record/3183
DOI: 10.1109/CVPR.2005.91

Kolmogorov V, Boykov Y. What metrics can be approximated by geo cuts or global optimization of length area and flux. In: Vol 1. IEEE; 2005:564-571. doi:10.1109/ICCV.2005.252
LibreCat: https://research-explorer.ista.ac.at/record/3182
DOI: 10.1109/ICCV.2005.252

Kolmogorov V, Wainwright M. On the optimality of tree reweighted max product message passing. In: AUAI Press; 2005:316-323.
LibreCat: https://research-explorer.ista.ac.at/record/3181

Kuhn M, Janovjak HL, Hubain M, Mueller D. Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy. 2005;218(2):125-132. doi: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 HL, Sapra T, Mueller D. Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal. 2005;88(5):37-39. doi:10.1529/biophysj.105.059774
LibreCat: https://research-explorer.ista.ac.at/record/3416
DOI: 10.1529/biophysj.105.059774

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

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

Attali D, Cohen Steiner D, Edelsbrunner H. Extraction and simplification of iso-surfaces in tandem. In: ACM; 2005:139-148.
LibreCat: https://research-explorer.ista.ac.at/record/3558