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 TA, Tracol M. The decidability frontier for probabilistic automata on infinite words. doi:10.48550/arXiv.1104.0127
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Technical Report | IST-REx-ID: 5380 | OA
Chatterjee K. 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 | OA
Chatterjee K. Bounded rationality in concurrent parity games. arXiv.: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 | OA
Chatterjee K, Henzinger M. 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 | OA
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Specification-centered robustness. In: 6th IEEE International Symposium on Industrial and Embedded Systems. IEEE; 2011:176-185. doi: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. Learning anticipation policies for robot table tennis. In: IEEE; 2011:332-337. doi:10.1109/IROS.2011.6094892
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 13409 | OA
Klajn R. Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. 2010;82(12):2247-2279. 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 A, Wesson PJ, Klajn R, et al. Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory. Journal of the American Chemical Society. 2010;132(12):4310-4320. doi:10.1021/ja9102327
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 13411
Klajn R, Browne KP, Soh S, Grzybowski BA. Nanoparticles that “remember” temperature. Small. 2010;6(13):1385-1387. doi:10.1002/smll.200902272
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 13412
Klajn R, Stoddart JF, Grzybowski BA. Nanoparticles functionalised with reversible molecular and supramolecular switches. Chemical Society Reviews. 2010;39(6):2203-2237. doi:10.1039/b920377j
View | DOI | PubMed | Europe PMC
 

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

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

2010 | Published | Journal Article | IST-REx-ID: 11098 | OA
Hetzer M. The role of the nuclear pore complex in aging of post-mitotic cells. Aging. 2010;2(2):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 CM, Hetzer M. Nuclear pore biogenesis into an intact nuclear envelope. Chromosoma. 2010;119:469-477. doi:10.1007/s00412-010-0289-2
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 11101 | OA
Doucet CM, Talamas JA, Hetzer M. Cell cycle-dependent differences in nuclear pore complex assembly in metazoa. Cell. 2010;141(6):1030-1041. 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 | OA
Capelson M, Liang Y, Schulte R, Mair W, Wagner U, Hetzer M. Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes. Cell. 2010;140(3):372-383. 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 SB, Lashley JC, Modic KA, Fisher RA, Zhu WM, Ye ZG. Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. In: Proceedings of the 2010 IEEE International Conference on Solid Dielectrics. 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 SB, Lashley JC, Modic KA, Fisher RA, Zhu WM, Ye ZG. Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. In: 15th IEEE Mediterranean Electrotechnical Conference. 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 | OA
Feldman J, Henzinger M, Korula N, Mirrokni VS, Stein C. Online stochastic packing applied to display ad allocation. In: 18th Annual European Symposium on Algorithms. Vol 6346. Springer Nature; 2010: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 P, Henzinger M. Mechanisms for the marriage and the assignment game. In: 7th International Conference on Algorithms and Complexity. Vol 6078. Springer Nature; 2010:6–12. doi:10.1007/978-3-642-13073-1_2
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed