Chatterjee, Krishnendu, et al. Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. ACM, 2018, pp. 2341–56, doi:10.1137/1.9781611975031.151.
LibreCat: https://research-explorer.ista.ac.at/record/310
DOI: 10.1137/1.9781611975031.151
WoS: 000483921200152
arXiv: 1711.09148

Barzanjeh, Shabir, et al. “Manipulating the Flow of Thermal Noise in Quantum Devices.”10.1103/PhysRevLett.120.060601__Physical Review Letters, vol. 120, no. 6, 060601, American Physical Society, 2018, doi:10.1103/PhysRevLett.120.060601.
LibreCat: https://research-explorer.ista.ac.at/record/436
DOI: 10.1103/PhysRevLett.120.060601
WoS: 000424382100004
arXiv: 1706.09051

Hross, Sabrina, et al. “Mechanistic Description of Spatial Processes Using Integrative Modelling of Noise-Corrupted Imaging Data.”10.1098/rsif.2018.0600__Journal of the Royal Society Interface, vol. 15, no. 149, 20180600, Royal Society Publishing, 2018, doi:10.1098/rsif.2018.0600.
LibreCat: https://research-explorer.ista.ac.at/record/5858
DOI: 10.1098/rsif.2018.0600
WoS: 000456783800011

Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity Amplification in a Creeping Viscoelastic Flow.”10.1103/PhysRevFluids.3.103303__Physical Review Fluids, vol. 3, no. 10, 103303, American Physical Society, 2018, doi:10.1103/PhysRevFluids.3.103303.
LibreCat: https://research-explorer.ista.ac.at/record/16
DOI: 10.1103/PhysRevFluids.3.103303
WoS: 000447469200001

Rybicki, Joel, et al. “Model of Bacterial Toxin-Dependent Pathogenesis Explains Infective Dose.”10.1073/pnas.1721061115__PNAS, vol. 115, no. 42, National Academy of Sciences, 2018, pp. 10690–95, doi:10.1073/pnas.1721061115.
LibreCat: https://research-explorer.ista.ac.at/record/43
DOI: 10.1073/pnas.1721061115
WoS: 000447491300057

Alderighi, Thomas, et al. “Metamolds: Computational Design of Silicone Molds.”10.1145/3197517.3201381__ACM Trans. Graph., vol. 37, no. 4, 136, ACM, 2018, doi:10.1145/3197517.3201381.
LibreCat: https://research-explorer.ista.ac.at/record/13
DOI: 10.1145/3197517.3201381
WoS: 000448185000097

Zhang, William, et al. “Monitoring Hippocampal Glycine with the Computationally Designed Optical Sensor GlyFS.”10.1038/s41589-018-0108-2__Nature Chemical Biology, vol. 14, no. 9, Nature Publishing Group, 2018, pp. 861–69, doi:10.1038/s41589-018-0108-2.
LibreCat: https://research-explorer.ista.ac.at/record/137
DOI: 10.1038/s41589-018-0108-2
WoS: 000442174500013
PMID: 30061718 

Renkawitz, Jörg, et al. “Micro-Engineered ‘Pillar Forests’ to Study Cell Migration in Complex but Controlled 3D Environments.”10.1016/bs.mcb.2018.07.004__Methods in Cell Biology, vol. 147, Academic Press, 2018, pp. 79–91, doi:10.1016/bs.mcb.2018.07.004.
LibreCat: https://research-explorer.ista.ac.at/record/153
DOI: 10.1016/bs.mcb.2018.07.004
WoS: 000452412300006
PMID: 30165964

Nunes Pinheiro, Diana C., and Yohanns Bellaïche. “Mechanical Force-Driven Adherents Junction Remodeling and Epithelial Dynamics.”10.1016/j.devcel.2018.09.014__Developmental Cell, vol. 47, no. 1, Cell Press, 2018, pp. 3–19, doi:10.1016/j.devcel.2018.09.014.
LibreCat: https://research-explorer.ista.ac.at/record/54
DOI: 10.1016/j.devcel.2018.09.014
WoS: 000446579900002

Frick, Corina, et al. “Nano-Scale Microfluidics to Study 3D Chemotaxis at the Single Cell Level.”10.1371/journal.pone.0198330__PLoS One, vol. 13, no. 6, e0198330, Public Library of Science, 2018, doi:10.1371/journal.pone.0198330.
LibreCat: https://research-explorer.ista.ac.at/record/276
DOI: 10.1371/journal.pone.0198330
WoS: 000434384900031

Ceinos, Rosa Maria, et al. “Mutations in Blind Cavefish Target the Light Regulated Circadian Clock Gene Period 2.”10.1038/s41598-018-27080-2__Scientific Reports, vol. 8, no. 1, 8754, Nature Publishing Group, 2018, doi:10.1038/s41598-018-27080-2.
LibreCat: https://research-explorer.ista.ac.at/record/283
DOI: 10.1038/s41598-018-27080-2
WoS: 000434640800008

Elgyütt, Adrian, et al. Monitoring Temporal Logic with Clock Variables. Vol. 11022, Springer, 2018, pp. 53–70, doi:10.1007/978-3-030-00151-3_4.
LibreCat: https://research-explorer.ista.ac.at/record/81
DOI: 10.1007/978-3-030-00151-3_4
WoS: 000884993200004

Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting and Firing Squads.”10.1007/s00446-018-0342-6__Distributed Computing, Springer, 2018, doi:10.1007/s00446-018-0342-6.
LibreCat: https://research-explorer.ista.ac.at/record/76
DOI: 10.1007/s00446-018-0342-6
WoS: 000475627800005

Edelsbrunner, Herbert, and Mabel Iglesias Ham. “Multiple Covers with Balls I: Inclusion–Exclusion.”10.1016/j.comgeo.2017.06.014__Computational Geometry: Theory and Applications, vol. 68, Elsevier, 2018, pp. 119–33, doi:10.1016/j.comgeo.2017.06.014.
LibreCat: https://research-explorer.ista.ac.at/record/530
DOI: 10.1016/j.comgeo.2017.06.014
WoS: 000415778300010

Redchenko, Elena, et al. “Nanoscopy of Pairs of Atoms by Fluorescence in a Magnetic Field.”10.1103/PhysRevA.97.043812__10.1103/PhysRevA.97.043812__Physical Review A - Atomic, Molecular, and Optical Physics, vol. 97, no. 4, 043812, American Physical Society, 2018, doi:10.1103/PhysRevA.97.043812.
LibreCat: https://research-explorer.ista.ac.at/record/307
DOI: 10.1103/PhysRevA.97.043812
WoS: 000429454000015
arXiv: 1712.10127

Zapata, Luis, et al. “Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome.”10.1186/s13059-018-1434-0__Genome Biology, vol. 19, 67, BioMed Central, 2018, doi:10.1186/s13059-018-1434-0.
LibreCat: https://research-explorer.ista.ac.at/record/279
DOI: 10.1186/s13059-018-1434-0
WoS: 000433986200001

Truckenbrodt, Sven M., et al. “Newly Produced Synaptic Vesicle Proteins Are Preferentially Used in Synaptic Transmission.”10.15252/embj.201798044__The EMBO Journal, vol. 37, no. 15, e98044, Wiley, 2018, doi:10.15252/embj.201798044.
LibreCat: https://research-explorer.ista.ac.at/record/145
DOI: 10.15252/embj.201798044
WoS: 000440416900005
PMID: 29950309

Fan, Ligang, et al. “NHX Antiporters Regulate the PH of Endoplasmic Reticulum and Auxin-Mediated Development.”10.1111/pce.13153__Plant, Cell and Environment, vol. 41, Wiley-Blackwell, 2018, pp. 850–64, doi:10.1111/pce.13153.
LibreCat: https://research-explorer.ista.ac.at/record/462
DOI: 10.1111/pce.13153
WoS: 000426870500012
PMID: 29360148

Altmeyer, Sebastian. “Non-Linear Dynamics and Alternating ‘Flip’ Solutions in Ferrofluidic Taylor-Couette Flow.”10.1016/j.jmmm.2017.12.073__Journal of Magnetism and Magnetic Materials, vol. 452, Elsevier, 2018, pp. 427–41, doi:10.1016/j.jmmm.2017.12.073.
LibreCat: https://research-explorer.ista.ac.at/record/519
DOI: 10.1016/j.jmmm.2017.12.073
WoS: 000425547700061

Huang, Mingzhang, et al. New Approaches for Almost-Sure Termination of Probabilistic Programs. Edited by Sukyoung Ryu, vol. 11275, Springer, 2018, pp. 181–201, doi:10.1007/978-3-030-02768-1_11.
LibreCat: https://research-explorer.ista.ac.at/record/5679
DOI: 10.1007/978-3-030-02768-1_11
WoS: 000916310900011
arXiv: 1806.06683