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.
5859 Publications
2009 |Published| Journal Article | IST-REx-ID: 3052 | 
Vanneste, Steffen, and Jiří Friml. “Auxin: A Trigger for Change in Plant Development.” Cell, vol. 136, no. 6, Cell Press, 2009, pp. 1005–16, doi:10.1016/j.cell.2009.03.001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 3051 |
Weijers, Dolf, and Jiří Friml. “SnapShot: Auxin Signaling and Transport.” Cell, vol. 136, no. 6, Cell Press, 2009, pp. 1172–1172, doi:10.1016/j.cell.2009.03.009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 3197 |
Kumar, M. Pawan, et al. “An Analysis of Convex Relaxations for MAP Estimation of Discrete MRFs.” Journal of Machine Learning Research, vol. 10, Microtome Publishing, 2009, pp. 71–106.
View
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3775 |
Barton, Nicholas H., and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.” Journal of Theoretical Biology, vol. 259, no. 2, Elsevier, 2009, pp. 317–24, doi:10.1016/j.jtbi.2009.03.019.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 3837 |
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3968 |
Edelsbrunner, Herbert, and John Harer. The Persistent Morse Complex Segmentation of a 3-Manifold. Vol. 5903, Springer, 2009, pp. 36–50, doi:10.1007/978-3-642-10470-1_4.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4383 |
Guerraoui, Rachid, et al. Software Transactional Memory on Relaxed Memory Models. Vol. 5643, Springer, 2009, pp. 321–36, doi:10.1007/978-3-642-02658-4_26.
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4403 |
Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi:10.1007/978-3-642-04027-6_9.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4453 |
Henzinger, Thomas A., et al. Sliding-Window Abstraction for Infinite Markov Chains. Vol. 5643, Springer, 2009, pp. 337–52, doi:10.1007/978-3-642-02658-4_27.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4542 |
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4545 |
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4544 |
Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4569 |
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |Published| Conference Paper | IST-REx-ID: 4580 |
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Technical Report | IST-REx-ID: 5393 |
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
[Published Version]
View
| Files available
| DOI
2009 |Published| Technical Report | IST-REx-ID: 5394 |
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
[Published Version]
View
| Files available
| DOI
2009 |Published| Technical Report | IST-REx-ID: 5392 |
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009, doi:10.15479/AT:IST-2009-0004.
[Published Version]
View
| Files available
| DOI
2009 |Published| Technical Report | IST-REx-ID: 5395 |
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
[Published Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 599 |
Knuesel, Matthew, et al. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development, vol. 23, no. 4, Cold Spring Harbor Laboratory Press, 2009, pp. 439–51, doi:10.1101/gad.1767009.
View
| DOI
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 8026 |
Vogels, Tim P., and L. F. Abbott. “Gating Multiple Signals through Detailed Balance of Excitation and Inhibition in Spiking Networks.” Nature Neuroscience, vol. 12, no. 4, Springer Nature, 2009, pp. 483–91, doi:10.1038/nn.2276.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC