E. B. Hannezo and B. D. Simons, “Statistical theory of branching morphogenesis,” Development Growth and Differentiation, vol. 60, no. 9. Wiley, pp. 512–521, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5787
DOI: 10.1111/dgd.12570
WoS: 000453555100002

T. Brázdil, K. Chatterjee, J. Kretinsky, and V. Toman, “Strategy representation by decision trees in reactive synthesis,” presented at the TACAS 2018: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 2018, vol. 10805, pp. 385–407.
LibreCat: https://research-explorer.ista.ac.at/record/297
DOI: 10.1007/978-3-319-89960-2_21
WoS: 000546326300021

K. Chatterjee, M. H. Henzinger, V. Loitzenbauer, S. Oraee, and V. Toman, “Symbolic algorithms for graphs and Markov decision processes with fairness objectives,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10982, pp. 178–197.
LibreCat: https://research-explorer.ista.ac.at/record/141
DOI: 10.1007/978-3-319-96142-2_13
WoS: 000491469700013

J. F. Alwen, J. Blocki, and K. Z. Pietrzak, “Sustained space complexity,” presented at the Eurocrypt 2018: Advances in Cryptology, Tel Aviv, Israel, 2018, vol. 10821, pp. 99–130.
LibreCat: https://research-explorer.ista.ac.at/record/298
DOI: 10.1007/978-3-319-78375-8_4
WoS: 000517098700004
arXiv: 1705.05313

L. Vu, T. Zhu, I. Verstraeten, B. Van De Cotte, K. Gevaert, and I. De Smet, “Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated interconversion of phosphoforms,” Journal of Experimental Botany, vol. 69, no. 19. Oxford University Press, pp. 4609–4624, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/36
DOI: 10.1093/jxb/ery204
WoS: 000443568700010

K. Sawada, R. Kawakami, R. Shigemoto, and T. Nemoto, “Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices,” European Journal of Neuroscience, vol. 47, no. 9. Wiley, pp. 1033–1042, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/326
DOI: 10.1111/ejn.13901
WoS: 000431496400001

K. Qu et al., “Structure and architecture of immature and mature murine leukemia virus capsids,” Proceedings of the National Academy of Sciences, vol. 115, no. 50. Proceedings of the National Academy of Sciences, pp. 751–760, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5770
DOI: 10.1073/pnas.1811580115
WoS: 000452866000022
PMID: 30478053

G. Avni and O. Kupferman, “Synthesis from component libraries with costs,” Theoretical Computer Science, vol. 712. Elsevier, pp. 50–72, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/608
DOI: 10.1016/j.tcs.2017.11.001
WoS: 000424959200003

T. Nishiyama et al., “The Chara genome: Secondary complexity and implications for plant terrestrialization,” Cell, vol. 174, no. 2. Cell Press, p. 448–464.e24, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/148
DOI: 10.1016/j.cell.2018.06.033
WoS: 000438482800019
PMID: 30007417

N. Cavallari, C. Nibau, A. Fuchs, D. Dadarou, A. Barta, and J. Doonan, “The cyclindependent kinase G group defines a thermosensitive alternative splicing circuit modulating the expression of Arabidopsis ATU 2AF 65A,” The Plant Journal, vol. 94, no. 6. Wiley, pp. 1010–1022, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/403
DOI: 10.1111/tpj.13914
WoS: 000434365500008