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.

6749 Publications

2009 | Conference Paper | IST-REx-ID: 4545 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
View | Files available | DOI

2009 | Conference Paper | IST-REx-ID: 4569 | OA
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
View | DOI | Download Preprint (ext.) | arXiv

2009 | Conference Paper | IST-REx-ID: 4580 | OA
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.
View | Files available | DOI | Download (ext.)

2009 | Journal Article | IST-REx-ID: 3046
W. Grunewald, B. Cannoot, J. Friml, and G. Gheysen, “Parasitic nematodes modulate PIN mediated auxin transport to facilitate infection,” PLoS Pathogens, vol. 5, no. 1. Public Library of Science, 2009.
View | DOI

2009 | Journal Article | IST-REx-ID: 3047
B. Titapiwatanakun et al., “ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis,” Plant Journal, vol. 57, no. 1. Wiley-Blackwell, pp. 27–44, 2009.
View | DOI


Filter Publications