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.
10604 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
| Download Preprint (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, M. Tracol, (n.d.).
2011 | Published | Technical Report | IST-REx-ID: 5382 |
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
2011 | Published | Conference Paper | IST-REx-ID: 3346 |
Two views on multiple mean payoff objectives in Markov Decision Processes
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, in:, IEEE, 2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, in:, IEEE, 2011.
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 | Published | Conference Paper | IST-REx-ID: 3342 |
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
2011 | Published | Conference Paper | IST-REx-ID: 3238
Efficient authentication from hard learning problems
E. Kiltz, K.Z. Pietrzak, D. Cash, A. Jain, D. Venturi, in:, Springer, 2011, pp. 7–26.
View
| Files available
| DOI
E. Kiltz, K.Z. Pietrzak, D. Cash, A. Jain, D. Venturi, in:, Springer, 2011, pp. 7–26.
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.