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.
11724 Publications
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: 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.)
earlier version | 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
earlier version | 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
earlier version | 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: 2868
Benková, Eva, and Jan Hejátko. “Hormone Interactions at the Root Apical Meristem.” Plant Molecular Biology, vol. 69, no. 4, Springer, 2009, pp. 383–96, doi:10.1007/s11103-008-9393-6.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2869
Péret, Benjamin, et al. “Arabidopsis Lateral Root Development: An Emerging Story.” Trends in Plant Science, vol. 14, no. 7, Cell Press, 2009, pp. 399–408, doi:10.1016/j.tplants.2009.05.002.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 2932
Kolmogorov, Vladimir. “Blossom V: A New Implementation of a Minimum Cost Perfect Matching Algorithm.” Mathematical Programming Computation, vol. 1, no. 1, Springer, 2009, pp. 43–67, doi:10.1007/s12532-009-0002-8.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 3046
Grunewald, Wim, et al. “Parasitic Nematodes Modulate PIN Mediated Auxin Transport to Facilitate Infection.” PLoS Pathogens, vol. 5, no. 1, Public Library of Science, 2009, doi: 10.1371/journal.ppat.1000266.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 3047
Titapiwatanakun, Boosaree, et al. “ABCB19 PGP19 Stabilises PIN1 in Membrane Microdomains in Arabidopsis.” Plant Journal, vol. 57, no. 1, Wiley-Blackwell, 2009, pp. 27–44, doi:10.1111/j.1365-313X.2008.03668.x.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 3048
Tanaka, Hirokazu, et al. “Fluorescence Imaging Based Screen Identifies ARF GEF Component of Early Endosomal Trafficking.” Current Biology, vol. 19, no. 5, Cell Press, 2009, pp. 391–97, doi:10.1016/j.cub.2009.01.057.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 3049
Pernisová, Markéta, et al. “Cytokinins Modulate Auxin Induced Organogenesis in Plants via Regulation of the Auxin Efflux.” PNAS, vol. 106, no. 9, National Academy of Sciences, 2009, pp. 3609–14, doi:10.1073/pnas.0811539106.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 3050
Růžička, Kamil, et al. “Cytokinin Regulates Root Meristem Activity via Modulation of the Polar Auxin Transport.” PNAS, vol. 106, no. 11, National Academy of Sciences, 2009, pp. 4284–89, doi:10.1073/pnas.0900060106.
View
| DOI
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: 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: 3053
Benková, Eva, et al. “A Morphogenetic Trigger: Is There an Emerging Concept in Plant Developmental Biology?” Trends in Plant Science, vol. 14, no. 4, Cell Press, 2009, pp. 189–93, doi:10.1016/j.tplants.2009.01.006.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 3054
Robert, Hélène, and Jiří Friml. “Auxin and Other Signals on the Move in Plants.” Nature Chemical Biology, vol. 5, no. 5, Nature Publishing Group, 2009, pp. 325–32, doi:10.1038/nchembio.170.
View
| DOI
| PubMed | Europe PMC
2009 |
Published |
Journal Article |
IST-REx-ID: 3055
Naramoto, Satoshi, et al. “Phosphoinositide-Dependent Regulation of VAN3 ARF-GAP Localization and Activity Essential for Vascular Tissue Continuity in Plants.” Development, vol. 136, no. 9, Company of Biologists, 2009, pp. 1529–38, doi:10.1242/dev.030098.
View
| DOI