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.
7131 Publications
2010 | Published | Conference Paper | IST-REx-ID: 3866 | 
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2010. Robustness in the presence of liveness. CAV: Computer Aided Verification, LNCS, vol. 6174, 410–424.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4388 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174, 665–669.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 3303 |
Weissman D, Feldman M, Fisher D. 2010. The rate of fitness-valley crossing in sexual populations. Genetics. 186(4), 1389–1410.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 4396 |
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4361 |
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014, 94–108.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5388 |
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.
[Published Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3856 |
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. 2010. Randomness for free. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 246–257.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Conference Paper | IST-REx-ID: 3864 |
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2010. Measuring and synthesizing systems in probabilistic environments. CAV: Computer Aided Verification, LNCS, vol. 6174, 380–395.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Conference Paper | IST-REx-ID: 489 |
Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2010 | Published | Conference Paper | IST-REx-ID: 3719 |
Feret J, Henzinger TA, Koeppl H, Petrov T. 2010. Lumpability abstractions of rule-based systems. MECBIC: Membrane Computing and Biologically Inspired Process Calculi, EPTCS, vol. 40, 142–161.
[Submitted Version]
View
| Files available
| arXiv
2010 | Published | Conference Paper | IST-REx-ID: 4393 |
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5389 |
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria, 24p.
[Published Version]
View
| Files available
| DOI
2010 | Published | Book Chapter | IST-REx-ID: 4339 |
Bergmann J, Danowski P. 2010.Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Handbuch Bibliothek 2.0. , 5–20.
[Published Version]
View
| Files available
| DOI
2010 | Published | Book (Editor) | IST-REx-ID: 4346 |
Danowski P, Bergmann J eds. 2010. Handbuch Bibliothek 2.0, De Gruyter, 405p.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 10908 |
Blanc R, Henzinger TA, Hottelier T, Kovács L. 2010. ABC: Algebraic Bound Computation for loops. Logic for Programming, Artificial Intelligence, and Reasoning. LPAR: Logic for Programming, Artificial Intelligence and ReasoningLNCS vol. 6355, 103–118.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 3851 |
Chatterjee K, Doyen L. 2010. Energy parity games. ICALP: Automata, Languages and Programming, LNCS, vol. 6199, 599–610.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 11103 |
Hetzer M, Wente SR. 2009. Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes. Developmental Cell. 17(5), 606–616.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 11105 |
Capelson M, Hetzer M. 2009. The role of nuclear pores in gene regulation, development and disease. EMBO reports. 10(7), 697–705.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 11106 |
Anderson DJ, Vargas JD, Hsiao JP, Hetzer M. 2009. Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo. Journal of Cell Biology. 186(2), 183–191.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 11107 |
Dawson TR, Lazarus MD, Hetzer M, Wente SR. 2009. ER membrane–bending proteins are necessary for de novo nuclear pore formation. Journal of Cell Biology. 184(5), 659–675.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC