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 .

Savin, Cristina, and Gasper Tkadik. “Estimating Nonlinear Neural Response Functions Using GP Priors and Kronecker Methods,” 29:3610–18. Neural Information Processing Systems, 2016.

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 .

Duggirala, Parasara, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesishttps://doi.org/10.1109/CCA.2016.7587948__HyST and TuLiP.”https://doi.org/10.1109/CCA.2016.7587948__In 2016 IEEE Conference on Control Applications. IEEE, 2016.https://doi.org/10.1109/CCA.2016.7587948 .

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 .

Martins, Rui, Julia Maier, Anna Gorki, Kilian Huber, Omar Sharif, Philipp Starkl, Simona Saluzzo, et al. “Heme Drives Hemolysis-Induced Susceptibility to Infection via Disruption of Phagocyte Functions.”https://doi.org/10.1038/ni.3590__Nature Immunology. Nature Publishing Group, 2016.https://doi.org/10.1038/ni.3590 .

azarz, Radosaw, Micha Idzik, Konrad Gdek, and Ewa P Gajda-Zagorska. “Hierarchic Genetic Strategy with Maturing as a Generic Tool for Multiobjective Optimization.”https://doi.org/10.1016/j.jocs.2016.03.004__Journal of Computational Science. Elsevier, 2016.https://doi.org/10.1016/j.jocs.2016.03.004 .

Nam, Phan, Nicolas Rougerie, and Robert Seiringer. “Ground States of Large Bosonic Systems: The Gross Pitaevskii Limit Revisited.”https://doi.org/10.2140/apde.2016.9.459__Analysis and PDE. Mathematical Sciences Publishers, 2016.https://doi.org/10.2140/apde.2016.9.459 .

Nodzyski, Tomasz, Steffen Vanneste, Marta Zwiewka, Markéta Pernisová, Jan Hejátko, and Jií Friml. “Enquiry into the Topology of Plasma Membrane Localized PIN Auxin Transport Components.”https://doi.org/10.1016/j.molp.2016.08.010__Molecular Plant. Cell Press, 2016.https://doi.org/10.1016/j.molp.2016.08.010 .

Balla, Jozef, Zuzana Medved’Ová, Petr Kalousek, Natálie Matijesduková, Jií Friml, Vilém Reinöhl, and Stanislav Procházka. “Auxin Flow Mediated Competition between Axillary Buds to Restore Apical Dominance.”https://doi.org/10.1038/srep35955__Scientific Reports. Nature Publishing Group, 2016.https://doi.org/10.1038/srep35955 .