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.

103 Publications

2002 | Conference Paper | IST-REx-ID: 4563
Interface compatibility checking for software modules
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziński, F. Mang, in:, Springer, 2002, pp. 428–441.
View | DOI

2002 | Journal Article | IST-REx-ID: 3919   OA
Adaptive production of fighter males: queens of the ant Cardiocondyla adjust the sex ratio under local mate competition
S. Cremer, J. Heinze, Proceedings of the Royal Society of London Series B Biological Sciences 269 (2002) 417–422.
View | DOI | Download (ext.)

2002 | Journal Article | IST-REx-ID: 6158 View | DOI | PubMed | Europe PMC

Filters and Search Terms



Filter Publications

Display / Sort

Export / Embed