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.
10717 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4542 | 
Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5393 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4385
Dragojevic A, Guerraoui R, Singh A, Singh V. 2009. Preventing versus curing: Avoiding conflicts in transactional memories. Proceedings of the 28th ACM symposium on Principles of distributed computing. POPL: Principles of Programming Languages, 7–16.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Alur R, Cerny P, Weinstein S. 2009. Algorithmic analysis of array-accessing programs. CSL: Computer Science Logic, LNCS, vol. 5771, 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 | Published | Thesis | IST-REx-ID: 4232
de Vladar H. 2009. Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen.
View
2008 | Published | Journal Article | IST-REx-ID: 13422
Wei Y, Klajn R, Pinchuk AO, Grzybowski BA. 2008. Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 “nanoflowers”. Small. 4(10), 1635–1639.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 13423
Klajn R, Gray TP, Wesson PJ, Myers BD, Dravid VP, Smoukov SK, Grzybowski BA. 2008. Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates. Advanced Functional Materials. 18(18), 2763–2769.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1460 |
Hausel T, Rodríguez Villegas F. 2008. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 174(3), 555–624.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 11109
Kutay U, Hetzer M. 2008. Reorganization of the nuclear envelope during open mitosis. Current Opinion in Cell Biology. 20(6), 669–677.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11110
D’Angelo MA, Hetzer M. 2008. Structure, dynamics and function of nuclear pore complexes. Trends in Cell Biology. 18(10), 456–466.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11111
Anderson DJ, Hetzer M. 2008. Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. 182(5), 911–924.
View
| DOI
| PubMed | Europe PMC