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