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 | Journal Article | IST-REx-ID: 3870 | 
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
2009 | Published | Conference Paper | IST-REx-ID: 4545 |
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
2009 | Published | Conference Paper | IST-REx-ID: 4569 |
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
[Submitted Version]
View
| Files available
| DOI
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
2009 | Published | Technical Report | IST-REx-ID: 5395 |
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
2009 | Published | Technical Report | IST-REx-ID: 5392 |
Probabilistic automata on infinite words: Decidability and undecidability results
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
2009 | Published | Conference Paper | IST-REx-ID: 4540
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.
2009 | Published | Conference Paper | IST-REx-ID: 4542 |
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
2009 | Published | Technical Report | IST-REx-ID: 5393 |
Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
2009 | Published | Conference Paper | IST-REx-ID: 4543
Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
View
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
2008 | Published | Journal Article | IST-REx-ID: 13422
Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 “nanoflowers”
Y. Wei, R. Klajn, A.O. Pinchuk, B.A. Grzybowski, Small 4 (2008) 1635–1639.
View
| DOI
| PubMed | Europe PMC
Y. Wei, R. Klajn, A.O. Pinchuk, B.A. Grzybowski, Small 4 (2008) 1635–1639.
2008 | Published | Journal Article | IST-REx-ID: 13423
Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates
R. Klajn, T.P. Gray, P.J. Wesson, B.D. Myers, V.P. Dravid, S.K. Smoukov, B.A. Grzybowski, Advanced Functional Materials 18 (2008) 2763–2769.
View
| DOI
R. Klajn, T.P. Gray, P.J. Wesson, B.D. Myers, V.P. Dravid, S.K. Smoukov, B.A. Grzybowski, Advanced Functional Materials 18 (2008) 2763–2769.
2008 | Published | Journal Article | IST-REx-ID: 1460 |
Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz
T. Hausel, F. Rodríguez Villegas, Inventiones Mathematicae 174 (2008) 555–624.
View
| DOI
| Download (ext.)
T. Hausel, F. Rodríguez Villegas, Inventiones Mathematicae 174 (2008) 555–624.
2008 | Published | Journal Article | IST-REx-ID: 11109
Reorganization of the nuclear envelope during open mitosis
U. Kutay, M. Hetzer, Current Opinion in Cell Biology 20 (2008) 669–677.
View
| DOI
| PubMed | Europe PMC
U. Kutay, M. Hetzer, Current Opinion in Cell Biology 20 (2008) 669–677.
2008 | Published | Journal Article | IST-REx-ID: 11110
Structure, dynamics and function of nuclear pore complexes
M.A. D’Angelo, M. Hetzer, Trends in Cell Biology 18 (2008) 456–466.
View
| DOI
| PubMed | Europe PMC
M.A. D’Angelo, M. Hetzer, Trends in Cell Biology 18 (2008) 456–466.
2008 | Published | Journal Article | IST-REx-ID: 11111
Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation
D.J. Anderson, M. Hetzer, Journal of Cell Biology 182 (2008) 911–924.
View
| DOI
| PubMed | Europe PMC
D.J. Anderson, M. Hetzer, Journal of Cell Biology 182 (2008) 911–924.
2008 | Published | Journal Article | IST-REx-ID: 11112
The life cycle of the metazoan nuclear envelope
D.J. Anderson, M. Hetzer, Current Opinion in Cell Biology 20 (2008) 386–392.
View
| DOI
| PubMed | Europe PMC
D.J. Anderson, M. Hetzer, Current Opinion in Cell Biology 20 (2008) 386–392.