Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

9096 Publications


2011 | Technical Report | IST-REx-ID: 5381 | OA
K. Chatterjee and L. Doyen, Partial-observation stochastic games: How to win when belief fails. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5380 | OA
K. Chatterjee, Bounded rationality in concurrent parity games. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5382 | OA
K. Chatterjee, Robustness of structurally equivalent concurrent parity games. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3338 | OA
K. Chatterjee, “Bounded rationality in concurrent parity games,” arXiv. ArXiv, pp. 1–51, 2011.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3356 | OA
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications with accumulative values,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
[Submitted Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385 | OA
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5386 | OA
C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5383 | OA
T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for imperative tree data structures. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5384 | OA
K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3336
C. Chen, D. Freedman, and C. Lampert, “Enforcing topological constraints in random field image segmentation,” in CVPR: Computer Vision and Pattern Recognition, Colorado Springs, CO, United States, 2011, pp. 2089–2096.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3323
T. Wies, M. Muñiz, and V. Kuncak, “An efficient decision procedure for imperative tree data structures,” presented at the CADE 23: Automated Deduction , Wrocław, Poland, 2011, vol. 6803, pp. 476–491.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366 | OA
P. Cerny, K. Chatterjee, T. A. Henzinger, A. Radhakrishna, and R. Singh, “Quantitative synthesis for concurrent programs,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 243–259.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3345 | OA
K. Chatterjee and L. Doyen, “Energy and mean-payoff parity Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland, 2011, vol. 6907, pp. 206–218.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Technical Report | IST-REx-ID: 5387 | OA
K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 580
O. Hosten, “Quantum physics: How to catch a wave,” Nature, vol. 474, no. 7350. Nature Publishing Group, pp. 170–171, 2011.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 585
D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, and P. Kwiat, “Methods towards achieving precise birefringent focusing,” presented at the QELS: Quantum Electronics and Laser Science, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 586
G. Vrijsen, O. Hosten, J. Lee, S. Bernon, and M. Kasevich, “Raman lasing with a cold atom gain medium in a high-finesse optical cavity,” Physical Review Letters, vol. 107, no. 6. American Physical Society, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 597
C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, and D. Taatjes, “Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly,” PLoS Biology, vol. 9, no. 3. Public Library of Science, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 6140 | OA
F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B. H. H. Cheung, M. Labouesse, and M. de Bono, “Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability,” PLoS Genetics, vol. 7, no. 3. Public Library of Science, 2011.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6137 | OA
K. Milward, K. E. Busch, R. J. Murphy, M. de Bono, and B. Olofsson, “Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans,” Proceedings of the National Academy of Sciences, vol. 108, no. 51. National Academy of Sciences, pp. 20672–20677, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications