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.
3433 Publications
2013 | Journal Article | IST-REx-ID: 516 | 
B. Bargmann et al., “A map of cell type‐specific auxin responses,” Molecular Systems Biology, vol. 9, no. 1. Nature Publishing Group, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5399 |
J. Reiter, I. Bozic, K. Chatterjee, and M. Nowak, TTP: Tool for Tumor Progression. IST Austria, 2013.
View
| Files available
| DOI
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 | Report | IST-REx-ID: 5401 |
J. Porsche, Initiatives and projects related to RD. IST Austria, 2013.
View
| Files available
2013 | Technical Report | IST-REx-ID: 5402 |
T. A. Henzinger and A. Sezgin, How free is your linearizable concurrent data structure? IST Austria, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5403 |
K. Chatterjee and R. Ibsen-Jensen, Qualitative analysis of concurrent mean-payoff games. IST Austria, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5404 |
K. Chatterjee and R. Ibsen-Jensen, The complexity of ergodic games. IST Austria, 2013.
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 | Technical Report | IST-REx-ID: 5406 |
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, Distributed synthesis for LTL Fragments. IST Austria, 2013.
View
| Files available
| DOI
2013 | Report | IST-REx-ID: 5407 |
J. Porsche, Technical requirements and features. IST Austria, 2013.
View
| Files available