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.

6206 Publications


2006 | Conference Paper | IST-REx-ID: 4551
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Markov decision processes with multiple objectives,” presented at the STACS: Theoretical Aspects of Computer Science, 2006, vol. 3884, pp. 325–336.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for concurrent reachability games,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 291–300.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
D. Beyer, T. A. Henzinger, and G. Théoduloz, “Lazy shape analysis,” presented at the CAV: Computer Aided Verification, 2006, vol. 4144, pp. 532–546.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
M. Sauer and J. Friml, “In vitro culture of Arabidopsis embryos,” in Somatic Embryogenesis, vol. 2, A. Mujib and J. Šamaj, Eds. Springer, 2006, pp. 343–354.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
J. Friml et al., “Apical-basal polarity: Why plant cells don’t stand on their heads,” Trends in Plant Science, vol. 11, no. 1. Cell Press, pp. 12–14, 2006.
View | DOI
 

Search

Filter Publications