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.

6387 Publications


2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.” Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi:10.1016/j.tcs.2006.07.032.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer, Dirk, et al. Lazy Shape Analysis. Vol. 4144, Springer, 2006, pp. 532–46, doi:10.1007/11817963_48.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
Sauer, Michael, and Jiří Friml. “In Vitro Culture of Arabidopsis Embryos.” Somatic Embryogenesis, edited by Abdul Mujib and Jozef Šamaj, vol. 2, Springer, 2006, pp. 343–54, doi:10.1007/7089_020.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml, Jiří, et al. “Apical-Basal Polarity: Why Plant Cells Don’t Stand on Their Heads.” Trends in Plant Science, vol. 11, no. 1, Cell Press, 2006, pp. 12–14, doi:10.1016/j.tplants.2005.11.010.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3006
Dhonukshe, Pankaj, et al. “Endocytosis of Cell Surface Material Mediates Cell Plate Formation during Plant Cytokinesis.” Developmental Cell, vol. 10, no. 1, Cell Press, 2006, pp. 137–50, doi:10.1016/j.devcel.2005.11.015.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3007
Abas, Lindy, et al. “Intracellular Trafficking and Proteolysis of the Arabidopsis Auxin-Efflux Facilitator PIN2 Are Involved in Root Gravitropism.” Nature Cell Biology, vol. 8, no. 3, Nature Publishing Group, 2006, pp. 249–56, doi:10.1038/ncb1369.
View | DOI
 

Search

Filter Publications