Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
LibreCat: https://research-explorer.ista.ac.at/record/5384
DOI: 10.15479/AT:IST-2011-0004

Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation. CVPR: Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 2089–2096.
LibreCat: https://research-explorer.ista.ac.at/record/3336
DOI: 10.1109/CVPR.2011.5995503

Wies T, Muñiz M, Kuncak V. 2011. An efficient decision procedure for imperative tree data structures. CADE 23: Automated Deduction , LNAI , vol. 6803, 476–491.
LibreCat: https://research-explorer.ista.ac.at/record/3323
DOI: 10.1007/978-3-642-22438-6_36

Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. 2011. Quantitative synthesis for concurrent programs. CAV: Computer Aided Verification, LNCS, vol. 6806, 243–259.
LibreCat: https://research-explorer.ista.ac.at/record/3366
DOI: 10.1007/978-3-642-22110-1_20

Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907, 206–218.
LibreCat: https://research-explorer.ista.ac.at/record/3345
DOI: 10.1007/978-3-642-22993-0_21
arXiv: 1104.2909

Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
LibreCat: https://research-explorer.ista.ac.at/record/5387
DOI: 10.15479/AT:IST-2011-0001

Hosten O. 2011. Quantum physics: How to catch a wave. Nature. 474(7350), 170–171.
LibreCat: https://research-explorer.ista.ac.at/record/580
DOI: 10.1038/474170a

Schmid D, Hazrat S, Rangarajan R, Hosten O, Quint S, Kwiat P. 2011. Methods towards achieving precise birefringent focusing. QELS: Quantum Electronics and Laser Science, Optics InfoBase Conference Papers, .
LibreCat: https://research-explorer.ista.ac.at/record/585
DOI: 10.1364/CLEO_AT.2011.JThB130

Vrijsen G, Hosten O, Lee J, Bernon S, Kasevich M. 2011. Raman lasing with a cold atom gain medium in a high-finesse optical cavity. Physical Review Letters. 107(6).
LibreCat: https://research-explorer.ista.ac.at/record/586
DOI: 10.1103/PhysRevLett.107.063904

Bernecky C, Grob P, Ebmeier C, Nogales E, Taatjes D. 2011. Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly. PLoS Biology. 9(3).
LibreCat: https://research-explorer.ista.ac.at/record/597
DOI: 10.1371/journal.pbio.1000603

Arellano-Carbajal F, Briseño-Roa L, Couto A, Cheung BHH, Labouesse M, de Bono M. 2011. Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability. PLoS Genetics. 7(3), e1001341.
LibreCat: https://research-explorer.ista.ac.at/record/6140
DOI: 10.1371/journal.pgen.1001341
PMID: 21437263

Milward K, Busch KE, Murphy RJ, de Bono M, Olofsson B. 2011. Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 108(51), 20672–20677.
LibreCat: https://research-explorer.ista.ac.at/record/6137
DOI: 10.1073/pnas.1106134109
PMID: 22135454

Bretscher AJ, Kodama-Namba E, Busch KE, Murphy RJ, Soltesz Z, Laurent P, de Bono M. 2011. Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior. Neuron. 69(6), 1099–1113.
LibreCat: https://research-explorer.ista.ac.at/record/6138
DOI: 10.1016/j.neuron.2011.02.023
PMID: 21435556

Baranova NS, Nilebäck E, Haller FM, Briggs DC, Svedhem S, Day AJ, Richter RP. 2011. The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. 286(29), 25675–25686.
LibreCat: https://research-explorer.ista.ac.at/record/6298
DOI: 10.1074/jbc.m111.247395

Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.
LibreCat: https://research-explorer.ista.ac.at/record/6496
DOI: 10.1016/j.bpj.2011.09.040
PMID: 22098731

Mondelli M, Ciomaga A. 2011. Finite difference schemes for MCM and AMSS. Image Processing On Line. 1, 127–177.
LibreCat: https://research-explorer.ista.ac.at/record/6749
DOI: 10.5201/ipol.2011.cm_fds

Mondelli M, Ciomaga A. 2011. On finite difference schemes for curvature motions. Proceedings of the International Student Conference on Pure and Applied Mathematics. ISCOPAM: International Student Conference on Pure and Applied Mathematics, 137–156.
LibreCat: https://research-explorer.ista.ac.at/record/6767
DOI: 10.13140/2.1.1862.4646

Salje EKH, Safarik DJ, Taylor RD, Pasternak MP, Modic KA, Groat LA, Lashley JC. 2011. Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5). Journal of Physics: Condensed Matter. 23(10), 105402.
LibreCat: https://research-explorer.ista.ac.at/record/7076
DOI: 10.1088/0953-8984/23/10/105402

Capps J, Ma B, Drye T, Nucklos C, Lindsey S, Rhodes D, Zhang Q, Modic KA, Cawthorne S, Drymiotis F. 2011. The effect of Ag concentration on the structural, electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance via Cu doping. Journal of Alloys and Compounds. 509(5), 1544–1549.
LibreCat: https://research-explorer.ista.ac.at/record/7077
DOI: 10.1016/j.jallcom.2010.10.187

Bruce PG, Freunberger SA, Hardwick LJ, Tarascon J-M. 2011. Li–O2 and Li–S batteries with high energy storage. Nature Materials. 11(1), 19–29.
LibreCat: https://research-explorer.ista.ac.at/record/7313
DOI: 10.1038/nmat3191