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.
6216 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
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 287–302.
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
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2006, pp. 678–687.
2006 | Conference Paper | IST-REx-ID: 3891
Concurrent games with tail objectives
K. Chatterjee, in:, Springer, 2006, pp. 256–270.
View
| DOI
K. Chatterjee, in:, Springer, 2006, pp. 256–270.
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
J. Ustinova, R. Achmann, S. Cremer, F. Mayer, Journal of Molecular Evolution 62 (2006) 158–167.
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.
View
S. Cremer, L.V. Ugelvig, S. Lommen, K. Petersen, J. Pedersen, Myrmecological News 9 (2006) 13–19.
2006 | Journal Article | IST-REx-ID: 3913
Stealthy invaders: the biology of Cardiocondyla tramp ants
J. Heinze, S. Cremer, N. Eckl, A. Schrempf, Insectes Sociaux 53 (2006) 1–7.
View
| DOI
J. Heinze, S. Cremer, N. Eckl, A. Schrempf, Insectes Sociaux 53 (2006) 1–7.
2006 | Journal Article | IST-REx-ID: 3914
Optimal species distinction by discriminant analysis: comparing established methods of character selection with a combination procedure using ant morphometrics as a case study
K. Moder, B. Schlick Steiner, F. Steiner, S. Cremer, E. Christian, B. Seifert, Journal of Zoological Systematics and Evolutionary Research 45 (2006) 82–87.
View
| DOI
K. Moder, B. Schlick Steiner, F. Steiner, S. Cremer, E. Christian, B. Seifert, Journal of Zoological Systematics and Evolutionary Research 45 (2006) 82–87.
2006 | Journal Article | IST-REx-ID: 3932
EGF-stimulated migration in ovarian cancer cells is associated with decreased internalization, increased surface expression, and increased shedding of the urokinase plasminogen activator receptor
E. Henic, M.K. Sixt, S. Hansson, G. Høyer Hansen, B. Casslén, Gynecologic Oncology 101 (2006) 28–39.
View
| DOI
E. Henic, M.K. Sixt, S. Hansson, G. Høyer Hansen, B. Casslén, Gynecologic Oncology 101 (2006) 28–39.
2006 | Journal Article | IST-REx-ID: 3934
Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules
M. Drumea Mirancea, J. Wessels, C. Müller, M. Essl, J. Eble, E. Tolosa, M. Koch, D. Reinhardt, M.K. Sixt, L. Sorokin, Y. Stierhof, H. Schwarz, G. Klein, Journal of Cell Science 119 (2006) 1396–1405.
View
| DOI
M. Drumea Mirancea, J. Wessels, C. Müller, M. Essl, J. Eble, E. Tolosa, M. Koch, D. Reinhardt, M.K. Sixt, L. Sorokin, Y. Stierhof, H. Schwarz, G. Klein, Journal of Cell Science 119 (2006) 1396–1405.
2006 | Journal Article | IST-REx-ID: 3935
γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response
H. Chu, I. Thievessen, M.K. Sixt, T. Lämmermann, A. Waisman, A. Braun, A. Noegel, R. Fässler, Molecular and Cellular Biology 26 (2006) 1817–1825.
View
| DOI
H. Chu, I. Thievessen, M.K. Sixt, T. Lämmermann, A. Waisman, A. Braun, A. Noegel, R. Fässler, Molecular and Cellular Biology 26 (2006) 1817–1825.