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.
LibreCat: https://research-explorer.ista.ac.at/record/1068
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.
LibreCat: https://research-explorer.ista.ac.at/record/1069
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.
LibreCat: https://research-explorer.ista.ac.at/record/1070
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.
LibreCat: https://research-explorer.ista.ac.at/record/1081
DOI: 10.1038/celldisc.2016.18

Chalk, Matthew J., et al. Relevant Sparse Codes with Variational Information Bottleneck. Vol. 29, Neural Information Processing Systems, 2016, pp. 1965–73.
LibreCat: https://research-explorer.ista.ac.at/record/1082

Booker, Sam, et al. “KCT Auxiliary Proteins Modulate Kinetics of GABAB Receptor-Mediated Inhibition in Cholecystokinin-Containing Interneurons.”10.1093/cercor/bhw090__Cerebral Cortex, vol. 27, no. 3, Oxford University Press, 2016, pp. 2318–34, doi:10.1093/cercor/bhw090.
LibreCat: https://research-explorer.ista.ac.at/record/1083
DOI: 10.1093/cercor/bhw090

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.
LibreCat: https://research-explorer.ista.ac.at/record/1090
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.
LibreCat: https://research-explorer.ista.ac.at/record/1095
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.
LibreCat: https://research-explorer.ista.ac.at/record/1097
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.
LibreCat: https://research-explorer.ista.ac.at/record/1098

Malomo, Luigi, et al. FlexMolds: Automatic Design of Flexible Shells for Molding. Vol. 35, no. 6, 223, ACM, 2016, doi:10.1145/2980179.2982397.
LibreCat: https://research-explorer.ista.ac.at/record/1099
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.
LibreCat: https://research-explorer.ista.ac.at/record/1102
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.
LibreCat: https://research-explorer.ista.ac.at/record/1103
DOI: 10.1109/MEMCOD.2016.7797741

Savin, Cristina, and Gasper Tkadik. Estimating Nonlinear Neural Response Functions Using GP Priors and Kronecker Methods. Vol. 29, Neural Information Processing Systems, 2016, pp. 3610–18.
LibreCat: https://research-explorer.ista.ac.at/record/1105

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.
LibreCat: https://research-explorer.ista.ac.at/record/1115
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.
LibreCat: https://research-explorer.ista.ac.at/record/1135
DOI: 10.1145/2968478.2968499

Duggirala, Parasara, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesis10.1109/CCA.2016.7587948__HyST and TuLiP.”10.1109/CCA.2016.7587948__2016 IEEE Conference on Control Applications, 7587948, IEEE, 2016, doi:10.1109/CCA.2016.7587948.
LibreCat: https://research-explorer.ista.ac.at/record/1134
DOI: 10.1109/CCA.2016.7587948

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.
LibreCat: https://research-explorer.ista.ac.at/record/1136
DOI: 10.1145/2994258.2994261

Salzer, Elisabeth, et al. “RASGR Deficiency Causes Immunodeficiency with Impaired Cytoskeletal Dynamics.”10.1038/ni.3575__Nature Immunology, vol. 17, no. 12, Nature Publishing Group, 2016, pp. 1352–60, doi:10.1038/ni.3575.
LibreCat: https://research-explorer.ista.ac.at/record/1137
DOI: 10.1038/ni.3575
PMID: 27776107

Chatterjee, Krishnendu, et al. “Quantitative Automata under Probabilistic Semantics.”10.1145/2933575.2933588__Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85, doi:10.1145/2933575.2933588.
LibreCat: https://research-explorer.ista.ac.at/record/1138
DOI: 10.1145/2933575.2933588
arXiv: 1604.06764