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 | OA
Chatterjee, K., Henzinger, T. A., & Tracol, M. (n.d.). The decidability frontier for probabilistic automata on infinite words. ArXiv. https://doi.org/10.48550/arXiv.1104.0127
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Technical Report | IST-REx-ID: 5380 | OA
Chatterjee, K. (2011). Bounded rationality in concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0008
[Published Version] View | Files available | DOI
 

2011 | Submitted | Preprint | IST-REx-ID: 3338 | OA
Chatterjee, K. (n.d.). Bounded rationality in concurrent parity games. arXiv. https://doi.org/10.48550/arXiv.1107.2146
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Technical Report | IST-REx-ID: 5379 | OA
Chatterjee, K., & Henzinger, M. (2011). An O(n2) time algorithm for alternating Büchi games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0009
[Published Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3316 | OA
Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., & Jobstmann, B. (2011). Specification-centered robustness. In 6th IEEE International Symposium on Industrial and Embedded Systems (pp. 176–185). Vasteras, Sweden: IEEE. https://doi.org/10.1109/SIES.2011.5953660
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 3337
Wang, Z., Lampert, C., Mülling, K., Schölkopf, B., & Peters, J. (2011). Learning anticipation policies for robot table tennis (pp. 332–337). Presented at the IROS: Intelligent Robots and Systems, San Francisco, USA: IEEE. https://doi.org/10.1109/IROS.2011.6094892
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 13409 | OA
Klajn, R. (2010). Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. De Gruyter. https://doi.org/10.1351/pac-con-10-09-04
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 13410
Coskun, A., Wesson, P. J., Klajn, R., Trabolsi, A., Fang, L., Olson, M. A., … Stoddart, J. F. (2010). Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja9102327
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 13411
Klajn, R., Browne, K. P., Soh, S., & Grzybowski, B. A. (2010). Nanoparticles that “remember” temperature. Small. Wiley. https://doi.org/10.1002/smll.200902272
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 13412
Klajn, R., Stoddart, J. F., & Grzybowski, B. A. (2010). Nanoparticles functionalised with reversible molecular and supramolecular switches. Chemical Society Reviews. Royal Society of Chemistry. https://doi.org/10.1039/b920377j
View | DOI | PubMed | Europe PMC
 

2010 | Published | Conference Paper | IST-REx-ID: 10909
Chen, C., & Freedman, D. (2010). Hardness results for homology localization. In Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1594–1604). Austin, TX, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973075.129
View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 11097
Hetzer, M. (2010). The nuclear envelope. Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory. https://doi.org/10.1101/cshperspect.a000539
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 11098 | OA
Hetzer, M. (2010). The role of the nuclear pore complex in aging of post-mitotic cells. Aging. Impact Journals. https://doi.org/10.18632/aging.100125
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 11099
Doucet, C. M., & Hetzer, M. (2010). Nuclear pore biogenesis into an intact nuclear envelope. Chromosoma. Springer Nature. https://doi.org/10.1007/s00412-010-0289-2
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 11101 | OA
Doucet, C. M., Talamas, J. A., & Hetzer, M. (2010). Cell cycle-dependent differences in nuclear pore complex assembly in metazoa. Cell. Elsevier. https://doi.org/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 | OA
Capelson, M., Liang, Y., Schulte, R., Mair, W., Wagner, U., & Hetzer, M. (2010). Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes. Cell. Elsevier. https://doi.org/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., Lashley, J. C., Modic, K. A., Fisher, R. A., Zhu, W. M., & Ye, Z. G. (2010). 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: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/icsd.2010.5568033
View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 11754
Lang, S. B., Lashley, J. C., Modic, K. A., Fisher, R. A., Zhu, W. M., & Ye, Z. G. (2010). Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. In 15th IEEE Mediterranean Electrotechnical Conference. Valletta, Malta: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/melcon.2010.5476345
View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 11797 | OA
Feldman, J., Henzinger, M., Korula, N., Mirrokni, V. S., & Stein, C. (2010). Online stochastic packing applied to display ad allocation. In 18th Annual European Symposium on Algorithms (Vol. 6346, pp. 182–194). Liverpool, United Kingdom: Springer Nature. https://doi.org/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, P., & Henzinger, M. (2010). Mechanisms for the marriage and the assignment game. In 7th International Conference on Algorithms and Complexity (Vol. 6078, pp. 6–12). Rome, Italy: Springer Nature. https://doi.org/10.1007/978-3-642-13073-1_2
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed