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 

Gnügge, R., Dharmarajan, L., Lang, M., &; Stelling, J. (2016). An orthogonal permease–inducer–repressor feedback loop shows bistability. ACS Synthetic Biology. American Chemical Society.https://doi.org/10.1021/acssynbio.6b00013 

Chatterjee, K., Dvorák, W., Henzinger, M. H., &; Loitzenbauer, V. (2016). Conditionally optimal algorithms for generalized Büchi Games (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2016.25 

Chonev, V. K., Ouaknine, J., &; Worrell, J. (2016). On the skolem problem for continuous linear dynamical systems (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik.https://doi.org/10.4230/LIPIcs.ICALP.2016.100 

Chatterjee, K., &; Doyen, L. (2016). Computation tree logic for synchronization properties (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik.https://doi.org/10.4230/LIPIcs.ICALP.2016.98 

angowski, ., Wabnik, K. T., Li, H., Vanneste, S., Naramoto, S., Tanaka, H., &; Friml, J. (2016). Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. Nature Publishing Group.https://doi.org/10.1038/celldisc.2016.18 

Chalk, M. J., Marre, O., &; Tkadik, G. (2016). Relevant sparse codes with variational information bottleneck (Vol. 29, pp. 1965–1973). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems.

Booker, S., Althof, D., Gross, A., Loreth, D., Müller, J., Unger, A.,https://doi.org/10.1093/cercor/bhw090__Kulik, Á. (2016). KCT auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. Oxford University Press.https://doi.org/10.1093/cercor/bhw090 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2016). Nested weighted limit-average automata of bounded width (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2016.24 

Haas, A., Henzinger, T. A., Holzer, A., Kirsch, C., Lippautz, M., Payer, H.,https://doi.org/10.4230/LIPIcs.CONCUR.2016.6__Veith, H. (2016). Local linearizability for concurrent container-type data structures. In Leibniz International Proceedings in Informatics (Vol. 59). Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2016.6 

Du, T., Schulz, A., Zhu, B., Bickel, B., &; Matusik, W. (2016). Computational multicopter design (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM.https://doi.org/10.1145/2980179.2982427 

Pentina, A., &; Urner, R. (2016). Lifelong learning with weighted majority votes (Vol. 29, pp. 3619–3627). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems.

Malomo, L., Pietroni, N., Bickel, B., &; Cignoni, P. (2016). FlexMolds: Automatic design of flexible shells for molding (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM.https://doi.org/10.1145/2980179.2982397 

Kolesnikov, A., &; Lampert, C. (2016). Improving weakly-supervised object localization by micro-annotation. In Proceedings of the British Machine Vision Conference 2016 (Vol. 2016–September, p. 92.1-92.12). York, United Kingdom: BMVA Press.https://doi.org/10.5244/C.30.92 

Gurung, A., Deka, A., Bartocci, E., Bogomolov, S., Grosu, R., &; Ray, R. (2016). Parallel reachability analysis for hybrid systems. Presented at the MEMOCODE: International Conference on Formal Methods and Models for System Design, Kanpur, India : IEEE.https://doi.org/10.1109/MEMCOD.2016.7797741 

Savin, C., &; Tkadik, G. (2016). Estimating nonlinear neural response functions using GP priors and Kronecker methods (Vol. 29, pp. 3610–3618). Presented at the NIPS: Neural Information Processing Systems, Barcelona; Spain: Neural Information Processing Systems.

Rueda, A., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G.,https://doi.org/10.1364/CLEO_SI.2016.SF2G.3__Schwefel, H. (2016). Efficient single sideband microwave to optical conversion using a LiNbO WGM-resonator. Presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, USA: IEEE.https://doi.org/10.1364/CLEO_SI.2016.SF2G.3