Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4300 Publications
2018 | Journal Article | IST-REx-ID: 806
Cremer, Sylvia, Christopher Pull, and Matthias Fürst. “Social Immunity: Emergence and Evolution of Colony-Level Disease Protection.” Annual Review of Entomology. Annual Reviews, 2018. https://doi.org/10.1146/annurev-ento-020117-043110.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 83 |

Abusalah, Hamza M. “Proof Systems for Sustainable Decentralized Cryptocurrencies.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1046.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 133 |

Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Synchronizing the Asynchronous,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.CONCUR.2018.21.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 160 |

Kragl, Bernhard, and Shaz Qadeer. “Layered Concurrent Programs,” 10981:79–102. Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_5.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 69 |

Vukušić, Lada. “Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1047.
View
| Files available
| DOI