Agrawal, S., Chatterjee, K., &; Novotný, P. (2018). Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs (Vol. 2). Presented at the POPL: Principles of Programming Languages, Los Angeles, CA, USA: ACM.https://doi.org/10.1145/3158122 

Trinh, H., Verstraeten, I., &; Geelen, D. (2018). In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls. In Root Development  (Vol. 1761, pp. 95–102). Springer Nature.https://doi.org/10.1007/978-1-4939-7747-5_7 

Karampelias, M., Tejos, R., Friml, J., &; Vanneste, S. (2018). Optimized whole mount in situ immunolocalization for Arabidopsis thaliana  root meristems and lateral root primordia. In D. Ristova &; E. Barbez (Eds.), Root Development. Methods and Protocols (Vol. 1761, pp. 131–143). Springer.https://doi.org/10.1007/978-1-4939-7747-5_10 

Novarino, G. (2018). Zika-associated microcephaly: Reduce the stress and race for the treatment. Science Translational Medicine. American Association for the Advancement of Science.https://doi.org/10.1126/scitranslmed.aar7514 

Petritsch, B., &; Porsche, J. (2018). IST PubRep and IST DataRep: the institutional repositories at IST Austria. VÖB Mitteilungen. Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare.https://doi.org/10.31263/voebm.v71i1.1993 

Alistarh, D.-A., Aspnes, J., King, V., &; Saia, J. (2018). Communication-efficient randomized consensus. Distributed Computing. Springer.https://doi.org/10.1007/s00446-017-0315-1 

Napiórkowski, M. M., Reuvers, R., &; Solovej, J. (2018). The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-017-3064-x 

Dimitrov, D., Guillaud, L., Eguchi, K., &; Takahashi, T. (2018). Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In S. D. Skaper (Ed.), Neurotrophic Factors (Vol. 1727, pp. 201–215). Springer.https://doi.org/10.1007/978-1-4939-7571-6_15 

Bloem, R., Chatterjee, K., &; Jobstmann, B. (2018). Graph games and reactive synthesis. In T. A. Henzinger, E. M. Clarke, H. Veith, &; R. Bloem (Eds.), Handbook of Model Checking (1st ed., pp. 921–962). Springer.https://doi.org/10.1007/978-3-319-10575-8_27 

Clarke, E., Henzinger, T. A., &; Veith, H. (2018). Introduction to model checking. In T. A. Henzinger (Ed.), Handbook of Model Checking (pp. 1–26). Springer.https://doi.org/10.1007/978-3-319-10575-8_1 

Bondarenko, A., Mellit, A., Prymak, A., Radchenko, D., &; Viazovska, M. (2018). There is no strongly regular graph with parameters (460; 153; 32; 60). In Contemporary Computational Mathematics (pp. 131–134). Springer.https://doi.org/10.1007/978-3-319-72456-0_7 

Fan, S., Lorenz, M., Massberg, S., &; Gärtner, F. R. (2018). Platelet migration and bacterial trapping assay under flow. Bio-Protocol. Bio-Protocol.https://doi.org/10.21769/bioprotoc.3018 

Petritsch, B. (2018). Open Access at IST Austria 2009-2017. Presented at the Open-Access-Tage, Graz, Austria: IST Austria.https://doi.org/10.5281/zenodo.1410279 

Hausel, T., Mellit, A., &; Pei, D. (2018). Mirror symmetry with branes by equivariant verlinde formulas. In Geometry and Physics: Volume I (pp. 189–218). Oxford University Press.https://doi.org/10.1093/oso/9780198802013.003.0009 

Lee, J., &; Schnelli, K. (2018). Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. Springer.https://doi.org/10.1007/s00440-017-0787-8 

Shekhovtsov, A., Swoboda, P., &; Savchynskyy, B. (2018). Maximum persistency via iterative relaxed inference with graphical models. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE.https://doi.org/10.1109/TPAMI.2017.2730884 

Grubic, D., Tam, L., Alistarh, D.-A., &; Zhang, C. (2018). Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study. In Proceedings of the 21st International Conference on Extending Database Technology (pp. 145–156). Vienna, Austria: OpenProceedings.https://doi.org/10.5441/002/EDBT.2018.14 

Pietrzak, K. Z. (2018). Proofs of catalytic space. In 10th Innovations in Theoretical Computer Science  Conference (ITCS 2019) (Vol. 124, p. 59:1-59:25). San Diego, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.ITCS.2019.59 

Alistarh, D.-A., Leiserson, W., Matveev, A., &; Shavit, N. (2018). ThreadScan: Automatic and scalable memory reclamation. ACM Transactions on Parallel Computing. Association for Computing Machinery.https://doi.org/10.1145/3201897 

Polino, A., Pascanu, R., &; Alistarh, D.-A. (2018). Model compression via distillation and quantization. In 6th International Conference on Learning Representations. Vancouver, Canada.