An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates
M. Gal, T. Kern, P. Schanda, L. Frydman, B. Brutscher, Journal of Biomolecular NMR 43 (2009) 1–10.

Conservative homoclinic bifurcations and some applications
A. Gorodetski, V. Kaloshin, Proceedings of the Steklov Institute of Mathematics 267 (2009) 76–90.

Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments
A.P. Higginbotham, O. Semonin, S. Bruce, C. Chan, M. Maindi, T. Donnelly, M. Maurer, W. Bang, I.. Churina, J. Osterholz, I. Kim, A. Bernstein, T. Ditmire, Review of Scientific Instruments 80 (2009).

Translation termination in pyrrolysine-utilizing archaea
E. Alkalaeva, B. Eliseev, A. Ambrogelly, P. Vlasov, F. Kondrashov, S. Gundllapalli, L. Frolova, D. Söll, L. Kisselev, FEBS Letters 583 (2009) 3455–3460.

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.

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).

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.

A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.

Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.

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.

Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.

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.

Probabilistic automata on infinite words: Decidability and undecidability results
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.

Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.

Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.

Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.

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.

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.

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.

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.