Frehse, G., Giacobbe, M., &; Henzinger, T. A. (2018). Space-time interpolants (Vol. 10981, pp. 468–486). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer.https://doi.org/10.1007/978-3-319-96145-3_25 

Moser, T., &; Seiringer, R. (2018). Stability of the 2+2 fermionic system with point interactions. Mathematical Physics Analysis and Geometry. Springer.https://doi.org/10.1007/s11040-018-9275-3 

Hannezo, E. B., &; Simons, B. D. (2018). Statistical theory of branching morphogenesis. Development Growth and Differentiation. Wiley.https://doi.org/10.1111/dgd.12570 

Brázdil, T., Chatterjee, K., Kretinsky, J., &; Toman, V. (2018). Strategy representation by decision trees in reactive synthesis (Vol. 10805, pp. 385–407). Presented at the TACAS 2018: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece: Springer.https://doi.org/10.1007/978-3-319-89960-2_21 

Chatterjee, K., Henzinger, M. H., Loitzenbauer, V., Oraee, S., &; Toman, V. (2018). Symbolic algorithms for graphs and Markov decision processes with fairness objectives (Vol. 10982, pp. 178–197). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer.https://doi.org/10.1007/978-3-319-96142-2_13 

Alwen, J. F., Blocki, J., &; Pietrzak, K. Z. (2018). Sustained space complexity (Vol. 10821, pp. 99–130). Presented at the Eurocrypt 2018: Advances in Cryptology, Tel Aviv, Israel: Springer.https://doi.org/10.1007/978-3-319-78375-8_4 

Vu, L., Zhu, T., Verstraeten, I., Van De Cotte, B., Gevaert, K., &; De Smet, I. (2018). Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated interconversion of phosphoforms. Journal of Experimental Botany. Oxford University Press.https://doi.org/10.1093/jxb/ery204 

Sawada, K., Kawakami, R., Shigemoto, R., &; Nemoto, T. (2018). Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices. European Journal of Neuroscience. Wiley.https://doi.org/10.1111/ejn.13901 

Qu, K., Glass, B., Doleeal, M., Schur, F. K., Murciano, B., Rein, A.,https://doi.org/10.1073/pnas.1811580115__Briggs, J. A. G. (2018). Structure and architecture of immature and mature murine leukemia virus capsids. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences.https://doi.org/10.1073/pnas.1811580115 

Avni, G., &; Kupferman, O. (2018). Synthesis from component libraries with costs. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2017.11.001