Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
LibreCat: https://research-explorer.ista.ac.at/record/4569
DOI: 10.1007/978-3-642-02658-4_14
arXiv: 0904.2638

Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
LibreCat: https://research-explorer.ista.ac.at/record/4580
DOI: 10.1007/978-3-642-00768-2_7

Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, 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

Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, 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

Probabilistic automata on infinite words: Decidability and undecidability results
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

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.
LibreCat: https://research-explorer.ista.ac.at/record/5395
DOI: 10.15479/AT:IST-2009-0001

The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
LibreCat: https://research-explorer.ista.ac.at/record/599
DOI: 10.1101/gad.1767009

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

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

Influence of magnetic fields on structural martensitic transitions
X. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Oppeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, in:, Journal of Physics: Conference Series, IOP Publishing, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/11752
DOI: 10.1088/1742-6596/200/3/032062

Influence of magnetic fields on structural martensitic transitions
X.-D. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, Philosophical Magazine 89 (2009) 2083–2091.
LibreCat: https://research-explorer.ista.ac.at/record/7080
DOI: 10.1080/14786430902865518

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

Of choices, failures and asynchrony: the many faces of set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2009, pp. 943–953.
LibreCat: https://research-explorer.ista.ac.at/record/752
DOI: 10.1007/978-3-642-10631-6_95

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

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

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).
LibreCat: https://research-explorer.ista.ac.at/record/88
DOI: 10.1063/1.3155302
PMID:     19566203

Giant nernst effect due to fluctuating cooper Pairs in superconductors
M. Serbyn, M. Skvortsov, A. Varlamov, V. Galitski, in:, American Institute of Physics, 2009, pp. 140–145.
LibreCat: https://research-explorer.ista.ac.at/record/964
DOI: 10.1063/1.3149485

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.
LibreCat: https://research-explorer.ista.ac.at/record/8479
DOI: 10.1007/s10858-008-9284-9

Direct observation of the dynamic process underlying allosteric signal transmission
S. Bruschweiler, P. Schanda, K. Kloiber, B. Brutscher, G. Kontaxis, R. Konrat, M. Tollinger, Journal of the American Chemical Society 131 (2009) 3063–3068.
LibreCat: https://research-explorer.ista.ac.at/record/8478
DOI: 10.1021/ja809947w

Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution
J. Farjon, J. Boisbouvier, P. Schanda, A. Pardi, J.-P. Simorre, B. Brutscher, Journal of the American Chemical Society 131 (2009) 8571–8577.
LibreCat: https://research-explorer.ista.ac.at/record/8476
DOI: 10.1021/ja901633y