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.
5767 Publications
2013 | Conference Paper | IST-REx-ID: 2445 |
Efficient synthesis for concurrency by semantics-preserving transformations
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
2013 | Conference Paper | IST-REx-ID: 2305 |
Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, in:, 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–340.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, in:, 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–340.
2013 | Conference Paper | IST-REx-ID: 2272 |
Inference algorithms for pattern-based CRFs on sequence data
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, ML Research Press, 2013, pp. 145–153.
[Submitted Version]
View
| Files available
| Download Submitted Version (ext.)
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, ML Research Press, 2013, pp. 145–153.
2013 | Journal Article | IST-REx-ID: 2448 |
ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip
E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling & Behavior 8 (2013).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling & Behavior 8 (2013).
2013 | Journal Article | IST-REx-ID: 2853 |
Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection
D. Refardt, T. Bergmiller, R. Kümmerli, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
D. Refardt, T. Bergmiller, R. Kümmerli, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013).