Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9087 Publications
2009 | Thesis | IST-REx-ID: 3400
P. S. Schmalhorst, “Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus,” Gottfried Wilhelm Leibniz Universität Hannover, 2009.
View
| Download (ext.)
2009 | Book Chapter | IST-REx-ID: 3578
D. Attali, J. Boissonnat, and H. Edelsbrunner, “Stability and computation of medial axes: a state-of-the-art report,” in Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration, Springer, 2009, pp. 109–125.
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3710
C. Lampert, M. Blaschko, and T. Hofmann, “Efficient subwindow search: A branch and bound framework for object localization,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 31, no. 12. IEEE, pp. 2129–2142, 2009.
View
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 3711
P. Dhillon, S. Nowozin, and C. Lampert, “Combining appearance and motion for human action classification in videos,” presented at the CVPR: Computer Vision and Pattern Recognition, 2009, pp. 22–29.
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3775 |
N. H. Barton and J. Coe, “On the application of statistical physics to evolutionary biology,” Journal of Theoretical Biology, vol. 259, no. 2. Elsevier, pp. 317–324, 2009.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 3837 |
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3968 |
H. Edelsbrunner and J. Harer, “The persistent Morse complex segmentation of a 3-manifold,” presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland, 2009, vol. 5903, pp. 36–50.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3967
D. Cohen Steiner, H. Edelsbrunner, J. Harer, and D. Morozov, “Persistent homology for kernels, images, and cokernels,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 1011–1020.
View
2009 | Journal Article | IST-REx-ID: 4162
P. Oteíza et al., “Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces,” Mechanisms of Development, vol. 126, no. Supplement 1. Elsevier, pp. S80–S80, 2009.
View
| DOI
2009 | Thesis | IST-REx-ID: 4363
V. Singh, “Formalizing and Verifying Transactional Memories,” EPFL Lausanne, 2009.
View
2009 | Conference Paper | IST-REx-ID: 4383 |
R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336.
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4403 |
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 4453 |
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View
| Files available
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 4535
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Approximation of event probabilities in noisy cellular processes,” presented at the CMSB: Computational Methods in Systems Biology, 2009, vol. 5688, pp. 173–188.
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4542 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4545 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
[Submitted Version]
View
| Files available
| DOI