Leopold, N. K., &; Pickl, P. (2018). Mean-field limits of particles in interaction with quantised radiation fields (Vol. 270, pp. 185–214). Presented at the MaLiQS: Macroscopic Limits of Quantum Systems, Munich, Germany: Springer.https://doi.org/10.1007/978-3-030-01602-9_9 

Flandoli, F., Russo, F., &; Zanco, G. A. (2018). Infinite-dimensional calculus under weak spatial regularity of the processes. Journal of Theoretical Probability. Springer.https://doi.org/10.1007/s10959-016-0724-2 

Fulek, R., &; Kyndl, J. (2018). Hanani-Tutte for approximating maps of graphs (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2018.39 

Edelsbrunner, H., Virk, Z., &; Wagner, H. (2018). Smallest enclosing spheres and Chernoff points in Bregman geometry (Vol. 99, p. 35:1-35:13). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2018.35 

De Martino, A., &; De Martino, D. (2018). An introduction to the maximum entropy approach and its application to inference problems in biology. Heliyon. Elsevier.https://doi.org/10.1016/j.heliyon.2018.e00596 

Clarke, E. M., Henzinger, T. A., Veith, H., &; Bloem, R. (2018). Handbook of Model Checking (1st ed.). Cham: Springer Nature.https://doi.org/10.1007/978-3-319-10575-8 

Zagórski, M. P., &; Kicheva, A. (2018). Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube. In Morphogen Gradients  (Vol. 1863, pp. 47–63). Springer Nature.https://doi.org/10.1007/978-1-4939-8772-6_4 

Misun, P., Birchler, A., Lang, M., Hierlemann, A., &; Frey, O. (2018). Fabrication and operation of microfluidic hanging drop networks. Methods in Molecular Biology. Springer.https://doi.org/10.1007/978-1-4939-7792-5_15 

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 

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