Please note that ISTA 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.
596 Publications
2017 | Journal Article | IST-REx-ID: 743
Gottlob, G., Henzinger, T. A., & Weißenbacher, G. (2017). Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-017-0307-6
View
| DOI
| WoS
2017 | Thesis | IST-REx-ID: 961 |
Barone, V. (2017). Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_825
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 734 |
Kennedy, P., Baron, G., Qiu, B., Freitak, D., Helantera, H., Hunt, E., … Sumner, S. (2017). Deconstructing superorganisms and societies to address big questions in biology. Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/j.tree.2017.08.004
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Thesis | IST-REx-ID: 819 |
Pull, C. (2017). Disease defence in garden ants. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_861
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 732 |
Pull, C., & Cremer, S. (2017). Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour. BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/s12862-017-1062-4
[Published Version]
View
| Files available
| DOI
| WoS