en
Please note that IST 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.
5703 Publications
2014 | Conference Paper | IST-REx-ID: 2213 
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, “The complexity of partial-observation stochastic parity games with finite-memory strategies,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 242–257.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 2162
K. Chatterjee and R. Ibsen-Jensen, “The complexity of ergodic mean payoff games,” presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark, 2014, vol. 8573, no. Part 2, pp. 122–133.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2014 | Technical Report | IST-REx-ID: 5414
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2054
K. Chatterjee, “Qualitative concurrent parity games: Bounded rationality,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Rome, Italy, 2014, vol. 8704, pp. 544–559.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 475
B. Aminof and S. Rubin, “First cycle games,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Grenoble, France, 2014, vol. 146, pp. 83–90.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 7302
A. Dunst, V. Epp, I. Hanzu, S. A. Freunberger, and M. Wilkening, “Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries,” Energy & Environmental Science, vol. 7, no. 8, pp. 2739–2752, 2014.
View
| DOI
2014 | Journal Article | IST-REx-ID: 2251
J. L. Csicsvari and D. Dupret, “Sharp wave/ripple network oscillations and learning-associated hippocampal maps,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 369, no. 1635, p. 20120528, 2014.
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Conference Paper | IST-REx-ID: 2167
P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, “Compositional specifications for IOCO testing,” in IEEE 7th International Conference on Software Testing, Verification and Validation, Cleveland, USA, 2014, p. 6823899.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 1917
T. Xu et al., “Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling,” Science, vol. 343, no. 6174, pp. 1025–1028, 2014.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2014 | Conference Paper | IST-REx-ID: 1507
L. Erdös, “Random matrices, log-gases and Hölder regularity,” presented at the ICM: International Congress of Mathematicians, Seoul, Korea, 2014, vol. 3, pp. 214–236.
View
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 1761
M. Mongillo et al., “PtSi clustering in silicon probed by transport spectroscopy,” Physical Review X, vol. 3, no. 4, 2014.
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 1862
X. Chen et al., “Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules,” Nature, vol. 516, no. 729, pp. 90–93, 2014.
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 1893
P. Nováková et al., “SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis,” PNAS, vol. 111, no. 7, pp. 2818–2823, 2014.
View
| DOI
| Download (ext.)