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.
4205 Publications
2018 | Journal Article | IST-REx-ID: 77 | 
Watzinger H, Kukucka J, Vukušić L, et al. A germanium hole spin qubit. Nature Communications. 2018;9(3902). doi:10.1038/s41467-018-06418-4
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 81 |
Elgyütt A, Ferrere T, Henzinger TA. Monitoring temporal logic with clock variables. In: Vol 11022. Springer; 2018:53-70. doi:10.1007/978-3-030-00151-3_4
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 6355 |
Akopyan A, Avvakumov S. Any cyclic quadrilateral can be inscribed in any closed convex smooth curve. Forum of Mathematics, Sigma. 2018;6. doi:10.1017/fms.2018.7
View
| Files available
| DOI
| arXiv
2018 | Preprint | IST-REx-ID: 75 |
Akopyan A, Avvakumov S, Karasev R. Convex fair partitions into arbitrary number of pieces. 2018.
View
| Files available
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 616 |
Pull C, Ugelvig LV, Wiesenhofer F, et al. Destructive disinfection of infected brood prevents systemic disease spread in ant colonies. eLife. 2018;7. doi:10.7554/eLife.32073
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 806
Cremer S, Pull C, Fürst M. Social immunity: Emergence and evolution of colony-level disease protection. Annual Review of Entomology. 2018;63:105-123. doi:10.1146/annurev-ento-020117-043110
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 83 |
Abusalah HM. Proof systems for sustainable decentralized cryptocurrencies. 2018. doi:10.15479/AT:ISTA:TH_1046
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 133 |
Kragl B, Qadeer S, Henzinger TA. Synchronizing the asynchronous. In: Vol 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.CONCUR.2018.21
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 160 |
Kragl B, Qadeer S. Layered Concurrent Programs. In: Vol 10981. Springer; 2018:79-102. doi:10.1007/978-3-319-96145-3_5
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 69 |
Vukušić L. Charge sensing and spin relaxation times of holes in Ge hut wires. 2018. doi:10.15479/AT:ISTA:TH_1047
View
| Files available
| DOI