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 | 
Chatterjee, Krishnendu, et al. The Decidability Frontier for Probabilistic Automata on Infinite Words. 1104.0127, ArXiv, doi:10.48550/arXiv.1104.0127.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Technical Report | IST-REx-ID: 5380 |
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
[Published Version]
View
| Files available
| DOI
2011 | Submitted | Preprint | IST-REx-ID: 3338 |
Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv, 1107.2146, pp. 1–51, doi:10.48550/arXiv.1107.2146.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Technical Report | IST-REx-ID: 5379 |
Chatterjee, Krishnendu, and Monika Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3316 |
Bloem, Roderick, et al. “Specification-Centered Robustness.” 6th IEEE International Symposium on Industrial and Embedded Systems, IEEE, 2011, pp. 176–85, doi:10.1109/SIES.2011.5953660.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Conference Paper | IST-REx-ID: 3337
Wang, Zhikun, et al. Learning Anticipation Policies for Robot Table Tennis. IEEE, 2011, pp. 332–37, doi:10.1109/IROS.2011.6094892.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 13409 |
Klajn, Rafal. “Immobilized Azobenzenes for the Construction of Photoresponsive Materials.” Pure and Applied Chemistry, vol. 82, no. 12, De Gruyter, 2010, pp. 2247–79, doi:10.1351/pac-con-10-09-04.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 13410
Coskun, Ali, 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, 2010, pp. 4310–20, doi:10.1021/ja9102327.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 13411
Klajn, Rafal, et al. “Nanoparticles That ‘Remember’ Temperature.” Small, vol. 6, no. 13, Wiley, 2010, pp. 1385–87, doi:10.1002/smll.200902272.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 13412
Klajn, Rafal, et al. “Nanoparticles Functionalised with Reversible Molecular and Supramolecular Switches.” Chemical Society Reviews, vol. 39, no. 6, Royal Society of Chemistry, 2010, pp. 2203–37, doi:10.1039/b920377j.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Conference Paper | IST-REx-ID: 10909
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2010, pp. 1594–604, doi:10.1137/1.9781611973075.129.
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 11097
Hetzer, Martin. “The Nuclear Envelope.” Cold Spring Harbor Perspectives in Biology, vol. 2, no. 3, Cold Spring Harbor Laboratory, 2010, pp. a000539–a000539, doi:10.1101/cshperspect.a000539.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 11098 |
Hetzer, Martin. “The Role of the Nuclear Pore Complex in Aging of Post-Mitotic Cells.” Aging, vol. 2, no. 2, Impact Journals, 2010, pp. 74–75, doi:10.18632/aging.100125.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 11099
Doucet, Christine M., and Martin Hetzer. “Nuclear Pore Biogenesis into an Intact Nuclear Envelope.” Chromosoma, vol. 119, Springer Nature, 2010, pp. 469–77, doi:10.1007/s00412-010-0289-2.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 11101 |
Doucet, Christine M., et al. “Cell Cycle-Dependent Differences in Nuclear Pore Complex Assembly in Metazoa.” Cell, vol. 141, no. 6, Elsevier, 2010, pp. 1030–41, doi:10.1016/j.cell.2010.04.036.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 11102 |
Capelson, Maya, et al. “Chromatin-Bound Nuclear Pore Components Regulate Gene Expression in Higher Eukaryotes.” Cell, vol. 140, no. 3, Elsevier, 2010, pp. 372–83, doi:10.1016/j.cell.2009.12.054.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Conference Paper | IST-REx-ID: 11753
Lang, S. B., et al. “Specific Heat of a Ferroelectric PZT Ceramic at the Morphotropic Phase Boundary.” Proceedings of the 2010 IEEE International Conference on Solid Dielectrics, 5568033, Institute of Electrical and Electronics Engineers, 2010, doi:10.1109/icsd.2010.5568033.
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 11754
Lang, S. B., et al. “Specific Heat of a Ferroelectric PZT Ceramic at the Morphotropic Phase Boundary.” 15th IEEE Mediterranean Electrotechnical Conference, 5476345, Institute of Electrical and Electronics Engineers, 2010, doi:10.1109/melcon.2010.5476345.
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 11797 |
Feldman, Jon, et al. “Online Stochastic Packing Applied to Display Ad Allocation.” 18th Annual European Symposium on Algorithms, vol. 6346, Springer Nature, 2010, pp. 182–194, doi:10.1007/978-3-642-15775-2_16.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Conference Paper | IST-REx-ID: 11798
Dütting, Paul, and Monika Henzinger. “Mechanisms for the Marriage and the Assignment Game.” 7th International Conference on Algorithms and Complexity, vol. 6078, Springer Nature, 2010, pp. 6–12, doi:10.1007/978-3-642-13073-1_2.
View
| DOI