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
Chen C, Freedman D, Lampert C. Enforcing topological constraints in random field image segmentation. In: CVPR: Computer Vision and Pattern Recognition. IEEE; 2011:2089-2096. doi:10.1109/CVPR.2011.5995503
View | Files available | DOI

2011 | Book Chapter | IST-REx-ID: 3311 | OA
Edelsbrunner H. Alpha shapes - a survey. In: van de Weygaert R, Vegter G, Ritzerveld J, Icke V, eds. Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings. Springer.
View | Files available

2011 | Conference Paper | IST-REx-ID: 10907
Artner NM, Ion A, Kropatsch WG. Spatio-temporal extraction of articulated models in a graph pyramid. In: Jiang X, Ferrer M, Torsello A, eds. Graph-Based Representations in Pattern Recognition. Vol 6658. LNIP. Berlin, Heidelberg: Springer; 2011:215-224. doi:10.1007/978-3-642-20844-7_22
View | DOI

2011 | Journal Article | IST-REx-ID: 11095
Hetzer M, Cavalli G. Editorial overview. Current Opinion in Cell Biology. 2011;23(3):255-257. doi:10.1016/
View | DOI | PubMed | Europe PMC

2011 | Journal Article | IST-REx-ID: 11094 | OA
Talamas JA, Hetzer M. POM121 and Sun1 play a role in early steps of interphase NPC assembly. Journal of Cell Biology. 2011;194(1):27-37. doi:10.1083/jcb.201012154
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2011 | Journal Article | IST-REx-ID: 11100
Capelson M, Doucet C, Hetzer M. Nuclear pore complexes: Guardians of the nuclear genome. Cold Spring Harbor Symposia on Quantitative Biology. 2011;75:585-597. doi:10.1101/sqb.2010.75.059
View | DOI | PubMed | Europe PMC

2011 | Journal Article | IST-REx-ID: 11096
Liang Y, Hetzer M. Functional interactions between nucleoporins and chromatin. Current Opinion in Cell Biology. 2011;23(1):65-70. doi:10.1016/
View | DOI | PubMed | Europe PMC

2011 | Conference Paper | IST-REx-ID: 3342 | OA
Chatterjee K, Henzinger MH, Joglekar M, Nisarg S. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:260-276. doi:10.1007/978-3-642-22110-1_21
View | Files available | DOI | Download Preprint (ext.) | arXiv

2011 | Conference Paper | IST-REx-ID: 3343 | OA
Chatterjee K, Henzinger MH. Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification. In: SIAM; 2011:1318-1336. doi:10.1137/1.9781611973082.101
View | DOI | Download Submitted Version (ext.)

2011 | Technical Report | IST-REx-ID: 5379 | OA
Chatterjee K, Henzinger MH. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0009
View | Files available | DOI

Filters and Search Terms



Filter Publications