Kragl, B., &; Qadeer, S. (2018). Layered Concurrent Programs (Vol. 10981, pp. 79–102). Presented at the CAV: Computer Aided Verification, Oxford, UK: Springer.https://doi.org/10.1007/978-3-319-96145-3_5 

Gao, Z., Daneva, A., Salanenka, Y., Van Durme, M., Huysmans, M., Lin, Z.,https://doi.org/10.1038/s41477-018-0160-7__Nowack, M. (2018). KIR and ORESAR terminate flower receptivity by promoting cell death in the stigma of Arabidopsis. Nature Plants. Nature Publishing Group.https://doi.org/10.1038/s41477-018-0160-7 

Tomasek, K., Bergmiller, T., &; Guet, C. C. (2018). Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains. Journal of Biotechnology. Elsevier.https://doi.org/10.1016/j.jbiotec.2018.01.008 

Chaudhry, W., Pleska, M., Shah, N., Weiss, H., Mccall, I., Meyer, J.,https://doi.org/10.1371/journal.pbio.2005971__Levin, B. (2018). Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.2005971 

Umetani, N., &; Bickel, B. (2018). Learning three-dimensional flow for interactive aerodynamic design. ACM Trans. Graph. ACM.https://doi.org/10.1145/3197517.3201325 

Bartocci, E., Ferrere, T., Manjunath, N., &; Nickovic, D. (2018). Localizing faults in simulink/stateflow models with STL (pp. 197–206). Presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal: Association for Computing Machinery, Inc.https://doi.org/10.1145/3178126.3178131 

Alt, J., Erdös, L., &; Krüger, T. H. (2018). Local inhomogeneous circular law. Annals Applied Probability . Institute of Mathematical Statistics.https://doi.org/10.1214/17-AAP1302 

Akopyan, A., &; Petrunin, A. (2018). Long geodesics on convex surfaces. Mathematical Intelligencer. Springer.https://doi.org/10.1007/s00283-018-9795-5 

Chaudhry, W., Pleska, M., Shah, N., Weiss, H., Mccall, I., Meyer, J.,https://doi.org/10.1371/journal.pbio.2005971.s008__Levin, B. (2018). Numerical data used in figures. Public Library of Science.https://doi.org/10.1371/journal.pbio.2005971.s008 

Brown, M., Johnson, L., Leone, D., Májek, P., Vaahtomeri, K., Senfter, D.,https://doi.org/10.1083/jcb.201612051__Kerjaschki, D. (2018). Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.201612051 

Robert, H., Park, C., Gutièrrez, C., Wójcikowska, B., Pbndík, A., Novák, O.,https://doi.org/10.1038/s41477-018-0204-z__Laux, T. (2018). Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. Nature Publishing Group.https://doi.org/10.1038/s41477-018-0204-z 

Fiedorczuk, K., &; Sazanov, L. A. (2018). Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. Elsevier.https://doi.org/10.1016/j.tcb.2018.06.006 

Chatterjee, K., Dvorák, W., Henzinger, M. H., &; Loitzenbauer, V. (2018). Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter (pp. 2341–2356). Presented at the SODA: Symposium on Discrete Algorithms, New Orleans, Louisiana, United States: ACM.https://doi.org/10.1137/1.9781611975031.151 

Barzanjeh, S., Aquilina, M., &; Xuereb, A. (2018). Manipulating the flow of thermal noise in quantum devices. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.120.060601 

Hross, S., Theis, F. J., Sixt, M. K., &; Hasenauer, J. (2018). Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. Royal Society Publishing.https://doi.org/10.1098/rsif.2018.0600 

Varshney, A., &; Steinberg, V. (2018). Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. American Physical Society.https://doi.org/10.1103/PhysRevFluids.3.103303 

Rybicki, J., Kisdi, E., &; Anttila, J. (2018). Model of bacterial toxin-dependent pathogenesis explains infective dose. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1721061115 

Alderighi, T., Malomo, L., Giorgi, D., Pietroni, N., Bickel, B., &; Cignoni, P. (2018). Metamolds: Computational design of silicone molds. ACM Trans. Graph. ACM.https://doi.org/10.1145/3197517.3201381 

Zhang, W., Herde, M., Mitchell, J., Whitfield, J., Wulff, A., Vongsouthi, V.,https://doi.org/10.1038/s41589-018-0108-2__Henneberger, C. (2018). Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. Nature Publishing Group.https://doi.org/10.1038/s41589-018-0108-2 

Renkawitz, J., Reversat, A., Leithner, A. F., Merrin, J., &; Sixt, M. K. (2018). Micro-engineered “pillar forests”https://doi.org/10.1016/bs.mcb.2018.07.004__to study cell migration in complex but controlled 3D environments. In Methods in Cell Biology (Vol. 147, pp. 79–91). Academic Press.https://doi.org/10.1016/bs.mcb.2018.07.004