Agrawal, Sheshansh, et al. Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs. Vol. 2, no. POPL, 34, ACM, 2018, doi:10.1145/3158122.
LibreCat: https://research-explorer.ista.ac.at/record/325
DOI: 10.1145/3158122
arXiv: 1709.04037

Petritsch, Barbara, and Jana Porsche. “IST PubRep and IST DataRep: The Institutional Repositories at IST Austria.”10.31263/voebm.v71i1.1993__VÖB Mitteilungen, vol. 71, no. 1, Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, 2018, pp. 199–206, doi:10.31263/voebm.v71i1.1993.
LibreCat: https://research-explorer.ista.ac.at/record/53
DOI: 10.31263/voebm.v71i1.1993

Alistarh, Dan-Adrian, et al. “Communication-Efficient Randomized Consensus.”10.1007/s00446-017-0315-1__Distributed Computing, vol. 31, no. 6, Springer, 2018, pp. 489–501, doi:10.1007/s00446-017-0315-1.
LibreCat: https://research-explorer.ista.ac.at/record/536
DOI: 10.1007/s00446-017-0315-1

Napiórkowski, Marcin M., et al. “The Bogoliubov Free Energy Functional II: The Dilute Limit.”10.1007/s00220-017-3064-x__Communications in Mathematical Physics, vol. 360, no. 1, Springer, 2018, pp. 347–403, doi:10.1007/s00220-017-3064-x.
LibreCat: https://research-explorer.ista.ac.at/record/554
DOI: 10.1007/s00220-017-3064-x
arXiv: 1511.05953

Dimitrov, Dimitar, et al. “Culture of Mouse Giant Central Nervous System Synapses and Application for Imaging and Electrophysiological Analyses.”10.1007/978-1-4939-7571-6_15__Neurotrophic Factors, edited by Stephen D. Skaper, vol. 1727, Springer, 2018, pp. 201–15, doi:10.1007/978-1-4939-7571-6_15.
LibreCat: https://research-explorer.ista.ac.at/record/562
DOI: 10.1007/978-1-4939-7571-6_15
PMID: 29222783

Fan, Shuxia, et al. “Platelet Migration and Bacterial Trapping Assay under Flow.”10.21769/bioprotoc.3018__Bio-Protocol, vol. 8, no. 18, e3018, Bio-Protocol, 2018, doi:10.21769/bioprotoc.3018.
LibreCat: https://research-explorer.ista.ac.at/record/6354
DOI: 10.21769/bioprotoc.3018

Petritsch, Barbara. Open Access at IST Austria 2009-2017. IST Austria, 2018, doi:10.5281/zenodo.1410279.
LibreCat: https://research-explorer.ista.ac.at/record/6459
DOI: 10.5281/zenodo.1410279

Lee, Jii, and Kevin Schnelli. “Local Law and Tracy–Widom Limit for Sparse Random Matrices.”10.1007/s00440-017-0787-8__Probability Theory and Related Fields, vol. 171, no. 1–2, 543–616, Springer, 2018, doi:10.1007/s00440-017-0787-8.
LibreCat: https://research-explorer.ista.ac.at/record/690
DOI: 10.1007/s00440-017-0787-8
arXiv: 1605.08767

Shekhovtsov, Alexander, et al. “Maximum Persistency via Iterative Relaxed Inference with Graphical Models.”10.1109/TPAMI.2017.2730884__IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 40, no. 7, IEEE, 2018, pp. 1668–82, doi:10.1109/TPAMI.2017.2730884.
LibreCat: https://research-explorer.ista.ac.at/record/703
DOI: 10.1109/TPAMI.2017.2730884
arXiv: 1508.07902

Grubic, Demjan, et al. “Synchronous Multi-GPU Training for Deep Learning with Low-Precision Communications: An Empirical Study.”10.5441/002/EDBT.2018.14__Proceedings of the 21st International Conference on Extending Database Technology, OpenProceedings, 2018, pp. 145–56, doi:10.5441/002/EDBT.2018.14.
LibreCat: https://research-explorer.ista.ac.at/record/7116
DOI: 10.5441/002/EDBT.2018.14

Pietrzak, Krzysztof Z. “Proofs of Catalytic Space.”10.4230/LIPICS.ITCS.2019.59__10th Innovations in Theoretical Computer Science  Conference (ITCS 2019), vol. 124, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25, doi:10.4230/LIPICS.ITCS.2019.59.
LibreCat: https://research-explorer.ista.ac.at/record/7407
DOI: 10.4230/LIPICS.ITCS.2019.59

Polino, Antonio, et al. “Model Compression via Distillation and Quantization.” 6th International Conference on Learning Representations, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/7812
arXiv: 1802.05668

Llorca, Alfredo, et al. “Heterogeneous Progenitor Cell Behaviors Underlie the Assembly of Neocortical Cytoarchitecture.”10.1101/494088__BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/494088.
LibreCat: https://research-explorer.ista.ac.at/record/8547
DOI: 10.1101/494088

Chatterjee, Krishnendu, et al. “Computing Average Response Time.”10.1007/978-3-319-95246-8_9__Principles of Modeling, edited by Marten Lohstroh et al., vol. 10760, Springer, 2018, pp. 143–61, doi:10.1007/978-3-319-95246-8_9.
LibreCat: https://research-explorer.ista.ac.at/record/86
DOI: 10.1007/978-3-319-95246-8_9

Danzl, Johann G. “Diffraction-Unlimited Optical Imaging for Synaptic Physiology.”10.20388/omp2018.00s1.001__Opera Medica et Physiologica, vol. 4, no. , Lobachevsky State University of Nizhny Novgorod, 2018, p. 11, doi:10.20388/omp2018.00s1.001.
LibreCat: https://research-explorer.ista.ac.at/record/9229
DOI: 10.20388/omp2018.00s1.001

Avni, Guy, et al. Timed Network Games with Clocks. Vol. 117, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPICS.MFCS.2018.23.
LibreCat: https://research-explorer.ista.ac.at/record/6005
DOI: 10.4230/LIPICS.MFCS.2018.23

Polechova, Jitka. “Is the Sky the Limit? On the Expansion Threshold of a Species’ Range.”10.1371/journal.pbio.2005372__PLoS Biology, vol. 16, no. 6, e2005372, Public Library of Science, 2018, doi:10.1371/journal.pbio.2005372.
LibreCat: https://research-explorer.ista.ac.at/record/315
DOI: 10.1371/journal.pbio.2005372

Fulek, Radoslav, and Jan Kyndl. The 2-Genus of Kuratowski Minors. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14, doi:10.4230/LIPIcs.SoCG.2018.40.
LibreCat: https://research-explorer.ista.ac.at/record/186
DOI: 10.4230/LIPIcs.SoCG.2018.40
arXiv: 1803.05085

Fulek, Radoslav, and János Pach. Thrackles: An Improved Upper Bound. Vol. 10692, Springer, 2018, pp. 160–66, doi:10.1007/978-3-319-73915-1_14.
LibreCat: https://research-explorer.ista.ac.at/record/433
DOI: 10.1007/978-3-319-73915-1_14
arXiv: 1708.08037

Faria, Rui, et al. Data from: Multiple Chromosomal Rearrangements in a Hybrid Zone between Littorina Saxatilis Ecotypes. Dryad, 2018, doi:10.5061/dryad.72cg113.
LibreCat: https://research-explorer.ista.ac.at/record/9837
DOI: 10.5061/dryad.72cg113