K. Chatterjee, W. Dvorák, M. H. Henzinger, and V. Loitzenbauer, “Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter,” presented at the SODA: Symposium on Discrete Algorithms, New Orleans, Louisiana, United States, 2018, pp. 2341–2356.
LibreCat: https://research-explorer.ista.ac.at/record/310
DOI: 10.1137/1.9781611975031.151
WoS: 000483921200152
arXiv: 1711.09148

S. Barzanjeh, M. Aquilina, and A. Xuereb, “Manipulating the flow of thermal noise in quantum devices,” Physical Review Letters, vol. 120, no. 6. American Physical Society, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/436
DOI: 10.1103/PhysRevLett.120.060601
WoS: 000424382100004
arXiv: 1706.09051

S. Hross, F. J. Theis, M. K. Sixt, and J. Hasenauer, “Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data,” Journal of the Royal Society Interface, vol. 15, no. 149. Royal Society Publishing, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5858
DOI: 10.1098/rsif.2018.0600
WoS: 000456783800011

A. Varshney and V. Steinberg, “Mixing layer instability and vorticity amplification in a creeping viscoelastic flow,” Physical Review Fluids, vol. 3, no. 10. American Physical Society, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/16
DOI: 10.1103/PhysRevFluids.3.103303
WoS: 000447469200001

J. Rybicki, E. Kisdi, and J. Anttila, “Model of bacterial toxin-dependent pathogenesis explains infective dose,” PNAS, vol. 115, no. 42. National Academy of Sciences, pp. 10690–10695, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/43
DOI: 10.1073/pnas.1721061115
WoS: 000447491300057

T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, and P. Cignoni, “Metamolds: Computational design of silicone molds,” ACM Trans. Graph., vol. 37, no. 4. ACM, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/13
DOI: 10.1145/3197517.3201381
WoS: 000448185000097

W. Zhang et al., “Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS,” Nature Chemical Biology, vol. 14, no. 9. Nature Publishing Group, pp. 861–869, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/137
DOI: 10.1038/s41589-018-0108-2
WoS: 000442174500013
PMID: 30061718 

J. Renkawitz, A. Reversat, A. F. Leithner, J. Merrin, and M. K. Sixt, “Micro-engineered ‘pillar forests’ to study cell migration in complex but controlled 3D environments,” in Methods in Cell Biology, vol. 147, Academic Press, 2018, pp. 79–91.
LibreCat: https://research-explorer.ista.ac.at/record/153
DOI: 10.1016/bs.mcb.2018.07.004
WoS: 000452412300006
PMID: 30165964

D. C. Nunes Pinheiro and Y. Bellaïche, “Mechanical force-driven adherents junction remodeling and epithelial dynamics,” Developmental Cell, vol. 47, no. 1. Cell Press, pp. 3–19, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/54
DOI: 10.1016/j.devcel.2018.09.014
WoS: 000446579900002

C. Frick et al., “Nano-scale microfluidics to study 3D chemotaxis at the single cell level,” PLoS One, vol. 13, no. 6. Public Library of Science, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/276
DOI: 10.1371/journal.pone.0198330
WoS: 000434384900031

R. M. Ceinos et al., “Mutations in blind cavefish target the light regulated circadian clock gene period 2,” Scientific Reports, vol. 8, no. 1. Nature Publishing Group, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/283
DOI: 10.1038/s41598-018-27080-2
WoS: 000434640800008

A. Elgyütt, T. Ferrere, and T. A. Henzinger, “Monitoring temporal logic with clock variables,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Beijing, China, 2018, vol. 11022, pp. 53–70.
LibreCat: https://research-explorer.ista.ac.at/record/81
DOI: 10.1007/978-3-030-00151-3_4
WoS: 000884993200004

C. Lenzen and J. Rybicki, “Near-optimal self-stabilising counting and firing squads,” Distributed Computing. Springer, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/76
DOI: 10.1007/s00446-018-0342-6
WoS: 000475627800005

H. Edelsbrunner and M. Iglesias Ham, “Multiple covers with balls I: Inclusion–exclusion,” Computational Geometry: Theory and Applications, vol. 68. Elsevier, pp. 119–133, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/530
DOI: 10.1016/j.comgeo.2017.06.014
WoS: 000415778300010

E. Redchenko, A. Makarov, and V. Yudson, “Nanoscopy of pairs of atoms by fluorescence in a magnetic field,”  Physical Review A - Atomic, Molecular, and Optical Physics, vol. 97, no. 4. American Physical Society, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/307
DOI: 10.1103/PhysRevA.97.043812
WoS: 000429454000015
arXiv: 1712.10127

L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, and M. Schaefer, “Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome,” Genome Biology, vol. 19. BioMed Central, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/279
DOI: 10.1186/s13059-018-1434-0
WoS: 000433986200001

S. M. Truckenbrodt et al., “Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission,” The EMBO Journal, vol. 37, no. 15. Wiley, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/145
DOI: 10.15252/embj.201798044
WoS: 000440416900005
PMID: 29950309

L. Fan et al., “NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development,” Plant, Cell and Environment, vol. 41. Wiley-Blackwell, pp. 850–864, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/462
DOI: 10.1111/pce.13153
WoS: 000426870500012
PMID: 29360148

S. Altmeyer, “Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow,” Journal of Magnetism and Magnetic Materials, vol. 452. Elsevier, pp. 427–441, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/519
DOI: 10.1016/j.jmmm.2017.12.073
WoS: 000425547700061

M. Huang, H. Fu, and K. Chatterjee, “New approaches for almost-sure termination of probabilistic programs,” presented at the 16th Asian Symposium on Programming Languages and Systems, APLAS, Wellington, New Zealand, 2018, vol. 11275, pp. 181–201.
LibreCat: https://research-explorer.ista.ac.at/record/5679
DOI: 10.1007/978-3-030-02768-1_11
WoS: 000916310900011
arXiv: 1806.06683