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.

6514 Publications


2008 | Conference Paper | IST-REx-ID: 3877
K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Environment assumptions for synthesis,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 147–161.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
K. Chatterjee, L. De Alfaro, and R. Majumdar, “The complexity of coverage,” presented at the APLAS: Asian Symposium on Programming Languages and Systems, 2008, vol. 5356, pp. 91–106.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3879
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” presented at the CSL: Computer Science Logic, 2008, vol. 5213, pp. 385–400.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3880
D. Berwanger, K. Chatterjee, L. Doyen, T. A. Henzinger, and S. Raje, “Strategy construction for parity games with imperfect information,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 325–339.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3903
L. V. Ugelvig, F. Drijfhout, D. Kronauer, J. Boomsma, J. Pedersen, and S. Cremer, “The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches,” BMC Biology, vol. 6, no. 11. BioMed Central, 2008.
View | DOI
 

Search

Filter Publications