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 
LibreCat: https://research-explorer.ista.ac.at/record/411
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/456
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/53
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/536
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/554
DOI: 10.1007/s00220-017-3064-x
arXiv: 1511.05953

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 
LibreCat: https://research-explorer.ista.ac.at/record/562
DOI: 10.1007/978-1-4939-7571-6_15
PMID: 29222783

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 
LibreCat: https://research-explorer.ista.ac.at/record/59
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/60
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6354
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6459
DOI: 10.5281/zenodo.1410279