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.
10763 Publications
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.
2011 | Published | Conference Paper | IST-REx-ID: 3337
Learning anticipation policies for robot table tennis
Z. Wang, C. Lampert, K. Mülling, B. Schölkopf, J. Peters, in:, IEEE, 2011, pp. 332–337.
View
| DOI
Z. Wang, C. Lampert, K. Mülling, B. Schölkopf, J. Peters, in:, IEEE, 2011, pp. 332–337.
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: 13410
Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory
A. Coskun, P.J. Wesson, R. Klajn, A. Trabolsi, L. Fang, M.A. Olson, S.K. Dey, B.A. Grzybowski, J.F. Stoddart, Journal of the American Chemical Society 132 (2010) 4310–4320.
View
| DOI
| PubMed | Europe PMC
A. Coskun, P.J. Wesson, R. Klajn, A. Trabolsi, L. Fang, M.A. Olson, S.K. Dey, B.A. Grzybowski, J.F. Stoddart, Journal of the American Chemical Society 132 (2010) 4310–4320.
2010 | Published | Journal Article | IST-REx-ID: 13411
Nanoparticles that “remember” temperature
R. Klajn, K.P. Browne, S. Soh, B.A. Grzybowski, Small 6 (2010) 1385–1387.
View
| DOI
| PubMed | Europe PMC
R. Klajn, K.P. Browne, S. Soh, B.A. Grzybowski, Small 6 (2010) 1385–1387.
2010 | Published | Journal Article | IST-REx-ID: 13412
Nanoparticles functionalised with reversible molecular and supramolecular switches
R. Klajn, J.F. Stoddart, B.A. Grzybowski, Chemical Society Reviews 39 (2010) 2203–2237.
View
| DOI
| PubMed | Europe PMC
R. Klajn, J.F. Stoddart, B.A. Grzybowski, Chemical Society Reviews 39 (2010) 2203–2237.
2010 | Published | Conference Paper | IST-REx-ID: 10909
Hardness results for homology localization
C. Chen, D. Freedman, in:, Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2010, pp. 1594–1604.
View
| Files available
| DOI
C. Chen, D. Freedman, in:, Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2010, pp. 1594–1604.
2010 | Published | Journal Article | IST-REx-ID: 11097
The nuclear envelope
M. Hetzer, Cold Spring Harbor Perspectives in Biology 2 (2010) a000539–a000539.
View
| DOI
| PubMed | Europe PMC
M. Hetzer, Cold Spring Harbor Perspectives in Biology 2 (2010) a000539–a000539.
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: 11099
Nuclear pore biogenesis into an intact nuclear envelope
C.M. Doucet, M. Hetzer, Chromosoma 119 (2010) 469–477.
View
| DOI
| PubMed | Europe PMC
C.M. Doucet, M. Hetzer, Chromosoma 119 (2010) 469–477.
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: 11753
Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary
S.B. Lang, J.C. Lashley, K.A. Modic, R.A. Fisher, W.M. Zhu, Z.G. Ye, in:, Proceedings of the 2010 IEEE International Conference on Solid Dielectrics, Institute of Electrical and Electronics Engineers, 2010.
View
| Files available
| DOI
S.B. Lang, J.C. Lashley, K.A. Modic, R.A. Fisher, W.M. Zhu, Z.G. Ye, in:, Proceedings of the 2010 IEEE International Conference on Solid Dielectrics, Institute of Electrical and Electronics Engineers, 2010.
2010 | Published | Conference Paper | IST-REx-ID: 11754
Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary
S.B. Lang, J.C. Lashley, K.A. Modic, R.A. Fisher, W.M. Zhu, Z.G. Ye, in:, 15th IEEE Mediterranean Electrotechnical Conference, Institute of Electrical and Electronics Engineers, 2010.
View
| Files available
| DOI
S.B. Lang, J.C. Lashley, K.A. Modic, R.A. Fisher, W.M. Zhu, Z.G. Ye, in:, 15th IEEE Mediterranean Electrotechnical Conference, Institute of Electrical and Electronics Engineers, 2010.
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: 11798
Mechanisms for the marriage and the assignment game
P. Dütting, M. Henzinger, in:, 7th International Conference on Algorithms and Complexity, Springer Nature, 2010, pp. 6–12.
View
| DOI
P. Dütting, M. Henzinger, in:, 7th International Conference on Algorithms and Complexity, Springer Nature, 2010, pp. 6–12.