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.




4387 Publications

2018 | Journal Article | IST-REx-ID: 77 | OA
H. Watzinger et al., “A germanium hole spin qubit,” Nature Communications, vol. 9, no. 3902. Nature Publishing Group, 2018.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 81 | OA
A. Elgyütt, T. Ferrere, and T. A. Henzinger, “Monitoring temporal logic with clock variables,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Beijing, China, 2018, vol. 11022, pp. 53–70.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 6355 | OA
A. Akopyan and S. Avvakumov, “Any cyclic quadrilateral can be inscribed in any closed convex smooth curve,” Forum of Mathematics, Sigma, vol. 6. Cambridge University Press, 2018.
View | Files available | DOI | arXiv
 
2018 | Preprint | IST-REx-ID: 75 | OA
A. Akopyan, S. Avvakumov, and R. Karasev, “Convex fair partitions into arbitrary number of pieces.” arXiv, 2018.
View | Files available | Download Preprint (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 616 | OA
C. Pull et al., “Destructive disinfection of infected brood prevents systemic disease spread in ant colonies,” eLife, vol. 7. eLife Sciences Publications, 2018.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 806
S. Cremer, C. Pull, and M. Fürst, “Social immunity: Emergence and evolution of colony-level disease protection,” Annual Review of Entomology, vol. 63. Annual Reviews, pp. 105–123, 2018.
View | Files available | DOI
 
2018 | Thesis | IST-REx-ID: 83 | OA
H. M. Abusalah, “Proof systems for sustainable decentralized cryptocurrencies,” IST Austria, 2018.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 133 | OA
B. Kragl, S. Qadeer, and T. A. Henzinger, “Synchronizing the asynchronous,” presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 160 | OA
B. Kragl and S. Qadeer, “Layered Concurrent Programs,” presented at the CAV: Computer Aided Verification, Oxford, UK, 2018, vol. 10981, pp. 79–102.
View | Files available | DOI
 
2018 | Thesis | IST-REx-ID: 69 | OA
L. Vukušić, “Charge sensing and spin relaxation times of holes in Ge hut wires,” IST Austria, 2018.
View | Files available | DOI
 

Search

Filter Publications