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.

300 Publications


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 | OA
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 | Conference Paper | IST-REx-ID: 10907
N. M. Artner, A. Ion, and W. G. Kropatsch, “Spatio-temporal extraction of articulated models in a graph pyramid,” in Graph-Based Representations in Pattern Recognition, Münster, Germany, 2011, vol. 6658, pp. 215–224.
View | DOI
 

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 | OA
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 | OA
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 | OA
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 | OA
K. Chatterjee and M. H. Henzinger, An O(n2) time algorithm for alternating Büchi games. IST Austria, 2011.
View | Files available | DOI
 

Filters and Search Terms

year=2011

Search

Filter Publications