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