Fulek, Radoslav, and Jan Kyndl. Hanani-Tutte for Approximating Maps of Graphs. Vol. 99, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.SoCG.2018.39.
LibreCat: https://research-explorer.ista.ac.at/record/185
DOI: 10.4230/LIPIcs.SoCG.2018.39

Edelsbrunner, Herbert, et al. Smallest Enclosing Spheres and Chernoff Points in Bregman Geometry. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 35:1-35:13, doi:10.4230/LIPIcs.SoCG.2018.35.
LibreCat: https://research-explorer.ista.ac.at/record/188
DOI: 10.4230/LIPIcs.SoCG.2018.35

De Martino, Andrea, and Daniele De Martino. “An Introduction to the Maximum Entropy Approach and Its Application to Inference Problems in Biology.”10.1016/j.heliyon.2018.e00596__Heliyon, vol. 4, no. 4, e00596, Elsevier, 2018, doi:10.1016/j.heliyon.2018.e00596.
LibreCat: https://research-explorer.ista.ac.at/record/306
DOI: 10.1016/j.heliyon.2018.e00596

Clarke, Edmund M., et al. Handbook of Model Checking. 1st ed., Springer Nature, 2018, doi:10.1007/978-3-319-10575-8.
LibreCat: https://research-explorer.ista.ac.at/record/3300
DOI: 10.1007/978-3-319-10575-8

Zagórski, Marcin P., and Anna Kicheva. “Measuring Dorsoventral Pattern and Morphogen Signaling Profiles in the Growing Neural Tube.”10.1007/978-1-4939-8772-6_4__Morphogen Gradients , vol. 1863, Springer Nature, 2018, pp. 47–63, doi:10.1007/978-1-4939-8772-6_4.
LibreCat: https://research-explorer.ista.ac.at/record/37
DOI: 10.1007/978-1-4939-8772-6_4

Misun, Patrick, et al. “Fabrication and Operation of Microfluidic Hanging Drop Networks.”10.1007/978-1-4939-7792-5_15__Methods in Molecular Biology, vol. 1771, Springer, 2018, pp. 183–202, doi:10.1007/978-1-4939-7792-5_15.
LibreCat: https://research-explorer.ista.ac.at/record/305
DOI: 10.1007/978-1-4939-7792-5_15

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

Trinh, Hoang, et al. “In Vitro Assay for Induction of Adventitious Rooting on Intact Arabidopsis Hypocotyls.”10.1007/978-1-4939-7747-5_7__Root Development , vol. 1761, Springer Nature, 2018, pp. 95–102, doi:10.1007/978-1-4939-7747-5_7.
LibreCat: https://research-explorer.ista.ac.at/record/408
DOI: 10.1007/978-1-4939-7747-5_7
PMID: 29525951

Karampelias, Michael, et al. “Optimized Whole Mount in Situ Immunolocalization for Arabidopsis Thaliana  Root Meristems and Lateral Root Primordia.”10.1007/978-1-4939-7747-5_10__Root Development. Methods and Protocols, edited by Daniela Ristova and Elke Barbez, vol. 1761, Springer, 2018, pp. 131–43, doi: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, Gaia. “Zika-Associated Microcephaly: Reduce the Stress and Race for the Treatment.”10.1126/scitranslmed.aar7514__Science Translational Medicine, vol. 10, no. 423, eaar7514, American Association for the Advancement of Science, 2018, doi:10.1126/scitranslmed.aar7514.
LibreCat: https://research-explorer.ista.ac.at/record/456
DOI: 10.1126/scitranslmed.aar7514

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

Bloem, Roderick, et al. “Graph Games and Reactive Synthesis.”10.1007/978-3-319-10575-8_27__Handbook of Model Checking, edited by Thomas A Henzinger et al., 1st ed., Springer, 2018, pp. 921–62, doi: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, Edmund, et al. “Introduction to Model Checking.”10.1007/978-3-319-10575-8_1__Handbook of Model Checking, edited by Thomas A Henzinger, Springer, 2018, pp. 1–26, doi: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

Bondarenko, Andriy, et al. “There Is No Strongly Regular Graph with Parameters (460; 153; 32; 60).”10.1007/978-3-319-72456-0_7__Contemporary Computational Mathematics, Springer, 2018, pp. 131–34, doi:10.1007/978-3-319-72456-0_7.
LibreCat: https://research-explorer.ista.ac.at/record/61
DOI: 10.1007/978-3-319-72456-0_7
arXiv: 1509.06286

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

Hausel, Tamás, et al. “Mirror Symmetry with Branes by Equivariant Verlinde Formulas.”10.1093/oso/9780198802013.003.0009__Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218, doi:10.1093/oso/9780198802013.003.0009.
LibreCat: https://research-explorer.ista.ac.at/record/6525
DOI: 10.1093/oso/9780198802013.003.0009

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