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.

6311 Publications

2006 | Conference Paper | IST-REx-ID: 3889
Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 287–302.
View | DOI

2006 | Conference Paper | IST-REx-ID: 3890
The complexity of quantitative concurrent parity games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2006, pp. 678–687.
View | DOI

2006 | Conference Paper | IST-REx-ID: 3891
Concurrent games with tail objectives
K. Chatterjee, in:, Springer, 2006, pp. 256–270.
View | DOI

2006 | Journal Article | IST-REx-ID: 3908
Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus
J. Ustinova, R. Achmann, S. Cremer, F. Mayer, Journal of Molecular Evolution 62 (2006) 158–167.
View | DOI

2006 | Journal Article | IST-REx-ID: 3912
Attack of the invasive garden ant: aggression behaviour of Lasius neglectus (Hymenoptera: Formicidae) against native Lasius species in Spain
S. Cremer, L.V. Ugelvig, S. Lommen, K. Petersen, J. Pedersen, Myrmecological News 9 (2006) 13–19.


Filter Publications