Gotlieb, K., Lin, C.-Y., Serbyn, M., Zhang, W., Smallwood, C. L., Jozwiak, C.,https://doi.org/10.1126/science.aao0980__Lanzara, A. (2018). Revealing hidden spin-momentum locking in a high-temperature cuprate superconductor. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aao0980 

Jiang, Y., Liu, H., Song, H., Kong, H., Wang, R., Guan, Y., &; Sha, L. (2018). Safety-assured model-driven design of the multifunction vehicle bus controller. IEEE Transactions on Intelligent Transportation Systems. IEEE.https://doi.org/10.1109/TITS.2017.2778077 

Kaucka, M., Petersen, J., Tesarova, M., Szarowska, B., Kastriti, M., Xie, M.,https://doi.org/10.7554/eLife.34465__Adameyko, I. (2018). Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.34465 

Cohen, B., &; Pietrzak, K. Z. (2018). Simple proofs of sequential work (Vol. 10821, pp. 451–467). Presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel: Springer.https://doi.org/10.1007/978-3-319-78375-8_15 

Ferrari, U., Deny, S., Chalk, M. J., Tkadik, G., Marre, O., &; Mora, T. (2018). Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons. Physical Review E. American Physical Society.https://doi.org/10.1103/PhysRevE.98.042410 

Kalinin, N., Guzmán Sáenz, A., Prieto, Y., Shkolnikov, M., Kalinina, V., &; Lupercio, E. (2018). Self-organized criticality and pattern emergence through the lens of tropical geometry. PNAS: Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences.https://doi.org/10.1073/pnas.1805847115 

Kaucka, M., Petersen, J., Tesarova, M., Szarowska, B., Kastriti, M. E., Xie, M.,https://doi.org/10.5061/dryad.f1s76f2__Adameyko, I. (2018). Data from: Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. Dryad.https://doi.org/10.5061/dryad.f1s76f2 

Luján, R., Aguado, C., Ciruela, F., Arus, X., Martín Belmonte, A., Alfaro Ruiz, R.,https://doi.org/10.3389/fncel.2018.00311__Fukazawa, Y. (2018). Sk2 channels associate with mGlu1;1 receptors and Ca.1 channels in Purkinje cells. Frontiers in Cellular Neuroscience. Frontiers Media.https://doi.org/10.3389/fncel.2018.00311 

Vukusi, L., Kukucka, J., Watzinger, H., Milem, J. M., Schäffler, F., &; Katsaros, G. (2018). Single-shot readout of hole spins in Ge. Nano Letters. American Chemical Society.https://doi.org/10.1021/acs.nanolett.8b03217 

Gilad, E., Brown, T. A., Oskin, M., &; Etsion, Y. (2018). Snapshot based synchronization: A fast replacement for Hand-over-Hand locking (Vol. 11014, pp. 465–479). Presented at the Euro-Par: European Conference on Parallel Processing, Turin, Italy: Springer.https://doi.org/10.1007/978-3-319-96983-1_33 

Michailidis, A., dnidarid, M., Medvedyeva, M., Abanin, D., Prosen, T., &; Papi, Z. (2018). Slow dynamics in translation-invariant quantum lattice models. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.97.104307 

Viljakainen, L., Jurvansuu, J., Holmberg, I., Pamminger, T., Erler, S., &; Cremer, S. (2018). Social environment affects the transcriptomic response to bacteria in ant queens. Ecology and Evolution. Wiley.https://doi.org/10.1002/ece3.4573 

Cremer, S., Pull, C., &; Fürst, M. (2018). Social immunity: Emergence and evolution of colony-level disease protection. Annual Review of Entomology. Annual Reviews.https://doi.org/10.1146/annurev-ento-020117-043110 

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