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
 

2008 | Journal Article | IST-REx-ID: 3905
S. Cremer, P. D’Ettorre, F. Drijfhout, M. Sledge, S. Turillazzi, and J. Heinze, “Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior,” Naturwissenschaften, vol. 95, no. 11. Springer, pp. 1101–1105, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3906
S. Cremer et al., “The evolution of invasiveness in garden ants,” PLoS One, vol. 3, no. 12. Public Library of Science, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3907
M. Suefuji, S. Cremer, J. Oettler, and J. Heinze, “Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants,” Biology Letters, vol. 4, no. 6. Royal Society, The, pp. 670–673, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3939
T. Lämmermann and M. K. Sixt, “The microanatomy of T-cell responses,” Immunological Reviews, vol. 221, no. 1. Wiley-Blackwell, pp. 26–43, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3940
Z. Lokmic, T. Lämmermann, M. K. Sixt, S. Cardell, R. Hallmann, and L. Sorokin, “The extracellular matrix of the spleen as a potential organizer of immune cell compartments,” Seminars in Immunology, vol. 20, no. 1. Academic Press, pp. 4–13, 2008.
View | DOI
 

Search

Filter Publications