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.
256 Publications
2009 | Published | Journal Article | IST-REx-ID: 9147 | 
Saturation of the internal tides and induced mixing in the abyssal ocean
C.J. Muller, O. Bühler, Journal of Physical Oceanography 39 (2009) 2077–2096.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.J. Muller, O. Bühler, Journal of Physical Oceanography 39 (2009) 2077–2096.
2009 | Published | Journal Article | IST-REx-ID: 9148 |
A model for the relationship between tropical precipitation and column water vapor
C.J. Muller, L.E. Back, P.A. O’Gorman, K.A. Emanuel, Geophysical Research Letters 36 (2009).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.J. Muller, L.E. Back, P.A. O’Gorman, K.A. Emanuel, Geophysical Research Letters 36 (2009).
2009 | Published | Journal Article | IST-REx-ID: 9453 |
Genome-wide demethylation of Arabidopsis endosperm
T.-F. Hsieh, C.A. Ibarra, P. Silva, A. Zemach, L. Eshed-Williams, R.L. Fischer, D. Zilberman, Science 324 (2009) 1451–1454.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
T.-F. Hsieh, C.A. Ibarra, P. Silva, A. Zemach, L. Eshed-Williams, R.L. Fischer, D. Zilberman, Science 324 (2009) 1451–1454.
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: 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: 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 | Book Chapter | IST-REx-ID: 4137
Limits to adaptation and patterns of biodiversity
J. Bridle, J. Polechova, T. Vines, in:, J.R. R. K. Butlin, J. Bridle, D. Schluter (Eds.), Speciation and Patterns of Diversity, Cambridge University Press, 2009, pp. 77–101.
View
| DOI
J. Bridle, J. Polechova, T. Vines, in:, J.R. R. K. Butlin, J. Bridle, D. Schluter (Eds.), Speciation and Patterns of Diversity, Cambridge University Press, 2009, pp. 77–101.
2009 | Published | Conference Paper | IST-REx-ID: 4385
Preventing versus curing: Avoiding conflicts in transactional memories
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, ACM, 2009, pp. 7–16.
View
| DOI
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, ACM, 2009, pp. 7–16.
2009 | Published | Conference Paper | IST-REx-ID: 4360
Combining theories with shared set operations
T. Wies, R. Piskac, V. Kuncak, in:, 7th International Symposium on Frontiers of Combining Systems, Springer, 2009, pp. 366–382.
View
| DOI
T. Wies, R. Piskac, V. Kuncak, in:, 7th International Symposium on Frontiers of Combining Systems, Springer, 2009, pp. 366–382.
2009 | Published | Conference Paper | IST-REx-ID: 4377
It's doomed; we can prove it
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Second World Congress on Formal Methods, Springer, 2009, pp. 338–353.
View
| DOI
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Second World Congress on Formal Methods, Springer, 2009, pp. 338–353.
2009 | Published | Journal Article | IST-REx-ID: 4376
Parallel programming with object assemblies
R. Lublinerman, S. Chaudhuri, P. Cerny, ACM SIGPLAN Notices 44 (2009) 61–80.
View
| DOI
R. Lublinerman, S. Chaudhuri, P. Cerny, ACM SIGPLAN Notices 44 (2009) 61–80.
2009 | Published | Conference Paper | IST-REx-ID: 4391
Automated analysis of Java methods for confidentiality
P. Cerny, R. Alur, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 173–187.
View
| DOI
P. Cerny, R. Alur, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 173–187.
2009 | Published | Conference Paper | IST-REx-ID: 4365
Abstraction refinement for quantified array assertions
M. Seghir, A. Podelski, T. Wies, in:, 16th International Symposium on Static Analysis, Springer, 2009, pp. 3–18.
View
| DOI
M. Seghir, A. Podelski, T. Wies, in:, 16th International Symposium on Static Analysis, Springer, 2009, pp. 3–18.
2009 | Published | Conference Paper | IST-REx-ID: 4375
Intra-module inference
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 493–508.
View
| DOI
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 493–508.