ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2018 | Journal Article | IST-REx-ID: 616 |

Destructive disinfection of infected brood prevents systemic disease spread in ant colonies
C. Pull, L.V. Ugelvig, F. Wiesenhofer, A.V. Grasse, S. Tragust, T. Schmitt, M. Brown, S. Cremer, ELife 7 (2018).

View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 806

Social immunity: Emergence and evolution of colony-level disease protection
S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.

View | Files available | DOI

2018 | Thesis | IST-REx-ID: 83 |

Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, IST Austria, 2018.

View | Files available | DOI

2018 | Conference Paper | IST-REx-ID: 133 |

Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.

View | Files available | DOI

2018 | Conference Paper | IST-REx-ID: 160 |

Layered Concurrent Programs
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.

View | Files available | DOI