Chatterjee, K., Fu, H., &; Goharshady, A. K. (2017). Non-polynomial worst case analysis of recursive programs. In R. Majumdar &; V. Kundak (Eds.) (Vol. 10427, pp. 41–63). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer.https://doi.org/10.1007/978-3-319-63390-9_3 

Chatterjee, K., Goharshady, A. K., &; Pavlogiannis, A. (2017). JTDec: A tool for tree decompositions in soot. In D. D’Souza (Ed.) (Vol. 10482, pp. 59–66). Presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India: Springer.https://doi.org/10.1007/978-3-319-68167-2_4 

Smutny, M., Ákos, Z., Grigolon, S., Shamipour, S., Ruprecht, V., Capek, D.,https://doi.org/10.1038/ncb3492__Heisenberg, C.-P. J. (2017). Friction forces position the neural anlage. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb3492 

Barone, V., Lang, M., Krens, G., Pradhan, S., Shamipour, S., Sako, K.,https://doi.org/10.1016/j.devcel.2017.09.014__Heisenberg, C.-P. J. (2017). An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2017.09.014 

Hansen, A. H., Düllberg, C. F., Mieck, C., Loose, M., &; Hippenmeyer, S. (2017). Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. Frontiers Research Foundation.https://doi.org/10.3389/fncel.2017.00176