Bounded rationality in concurrent parity games
K. Chatterjee, ArXiv (2011) 1–51.
LibreCat: https://research-explorer.ista.ac.at/record/3338
arXiv: 1107.2146

Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, in:, IEEE, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3356
DOI: 10.1109/LICS.2011.33

Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/5385
DOI: 10.15479/AT:IST-2011-0003

Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/5386
DOI: 10.15479/AT:IST-2011-0002

On an efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/5383
DOI: 10.15479/AT:IST-2011-0005

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

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

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

Quantitative synthesis for concurrent programs
P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.
LibreCat: https://research-explorer.ista.ac.at/record/3366
DOI: 10.1007/978-3-642-22110-1_20

Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.
LibreCat: https://research-explorer.ista.ac.at/record/3345
DOI: 10.1007/978-3-642-22993-0_21
arXiv: 1104.2909

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

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

Methods towards achieving precise birefringent focusing
D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, P. Kwiat, in:, OSA, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/585
DOI: 10.1364/CLEO_AT.2011.JThB130

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

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

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

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

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

The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers
N.S. Baranova, E. Nilebäck, F.M. Haller, D.C. Briggs, S. Svedhem, A.J. Day, R.P. Richter, Journal of Biological Chemistry 286 (2011) 25675–25686.
LibreCat: https://research-explorer.ista.ac.at/record/6298
DOI: 10.1074/jbc.m111.247395

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