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.
7131 Publications
2011 | Published | Journal Article | IST-REx-ID: 3377 | 
Edelsbrunner H, Morozov D, Patel A. 2011. Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics. 11(3), 345–361.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2011 | Published | Technical Report | IST-REx-ID: 5381 |
Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to win when belief fails, IST Austria, 43p.
[Published Version]
View
| Files available
| DOI
2011 | Submitted | Preprint | IST-REx-ID: 3339 |
Chatterjee K, De Alfaro L, Pritam R. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv, 1107.2132.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Submitted | Preprint | IST-REx-ID: 3363 |
Chatterjee K, Henzinger TA, Tracol M. The decidability frontier for probabilistic automata on infinite words. 1104.0127.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Technical Report | IST-REx-ID: 5380 |
Chatterjee K. 2011. Bounded rationality in concurrent parity games, IST Austria, 53p.
[Published Version]
View
| Files available
| DOI
2011 | Submitted | Preprint | IST-REx-ID: 3338 |
Chatterjee K. Bounded rationality in concurrent parity games. arXiv, 1–51, 1107.2146.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Technical Report | IST-REx-ID: 5379 |
Chatterjee K, Henzinger M. 2011. An O(n2) time algorithm for alternating Büchi games, IST Austria, 20p.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3316 |
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2011. Specification-centered robustness. 6th IEEE International Symposium on Industrial and Embedded Systems. SIES: International Symposium on Industrial Embedded Systems, 176–185.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 13409 |
Klajn R. 2010. Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. 82(12), 2247–2279.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 11098 |
Hetzer M. 2010. The role of the nuclear pore complex in aging of post-mitotic cells. Aging. 2(2), 74–75.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 11101 |
Doucet CM, Talamas JA, Hetzer M. 2010. Cell cycle-dependent differences in nuclear pore complex assembly in metazoa. Cell. 141(6), 1030–1041.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 11102 |
Capelson M, Liang Y, Schulte R, Mair W, Wagner U, Hetzer M. 2010. Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes. Cell. 140(3), 372–383.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Conference Paper | IST-REx-ID: 11797 |
Feldman J, Henzinger M, Korula N, Mirrokni VS, Stein C. 2010. Online stochastic packing applied to display ad allocation. 18th Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 6346, 182–194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Conference Paper | IST-REx-ID: 11838 |
Dütting P, Henzinger M, Weber I. 2010. Sponsored search, market equilibria, and the Hungarian Method. 27th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 5, 287–298.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 1752 |
Katsaros G, Spathis P, Stoffel M, Fournel F, Mongillo M, Bouchiat V, Lefloch F, Rastelli A, Schmidt O, De Franceschi S. 2010. Hybrid superconductor-semiconductor devices made from self-assembled SiGe nanocrystals on silicon. Nature Nanotechnology. 5(6), 458–464.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 1753 |
Songmuang R, Katsaros G, Monroy E, Spathis P, Bougerol C, Mongillo M, De Franceschi S. 2010. Quantum transport in GaN/AlN double-barrier heterostructure nanowires. Nano Letters. 10(9), 3545–3550.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 17639 |
Sethi S, Haiman Z, Pandey K. 2010. Supermassive black hole formation at high redshifts through a primordial magnetic field. The Astrophysical Journal. 721(1), 615–621.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 17648 |
Shang C, Bryan GL, Haiman Z. 2010. Supermassive black hole formation by direct collapse: keeping protogalactic gas H2 free in dark matter haloes with virial temperatures T_vir > rsim10^4 K . Monthly Notices of the Royal Astronomical Society. 402(2), 1249–1262.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 17664 |
Haiman Z, Whalen DJ, Bromm V, Yoshida N. 2010. The origin and detection of high-redshift supermassive black holes. AIP Conference Proceedings. The First Stars and Galaxies: Challenges for the Next Decade vol. 1294, 215–224.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 17665 |
Corrales LR, Haiman Z, MacFadyen A. 2010. Hydrodynamical response of a circumbinary gas disc to black hole recoil and mass loss. Monthly Notices of the Royal Astronomical Society. 404(2), 947–962.
[Published Version]
View
| DOI
| Download Published Version (ext.)