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 | 
K. Chatterjee, T. A. Henzinger, and M. Tracol, “The decidability frontier for probabilistic automata on infinite words.” ArXiv.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Technical Report | IST-REx-ID: 5380 |
K. Chatterjee, Bounded rationality in concurrent parity games. IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
2011 | Submitted | Preprint | IST-REx-ID: 3338 |
K. Chatterjee, “Bounded rationality in concurrent parity games,” arXiv. pp. 1–51.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Technical Report | IST-REx-ID: 5379 |
K. Chatterjee and M. Henzinger, An O(n2) time algorithm for alternating Büchi games. IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3316 |
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Specification-centered robustness,” in 6th IEEE International Symposium on Industrial and Embedded Systems, Vasteras, Sweden, 2011, pp. 176–185.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 13409 |
R. Klajn, “Immobilized azobenzenes for the construction of photoresponsive materials,” Pure and Applied Chemistry, vol. 82, no. 12. De Gruyter, pp. 2247–2279, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 13410
A. Coskun et al., “Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory,” Journal of the American Chemical Society, vol. 132, no. 12. American Chemical Society, pp. 4310–4320, 2010.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 13411
R. Klajn, K. P. Browne, S. Soh, and B. A. Grzybowski, “Nanoparticles that ‘remember’ temperature,” Small, vol. 6, no. 13. Wiley, pp. 1385–1387, 2010.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 13412
R. Klajn, J. F. Stoddart, and B. A. Grzybowski, “Nanoparticles functionalised with reversible molecular and supramolecular switches,” Chemical Society Reviews, vol. 39, no. 6. Royal Society of Chemistry, pp. 2203–2237, 2010.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Conference Paper | IST-REx-ID: 10909
C. Chen and D. Freedman, “Hardness results for homology localization,” in Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Austin, TX, United States, 2010, pp. 1594–1604.
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 11097
M. Hetzer, “The nuclear envelope,” Cold Spring Harbor Perspectives in Biology, vol. 2, no. 3. Cold Spring Harbor Laboratory, pp. a000539–a000539, 2010.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 11098 |
M. Hetzer, “The role of the nuclear pore complex in aging of post-mitotic cells,” Aging, vol. 2, no. 2. Impact Journals, pp. 74–75, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 11099
C. M. Doucet and M. Hetzer, “Nuclear pore biogenesis into an intact nuclear envelope,” Chromosoma, vol. 119. Springer Nature, pp. 469–477, 2010.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 11101 |
C. M. Doucet, J. A. Talamas, and M. Hetzer, “Cell cycle-dependent differences in nuclear pore complex assembly in metazoa,” Cell, vol. 141, no. 6. Elsevier, pp. 1030–1041, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 11102 |
M. Capelson, Y. Liang, R. Schulte, W. Mair, U. Wagner, and M. Hetzer, “Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes,” Cell, vol. 140, no. 3. Elsevier, pp. 372–383, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Conference Paper | IST-REx-ID: 11753
S. B. Lang, J. C. Lashley, K. A. Modic, R. A. Fisher, W. M. Zhu, and Z. G. Ye, “Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary,” in Proceedings of the 2010 IEEE International Conference on Solid Dielectrics, Potsdam, Germany, 2010.
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 11754
S. B. Lang, J. C. Lashley, K. A. Modic, R. A. Fisher, W. M. Zhu, and Z. G. Ye, “Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary,” in 15th IEEE Mediterranean Electrotechnical Conference, Valletta, Malta, 2010.
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 11797 |
J. Feldman, M. Henzinger, N. Korula, V. S. Mirrokni, and C. Stein, “Online stochastic packing applied to display ad allocation,” in 18th Annual European Symposium on Algorithms, Liverpool, United Kingdom, 2010, vol. 6346, pp. 182–194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv