Chatterjee, Krishnendu, et al. Non-Polynomial Worst Case Analysis of Recursive Programs. Edited by Rupak Majumdar and Viktor Kundak, vol. 10427, Springer, 2017, pp. 41–63, doi:10.1007/978-3-319-63390-9_3.

Chatterjee, Krishnendu, et al. JTDec: A Tool for Tree Decompositions in Soot. Edited by Deepak D’Souza, vol. 10482, Springer, 2017, pp. 59–66, doi:10.1007/978-3-319-68167-2_4.

Smutny, Michael, et al. “Friction Forces Position the Neural Anlage.”10.1038/ncb3492__Nature Cell Biology, vol. 19, Nature Publishing Group, 2017, pp. 306–17, doi:10.1038/ncb3492.

Hansen, Andi H., et al. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture Shaped by Biochemical Networks.”10.3389/fncel.2017.00176__Frontiers in Cellular Neuroscience, vol. 11, 176, Frontiers Research Foundation, 2017, doi:10.3389/fncel.2017.00176.

Chatterjee, Krishnendu, et al. Conditionally Optimal Algorithms for Generalized Büchi Games. Vol. 58, 25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.25.

Chonev, Ventsislav K., et al. On the Skolem Problem for Continuous Linear Dynamical Systems. Vol. 55, 100, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.100.

Chatterjee, Krishnendu, and Laurent Doyen. Computation Tree Logic for Synchronization Properties. Vol. 55, 98, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.98.

angowski, ukasz, et al. “Cellular Mechanisms for Cargo Delivery and Polarity Maintenance at Different Polar Domains in Plant Cells.”10.1038/celldisc.2016.18__Cell Discovery, vol. 2, 16018, Nature Publishing Group, 2016, doi:10.1038/celldisc.2016.18.

Rubel, Paul, et al. “SCP-ECG .0: An Enhanced Standard Communication Protocol for Computer-Assisted Electrocardiography.”10.22489/cinc.2016.090-500__2016 Computing in Cardiology Conference, vol. 43, Computing in Cardiology, 2016, pp. 309–12, doi:10.22489/cinc.2016.090-500.

Chalk, Matthew J., et al. Relevant Sparse Codes with Variational Information Bottleneck. Vol. 29, Neural Information Processing Systems, 2016, pp. 1965–73.

Chatterjee, Krishnendu, et al. Nested Weighted Limit-Average Automata of Bounded Width. Vol. 58, 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.24.

Haas, Andreas, et al. “Local Linearizability for Concurrent Container-Type Data Structures.”10.4230/LIPIcs.CONCUR.2016.6__Leibniz International Proceedings in Informatics, vol. 59, 6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.6.

Du, Tao, et al. Computational Multicopter Design. Vol. 35, no. 6, 227, ACM, 2016, doi:10.1145/2980179.2982427.

Pentina, Anastasia, and Ruth Urner. Lifelong Learning with Weighted Majority Votes. Vol. 29, Neural Information Processing Systems, 2016, pp. 3619–27.

Malomo, Luigi, et al. FlexMolds: Automatic Design of Flexible Shells for Molding. Vol. 35, no. 6, 223, ACM, 2016, doi:10.1145/2980179.2982397.

Kolesnikov, Alexander, and Christoph Lampert. “Improving Weakly-Supervised Object Localization by Micro-Annotation.”10.5244/C.30.92__Proceedings of the British Machine Vision Conference 2016, vol. 2016–September, BMVA Press, 2016, p. 92.1-92.12, doi:10.5244/C.30.92.

Gurung, Amit, et al. Parallel Reachability Analysis for Hybrid Systems. 7797741, IEEE, 2016, doi:10.1109/MEMCOD.2016.7797741.

Rueda, Alfredo, et al. Efficient Single Sideband Microwave to Optical Conversion Using a LiNbO WGM-Resonator. 7788479, IEEE, 2016, doi:10.1364/CLEO_SI.2016.SF2G.3.

Avni, Guy, et al. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.”10.1145/2968478.2968499__Proceedings of the 13th International Conference on Embedded Software , 26, ACM, 2016, doi:10.1145/2968478.2968499.

Manteaux, Pierre, et al. “Space-Time Sculpting of Liquid Animation.”10.1145/2994258.2994261__Proceedings of the 9th International Conference on Motion in Games , 2994261, ACM, 2016, doi:10.1145/2994258.2994261.