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.
302 Publications
2011 | Journal Article | IST-REx-ID: 3781
B. T. Fasy, “The difference in length of curves in R^n,” Acta Sci. Math. (Szeged), vol. 77, no. 1–2. Szegedi Tudományegyetem, pp. 359–367, 2011.
View
2011 | Journal Article | IST-REx-ID: 3784 | 
F. Palero, G. Guerao, P. Clark, and P. Abello, “Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description,” Journal of the Marine Biological Association of the United Kingdom, vol. 91, no. 2. Cambridge University Press, pp. 485–492, 2011.
View
| DOI
| Download Published Version (ext.)
2011 | Book Chapter | IST-REx-ID: 3796 |
H. Edelsbrunner and M. Kerber, “Covering and packing with spheres by diagonal distortion in R^n,” in Rainbow of Computer Science, vol. 6570, C. Calude, G. Rozenberg, and A. Salomaa, Eds. Springer, 2011, pp. 20–35.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 386 |
Z. Alpichshev, J. G. Analytis, J. H. Chu, I. R. Fisher, and A. Kapitulnik, “STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3,” Physical Review B - Condensed Matter and Materials Physics, vol. 84, no. 4. American Physical Society, 2011.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 3267
C. Chen and D. Freedman, “Hardness results for homology localization,” Discrete & Computational Geometry, vol. 45, no. 3. Springer, pp. 425–448, 2011.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5386 |
C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3336
C. Chen, D. Freedman, and C. Lampert, “Enforcing topological constraints in random field image segmentation,” in CVPR: Computer Vision and Pattern Recognition, Colorado Springs, CO, United States, 2011, pp. 2089–2096.
View
| Files available
| DOI
2011 | Book Chapter | IST-REx-ID: 3311 |
H. Edelsbrunner, “Alpha shapes - a survey,” in Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, R. van de Weygaert, G. Vegter, J. Ritzerveld, and V. Icke, Eds. Springer.
View
| Files available
2011 | Journal Article | IST-REx-ID: 11095
M. Hetzer and G. Cavalli, “Editorial overview,” Current Opinion in Cell Biology, vol. 23, no. 3. Elsevier, pp. 255–257, 2011.
View
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 11094 |
J. A. Talamas and M. Hetzer, “POM121 and Sun1 play a role in early steps of interphase NPC assembly,” Journal of Cell Biology, vol. 194, no. 1. Rockefeller University Press, pp. 27–37, 2011.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 11100
M. Capelson, C. Doucet, and M. Hetzer, “Nuclear pore complexes: Guardians of the nuclear genome,” Cold Spring Harbor Symposia on Quantitative Biology, vol. 75. Cold Spring Harbor Laboratory Press, pp. 585–597, 2011.
View
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 11096
Y. Liang and M. Hetzer, “Functional interactions between nucleoporins and chromatin,” Current Opinion in Cell Biology, vol. 23, no. 1. Elsevier, pp. 65–70, 2011.
View
| DOI
| PubMed | Europe PMC
2011 | Conference Paper | IST-REx-ID: 3342 |
K. Chatterjee, M. H. Henzinger, M. Joglekar, and S. Nisarg, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 260–276.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3343 |
K. Chatterjee and M. H. Henzinger, “Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification,” presented at the SODA: Symposium on Discrete Algorithms, San Francisco, USA, 2011, pp. 1318–1336.
View
| DOI
| Download Submitted Version (ext.)
2011 | Technical Report | IST-REx-ID: 5379 |
K. Chatterjee and M. H. Henzinger, An O(n2) time algorithm for alternating Büchi games. IST Austria, 2011.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3395
F. Palero, P. Abello, E. Macpherson, M. Beaumont, and M. Pascual, “Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas,” Biological Journal of the Linnean Society, vol. 104, no. 2. Wiley-Blackwell, pp. 407–418, 2011.
View
| Files available
| DOI
2011 | Research Data Reference | IST-REx-ID: 9762 |
F. Palero, P. Abello, E. Macpherson, M. Beaumont, and M. Pascual, “Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas).” IST Austria, 2011.
View
| Files available
| DOI
| Download Published Version (ext.)