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.

109 Publications


2003 | Journal Article | IST-REx-ID: 3921
Anderson, C., Cremer, S., & Heinze, J. (2003). Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals. Behavioral Ecology, 14(1), 54–62. https://doi.org/10.1093/beheco/14.1.54
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4169
Montero, J., Kilian, B., Chan, J., Bayliss, P., & Heisenberg, C. (2003). Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology, 13(15), 1279–1289. https://doi.org/10.1016/S0960-9822(03)00505-0
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, T. A., Jhala, R., & Majumdar, R. (2003). Counterexample-guided control (Vol. 2719, pp. 886–902). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-45061-0_69
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2003). Software verification with BLAST (Vol. 2648, pp. 235–239). Presented at the SPIN: Model Checking Software, Springer. https://doi.org/10.1007/3-540-44829-2_17
View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed