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.
2013 | Conference Paper | IST-REx-ID: 2445 |
P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Efficient synthesis for concurrency by semantics-preserving transformations,” presented at the CAV: Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 951–967.View | Files available | DOI
2013 | Journal Article | IST-REx-ID: 2448 |
E. Remy, P. Baster, J. Friml, and P. Duque, “ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip,” Plant Signaling & Behavior, vol. 8, no. 10, 2013.View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2518 |
V. Kolmogorov, “The power of linear programming for finite-valued CSPs: A constructive characterization,” presented at the ICALP: Automata, Languages and Programming, Riga, Latvia, 2013, vol. 7965, no. 1, pp. 625–636.View | Files available | DOI | Download Preprint (ext.) | arXiv
2013 | Conference Paper | IST-REx-ID: 2520 |
N. Quadrianto, V. Sharmanska, D. Knowles, and Z. Ghahramani, “The supervised IBP: Neighbourhood preserving infinite latent feature models,” in Proceedings of the 29th conference uncertainty in Artificial Intelligence, Bellevue, WA, United States, 2013, pp. 527–536.View | Files available
2013 | Journal Article | IST-REx-ID: 450 |
M. Pickup, D. Field, D. Rowell, and A. Young, “Source population characteristics affect heterosis following genetic rescue of fragmented plant populations,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1750, 2013.View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC