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.
5137 Publications
2013 | Technical Report | IST-REx-ID: 5400 
K. Chatterjee, M. Chmelik, and M. Tracol, What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria, 2013.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 1376
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed synthesis for LTL fragments,” in 13th International Conference on Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5405
K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, Perfect-information stochastic mean-payoff parity games. IST Austria, 2013.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2329
K. Chatterjee and Y. Velner, “Hyperplane separation technique for multidimensional mean-payoff games,” vol. 8052. Springer, pp. 500–515, 2013.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 827
J. O’Brien and E. Benková, “Cytokinin cross talking during biotic and abiotic stress responses,” Frontiers in Plant Science, vol. 4, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 973
M. Serbyn, Z. Papić, and D. Abanin, “Local conservation laws and the structure of the many body localized states,” Physical Review Letters, vol. 111, no. 12, 2013.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 6768
M. Mondelli, “A finite difference scheme for the stack filter simulating the MCM,” Image Processing On Line, vol. 3, pp. 68–111, 2013.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 1442
T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Positivity for Kac polynomials and DT-invariants of quivers,” Annals of Mathematics, vol. 177, no. 3, pp. 1147–1168, 2013.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 1726
N. Kahane, V. Ribes, A. Kicheva, J. Briscoe, and C. Kalcheim, “The transition from differentiation to growth during dermomyotome-derived myogenesis depends on temporally restricted hedgehog signaling,” Development, vol. 140, no. 8, pp. 1740–1750, 2013.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2010
C. Uhler, G. Raskutti, P. Bühlmann, and B. Yu, “Geometry of the faithfulness assumption in causal inference,” The Annals of Statistics, vol. 41, no. 2, pp. 436–463, 2013.
View
| DOI
| Download (ext.)
| arXiv
2013 | Book Review | IST-REx-ID: 2205
M. Lemeshko, R. Krems, J. Doyle, and S. Kais, “Manipulation of molecules with electromagnetic fields,” Molecular Physics, vol. 111, no. 12–13. Taylor & Francis, pp. 1648–1682, 2013.
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2243
J. Michaliszyn and J. Otop, “Elementary modal logics over transitive structures,” vol. 23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 563–577, 2013.
View
| Files available
| DOI