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
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. 2005. Verifying quantitative properties using bound functions. CHARME: Correct Hardware Design and Verification Methods, LNCS, vol. 3725, 50–64.
View | DOI

2005 | Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. 2005. Web service interfaces. WWW: World Wide Web Conference, 148–159.
View | DOI

2005 | Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2005. Checking memory safety with BLAST. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 3442, 2–18.
View | DOI

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

2005 | Journal Article | IST-REx-ID: 3001
Paciorek T, Zažímalová E, Ruthardt N, Petrášek J, Stierhof Y, Kleine Vehn J, Morris D, Emans N, Jürgens G, Geldner N, Friml J. 2005. Auxin inhibits endocytosis and promotes its own efflux from cells. Nature. 435(7046), 1251–1256.
View | DOI

Filters and Search Terms



Filter Publications