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.
LibreCat: https://research-explorer.ista.ac.at/record/4543
DOI: 10.1007/978-3-642-03816-7_4

K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Termination criteria for solving concurrent safety and reachability games,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 197–206.
LibreCat: https://research-explorer.ista.ac.at/record/4544
DOI: 10.1137/1.9781611973068.23

K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” presented at the LICS: Logic in Computer Science, 2009, pp. 199–208.
LibreCat: https://research-explorer.ista.ac.at/record/4540
DOI: 10.1109/LICS.2009.16

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.
LibreCat: https://research-explorer.ista.ac.at/record/4569
DOI: 10.1007/978-3-642-02658-4_14
arXiv: 0904.2638

D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.
LibreCat: https://research-explorer.ista.ac.at/record/4580
DOI: 10.1007/978-3-642-00768-2_7

K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, Gist: A solver for probabilistic games. IST Austria, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/5393
DOI: 10.15479/AT:IST-2009-0003

K. Chatterjee, T. A. Henzinger, and F. Horn, Improved lower bounds for request-response and finitary Streett games. IST Austria, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/5394
DOI: 10.15479/AT:IST-2009-0002

K. Chatterjee, Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/5392
DOI: 10.15479/AT:IST-2009-0004

K. Chatterjee, L. Doyen, and T. A. Henzinger, Qualitative analysis of partially-observable Markov decision processes. IST Austria, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/5395
DOI: 10.15479/AT:IST-2009-0001

M. Knuesel, K. Meyer, C. Bernecky, and D. Taatjes, “The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function,” Genes and Development, vol. 23, no. 4. Cold Spring Harbor Laboratory Press, pp. 439–451, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/599
DOI: 10.1101/gad.1767009

A. Persson, E. Gross, P. Laurent, K. E. Busch, H. Bretes, and M. de Bono, “Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans,” Nature, vol. 458, no. 7241. Springer Nature, pp. 1030–1033, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/6144
DOI: 10.1038/nature07820
PMID: 19262507

M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, and M. de Bono, “Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling,” Cell Metabolism, vol. 9, no. 4. Elsevier, pp. 375–385, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/6145
DOI: 10.1016/j.cmet.2009.02.003
PMID: 19356718

X. Yang et al., “Influence of magnetic fields on structural martensitic transitions,” in Journal of Physics: Conference Series, Karlsruhe, Germany, 2009, vol. 200, no. 3.
LibreCat: https://research-explorer.ista.ac.at/record/11752
DOI: 10.1088/1742-6596/200/3/032062

X.-D. Yang et al., “Influence of magnetic fields on structural martensitic transitions,” Philosophical Magazine, vol. 89, no. 22–24. Taylor &; Francis, pp. 2083–2091, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/7080
DOI: 10.1080/14786430902865518

M. Reum, S. A. Freunberger, A. Wokaun, and F. N. Buchi, “Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters,” Journal of The Electrochemical Society, vol. 156, no. 3. The Electrochemical Society, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/7319
DOI: 10.1149/1.3043422

D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Of choices, failures and asynchrony: the many faces of set agreement,” presented at the ISAAC: International Symposium on Algorithms and Computation, 2009, vol. 5878 LNCS, pp. 943–953.
LibreCat: https://research-explorer.ista.ac.at/record/752
DOI: 10.1007/978-3-642-10631-6_95

M. R. Robinson, A. J. Wilson, J. G. Pilkington, T. H. Clutton-Brock, J. M. Pemberton, and L. E. B. Kruuk, “The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep,” Genetics, vol. 181, no. 4. Genetics Society of America, pp. 1639–1648, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/7751
DOI: 10.1534/genetics.108.086801

T. P. Vogels and L. F. Abbott, “Gating multiple signals through detailed balance of excitation and inhibition in spiking networks,” Nature Neuroscience, vol. 12, no. 4. Springer Nature, pp. 483–491, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/8026
DOI: 10.1038/nn.2276
PMID: 19305402

A. P. Higginbotham et al., “Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments,” Review of Scientific Instruments, vol. 80, no. 6. American Institute of Physics, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/88
DOI: 10.1063/1.3155302
PMID:     19566203

M. Serbyn, M. Skvortsov, A. Varlamov, and V. Galitski, “Giant nernst effect due to fluctuating cooper Pairs in superconductors,” presented at the Landau Memorial Conference on Advances in Theoretical Physics, 2009, vol. 1134, pp. 140–145.
LibreCat: https://research-explorer.ista.ac.at/record/964
DOI: 10.1063/1.3149485