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

Rubel, P., Pani, D., Schlögl, A., Fayn, J., Badilini, F., Macfarlane, P., &; Varri, A. (2016). SCP-ECG .0: An enhanced standard communication protocol for computer-assisted electrocardiography. In 2016 Computing in Cardiology Conference (Vol. 43, pp. 309–312). Vancouver, Canada: Computing in Cardiology.https://doi.org/10.22489/cinc.2016.090-500 
LibreCat: https://research-explorer.ista.ac.at/record/10810
DOI: 10.22489/cinc.2016.090-500

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.
LibreCat: https://research-explorer.ista.ac.at/record/1082

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

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 
LibreCat: https://research-explorer.ista.ac.at/record/1099
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/1102
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/1103
DOI: 10.1109/MEMCOD.2016.7797741

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 
LibreCat: https://research-explorer.ista.ac.at/record/1115
DOI: 10.1364/CLEO_SI.2016.SF2G.3

Avni, G., Guha, S., &; Rodríguez Navas, G. (2016). Synthesizing time triggered schedules for switched networks with faulty links. In Proceedings of the 13th International Conference on Embedded Software . Pittsburgh, PA, USA: ACM.https://doi.org/10.1145/2968478.2968499 
LibreCat: https://research-explorer.ista.ac.at/record/1135
DOI: 10.1145/2968478.2968499

Manteaux, P., Vimont, U., Wojtan, C., Rohmer, D., &; Cani, M. (2016). Space-time sculpting of liquid animation. In Proceedings of the 9th International Conference on Motion in Games . San Francisco, CA, USA: ACM.https://doi.org/10.1145/2994258.2994261 
LibreCat: https://research-explorer.ista.ac.at/record/1136
DOI: 10.1145/2994258.2994261

Salzer, E., Ça7daf, D., Hons, M., Mace, E., Garncarz, W., Petronczki, O.,https://doi.org/10.1038/ni.3575__Boztug, K. (2016). RASGR deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. Nature Publishing Group.https://doi.org/10.1038/ni.3575 
LibreCat: https://research-explorer.ista.ac.at/record/1137
DOI: 10.1038/ni.3575
PMID: 27776107

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2016). Quantitative automata under probabilistic semantics. In Proceedings of the 31st Annual ACM/IEEE Symposium (pp. 76–85). New York, NY, USA: IEEE.https://doi.org/10.1145/2933575.2933588 
LibreCat: https://research-explorer.ista.ac.at/record/1138
DOI: 10.1145/2933575.2933588
arXiv: 1604.06764

Chatterjee, K., Dvoák, W., Henzinger, M. H., &; Loitzenbauer, V. (2016). Model and objective separation with conditional lower bounds: disjunction is harder than conjunction. In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 197–206). New York, NY, USA: IEEE.https://doi.org/10.1145/2933575.2935304 
LibreCat: https://research-explorer.ista.ac.at/record/1140
DOI: 10.1145/2933575.2935304
arXiv: 1602.02670

Martins, R., Maier, J., Gorki, A., Huber, K., Sharif, O., Starkl, P.,https://doi.org/10.1038/ni.3590__Knapp, S. (2016). Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. Nature Publishing Group.https://doi.org/10.1038/ni.3590 
LibreCat: https://research-explorer.ista.ac.at/record/1142
DOI: 10.1038/ni.3590