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.

139 Publications

2005 | Conference Paper | IST-REx-ID: 4560
A. Chakrabarti, K. Chatterjee, T. A. Henzinger, O. Kupferman, and R. Majumdar, “Verifying quantitative properties using bound functions,” presented at the CHARME: Correct Hardware Design and Verification Methods, 2005, vol. 3725, pp. 50–64.
View | DOI

2005 | Conference Paper | IST-REx-ID: 4576
D. Beyer, A. Chakrabarti, and T. A. Henzinger, “Web service interfaces,” presented at the WWW: World Wide Web Conference, 2005, pp. 148–159.
View | DOI

2005 | Conference Paper | IST-REx-ID: 4579
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “Checking memory safety with BLAST,” presented at the FASE: Fundamental Approaches To Software Engineering, 2005, vol. 3442, pp. 2–18.
View | DOI

2005 | Journal Article | IST-REx-ID: 3000
P. Dhonukshe, J. Kleine Vehn, and J. Friml, “Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first?,” Protoplasma, vol. 226, no. 1–2. Springer, pp. 67–73, 2005.
View | DOI

2005 | Journal Article | IST-REx-ID: 3001
T. Paciorek et al., “Auxin inhibits endocytosis and promotes its own efflux from cells,” Nature, vol. 435, no. 7046. Nature Publishing Group, pp. 1251–1256, 2005.
View | DOI

Filters and Search Terms



Filter Publications