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 | OA
C. J. Muller and O. Bühler, “Saturation of the internal tides and induced mixing in the abyssal ocean,” Journal of Physical Oceanography, vol. 39, no. 9. American Meteorological Society, pp. 2077–2096, 2009.
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 9148 | OA
C. J. Muller, L. E. Back, P. A. O’Gorman, and K. A. Emanuel, “A model for the relationship between tropical precipitation and column water vapor,” Geophysical Research Letters, vol. 36, no. 16. American Geophysical Union, 2009.
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 9453 | OA
T.-F. Hsieh et al., “Genome-wide demethylation of Arabidopsis endosperm,” Science, vol. 324, no. 5933. American Association for the Advancement of Science, pp. 1451–1454, 2009.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 3837 | OA
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3871 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5395 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, Qualitative analysis of partially-observable Markov decision processes. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5392 | OA
K. Chatterjee, Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5393 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, Gist: A solver for probabilistic games. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4543
K. Chatterjee, T. A. Henzinger, and F. Horn, “Stochastic games with finitary objectives,” presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia, 2009, vol. 5734, pp. 34–54.
View | DOI
 

2009 | Published | Book Chapter | IST-REx-ID: 4137
J. Bridle, J. Polechova, and T. Vines, “Limits to adaptation and patterns of biodiversity,” in Speciation and Patterns of Diversity, J. R. R. K. Butlin, J. Bridle, and D. Schluter, Eds. Cambridge University Press, 2009, pp. 77–101.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4385
A. Dragojevic, R. Guerraoui, A. Singh, and V. Singh, “Preventing versus curing: Avoiding conflicts in transactional memories,” in Proceedings of the 28th ACM symposium on Principles of distributed computing, Calgary, Canada, 2009, pp. 7–16.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4360
T. Wies, R. Piskac, and V. Kuncak, “Combining theories with shared set operations,” in 7th International Symposium on Frontiers of Combining Systems, Trento, Italy, 2009, vol. 5749, pp. 366–382.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4377
J. Hoenicke, K. R. Leino, A. Podelski, M. Schäf, and T. Wies, “It’s doomed; we can prove it,” in Second World Congress on Formal Methods, Eindhoven, The Netherlands, 2009, vol. 5850, pp. 338–353.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4376
R. Lublinerman, S. Chaudhuri, and P. Cerny, “Parallel programming with object assemblies,” ACM SIGPLAN Notices, vol. 44, no. 10. ACM, pp. 61–80, 2009.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4391
P. Cerny and R. Alur, “Automated analysis of Java methods for confidentiality,” in 21st International Conference on Computer Aided Verification, 2009, vol. 5643, pp. 173–187.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4365
M. Seghir, A. Podelski, and T. Wies, “Abstraction refinement for quantified array assertions,” in 16th International Symposium on Static Analysis, Los Angeles, CA, United States, 2009, vol. 5673, pp. 3–18.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4375
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, and T. Wies, “Intra-module inference,” in 21st International Conference on Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 493–508.
View | DOI
 

Filters and Search Terms

year=2009

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed