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 | Conference Paper | IST-REx-ID: 78 | 
Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. 2018. Online timed pattern matching using automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11022, 215–232.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 6001
Alistarh D-A, Leiserson W, Matveev A, Shavit N. 2018. ThreadScan: Automatic and scalable memory reclamation. ACM Transactions on Parallel Computing. 4(4), 18.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 7812 |
Polino A, Pascanu R, Alistarh D-A. 2018. Model compression via distillation and quantization. 6th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
View
| Files available
| arXiv
2018 | Conference Paper | IST-REx-ID: 79 |
Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. 2018. Parameter-independent strategies for pMDPs via POMDPs. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11024, 53–70.
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 23 |
Vukušić L, Kukucka J, Watzinger H, Milem JM, Schäffler F, Katsaros G. 2018. Single-shot readout of hole spins in Ge. Nano Letters. 18(11), 7141–7145.
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 77 |
Watzinger H, Kukucka J, Vukušić L, Gao F, Wang T, Schäffler F, Zhang J, Katsaros G. 2018. A germanium hole spin qubit. Nature Communications. 9(3902).
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 81 |
Elgyütt A, Ferrere T, Henzinger TA. 2018. Monitoring temporal logic with clock variables. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11022, 53–70.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 6355 |
Akopyan A, Avvakumov S. 2018. Any cyclic quadrilateral can be inscribed in any closed convex smooth curve. Forum of Mathematics, Sigma. 6, e7.
View
| Files available
| DOI
| arXiv
2018 | Preprint | IST-REx-ID: 75 |
Akopyan A, Avvakumov S, Karasev R. 2018. Convex fair partitions into arbitrary number of pieces. 1804.03057.
View
| Files available
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 616 |
Pull C, Ugelvig LV, Wiesenhofer F, Grasse AV, Tragust S, Schmitt T, Brown M, Cremer S. 2018. Destructive disinfection of infected brood prevents systemic disease spread in ant colonies. eLife. 7, e32073.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 806
Cremer S, Pull C, Fürst M. 2018. Social immunity: Emergence and evolution of colony-level disease protection. Annual Review of Entomology. 63, 105–123.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 83 |
Abusalah HM. 2018. Proof systems for sustainable decentralized cryptocurrencies. IST Austria.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 133 |
Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 160 |
Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided Verification, LNCS, vol. 10981, 79–102.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 69 |
Vukušić L. 2018. Charge sensing and spin relaxation times of holes in Ge hut wires. IST Austria.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 85 |
Gilad E, Brown TA, Oskin M, Etsion Y. 2018. Snapshot based synchronization: A fast replacement for Hand-over-Hand locking. Euro-Par: European Conference on Parallel Processing, LNCS, vol. 11014, 465–479.
View
| Files available
| DOI
2018 | Preprint | IST-REx-ID: 8547 |
Llorca A, Ciceri G, Beattie RJ, Wong FK, Diana G, Serafeimidou E, Fernández-Otero M, Streicher C, Arnold SJ, Meyer M, Hippenmeyer S, Maravall M, Marín O. Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture. bioRxiv, 10.1101/494088.
View
| DOI
| Download Preprint (ext.)
2018 | Book Chapter | IST-REx-ID: 86 |
Chatterjee K, Henzinger TA, Otop J. 2018.Computing average response time. In: Principles of Modeling. LNCS, vol. 10760, 143–161.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 87 |
Edelsbrunner H, Nikitenko A. 2018. Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics. Annals of Applied Probability. 28(5), 3215–3238.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 9229 |
Danzl JG. 2018. Diffraction-unlimited optical imaging for synaptic physiology. Opera Medica et Physiologica. 4(S1), 11.
View
| DOI
| Download Published Version (ext.)