Hansen, Andi H, Christian F Düllberg, Christine Mieck, Martin Loose, and Simon Hippenmeyer. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture Shaped by Biochemical Networks.”https://doi.org/10.3389/fncel.2017.00176__Frontiers in Cellular Neuroscience. Frontiers Research Foundation, 2017.https://doi.org/10.3389/fncel.2017.00176 .

Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Veronika Loitzenbauer. “Conditionally Optimal Algorithms for Generalized Büchi Games,”https://doi.org/10.4230/LIPIcs.MFCS.2016.25__Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.https://doi.org/10.4230/LIPIcs.MFCS.2016.25 .

Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On the Skolem Problem for Continuous Linear Dynamical Systems,”https://doi.org/10.4230/LIPIcs.ICALP.2016.100__Vol. 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.https://doi.org/10.4230/LIPIcs.ICALP.2016.100 .

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

angowski, ukasz, Krzysztof T Wabnik, Hongjiang Li, Steffen Vanneste, Satoshi Naramoto, Hirokazu Tanaka, and Jií Friml. “Cellular Mechanisms for Cargo Delivery and Polarity Maintenance at Different Polar Domains in Plant Cells.”https://doi.org/10.1038/celldisc.2016.18__Cell Discovery. Nature Publishing Group, 2016.https://doi.org/10.1038/celldisc.2016.18 .

Rubel, Paul, Danilo Pani, Alois Schlögl, Jocelyne Fayn, Fabio Badilini, Peter Macfarlane, and Alpo Varri. “SCP-ECG .0: An Enhanced Standard Communication Protocol for Computer-Assisted Electrocardiography.”https://doi.org/10.22489/cinc.2016.090-500__In 2016 Computing in Cardiology Conference, 43:309–12. Computing in Cardiology, 2016.https://doi.org/10.22489/cinc.2016.090-500 .

Chalk, Matthew J, Olivier Marre, and Gasper Tkadik. “Relevant Sparse Codes with Variational Information Bottleneck,” 29:1965–73. Neural Information Processing Systems, 2016.

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Limit-Average Automata of Bounded Width,”https://doi.org/10.4230/LIPIcs.MFCS.2016.24__Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.https://doi.org/10.4230/LIPIcs.MFCS.2016.24 .

Haas, Andreas, Thomas A Henzinger, Andreas Holzer, Christoph Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, and Helmut Veith. “Local Linearizability for Concurrent Container-Type Data Structures.”https://doi.org/10.4230/LIPIcs.CONCUR.2016.6__In Leibniz International Proceedings in Informatics, Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.https://doi.org/10.4230/LIPIcs.CONCUR.2016.6 .

Du, Tao, Adriana Schulz, Bo Zhu, Bernd Bickel, and Wojciech Matusik. “Computational Multicopter Design,”https://doi.org/10.1145/2980179.2982427__Vol. 35. ACM, 2016.https://doi.org/10.1145/2980179.2982427 .

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

Malomo, Luigi, Nico Pietroni, Bernd Bickel, and Paolo Cignoni. “FlexMolds: Automatic Design of Flexible Shells for Molding,”https://doi.org/10.1145/2980179.2982397__Vol. 35. ACM, 2016.https://doi.org/10.1145/2980179.2982397 .

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

Gurung, Amit, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, and Rajarshi Ray. “Parallel Reachability Analysis for Hybrid Systems.”https://doi.org/10.1109/MEMCOD.2016.7797741__IEEE, 2016.https://doi.org/10.1109/MEMCOD.2016.7797741 .

Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Georg Schunk, Dimitry Strekalov, et al. “Efficient Single Sideband Microwave to Optical Conversion Using a LiNbO WGM-Resonator.”https://doi.org/10.1364/CLEO_SI.2016.SF2G.3__IEEE, 2016.https://doi.org/10.1364/CLEO_SI.2016.SF2G.3 .

Avni, Guy, Shibashis Guha, and Guillermo Rodríguez Navas. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.”https://doi.org/10.1145/2968478.2968499__In Proceedings of the 13th International Conference on Embedded Software . ACM, 2016.https://doi.org/10.1145/2968478.2968499 .

Manteaux, Pierre, Ulysse Vimont, Chris Wojtan, Damien Rohmer, and Marie Cani. “Space-Time Sculpting of Liquid Animation.”https://doi.org/10.1145/2994258.2994261__In Proceedings of the 9th International Conference on Motion in Games . ACM, 2016.https://doi.org/10.1145/2994258.2994261 .

Salzer, Elisabeth, Deniz Ça7daf, Miroslav Hons, Emily Mace, Wojciech Garncarz, Oezlem Petronczki, René Platzer, et al. “RASGR Deficiency Causes Immunodeficiency with Impaired Cytoskeletal Dynamics.”https://doi.org/10.1038/ni.3575__Nature Immunology. Nature Publishing Group, 2016.https://doi.org/10.1038/ni.3575 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Quantitative Automata under Probabilistic Semantics.”https://doi.org/10.1145/2933575.2933588__In Proceedings of the 31st Annual ACM/IEEE Symposium, 76–85. IEEE, 2016.https://doi.org/10.1145/2933575.2933588 .

Chatterjee, Krishnendu, Wolfgang Dvoák, Monika H Henzinger, and Veronika Loitzenbauer. “Model and Objective Separation with Conditional Lower Bounds: Disjunction Is Harder than Conjunction.”https://doi.org/10.1145/2933575.2935304__In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 197–206. IEEE, 2016.https://doi.org/10.1145/2933575.2935304 .