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.
7210 Publications
2010 | Conference Paper | IST-REx-ID: 489 | 
J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.
View
| DOI
| Download Published Version (ext.)
2010 | Technical Report | IST-REx-ID: 5388 |
K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and R. Singh, Quantitative synthesis for concurrent programs. IST Austria, 2010.
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5389 |
P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5390 |
K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5391 |
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 598 |
K. Meyer, S. Lin, C. Bernecky, Y. Gao, and D. Taatjes, “P53 activates transcription by directing structural shifts in Mediator,” Nature Structural and Molecular Biology, vol. 17, no. 6. Nature Publishing Group, pp. 753–760, 2010.
View
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 7078 |
E. K. H. Salje et al., “Tin telluride: A weakly co-elastic metal,” Physical Review B, vol. 82, no. 18. APS, 2010.
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 7318
V. Giordani, S. A. Freunberger, P. G. Bruce, J.-M. Tarascon, and D. Larcher, “H2O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells,” Electrochemical and Solid-State Letters, vol. 13, no. 12. The Electrochemical Society, 2010.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 755
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and M. Zadimoghaddam, “How efficient can gossip be? (On the cost of resilient information exchange),” presented at the ICALP: International Colloquium on Automota, Languages and Programming, 2010, vol. 6199 LNCS, no. PART 2, pp. 115–126.
View
| DOI
2010 | Journal Article | IST-REx-ID: 11097
M. W. 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 | Journal Article | IST-REx-ID: 11098 |
M. W. 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.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 11099
C. M. Doucet and M. W. HETZER, “Nuclear pore biogenesis into an intact nuclear envelope,” Chromosoma, vol. 119. Springer Nature, pp. 469–477, 2010.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 11101 |
C. M. Doucet, J. A. Talamas, and M. W. HETZER, “Cell cycle-dependent differences in nuclear pore complex assembly in metazoa,” Cell, vol. 141, no. 6. Elsevier, pp. 1030–1041, 2010.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC