K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland, 2016, vol. 58.
LibreCat: https://research-explorer.ista.ac.at/record/1090
DOI: 10.4230/LIPIcs.MFCS.2016.24

A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.
LibreCat: https://research-explorer.ista.ac.at/record/1095
DOI: 10.4230/LIPIcs.CONCUR.2016.6

T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
LibreCat: https://research-explorer.ista.ac.at/record/1097
DOI: 10.1145/2980179.2982427

A. Pentina and R. Urner, “Lifelong learning with weighted majority votes,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 3619–3627.
LibreCat: https://research-explorer.ista.ac.at/record/1098

L. Malomo, N. Pietroni, B. Bickel, and P. Cignoni, “FlexMolds: Automatic design of flexible shells for molding,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
LibreCat: https://research-explorer.ista.ac.at/record/1099
DOI: 10.1145/2980179.2982397

A. Kolesnikov and C. Lampert, “Improving weakly-supervised object localization by micro-annotation,” in Proceedings of the British Machine Vision Conference 2016, York, United Kingdom, 2016, vol. 2016–September, p. 92.1-92.12.
LibreCat: https://research-explorer.ista.ac.at/record/1102
DOI: 10.5244/C.30.92

A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, and R. Ray, “Parallel reachability analysis for hybrid systems,” presented at the MEMOCODE: International Conference on Formal Methods and Models for System Design, Kanpur, India , 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1103
DOI: 10.1109/MEMCOD.2016.7797741

R. A. H. van de Ven et al., “-catenin prevents multinucleation through control of MKL-dependent RhoA activity during cytokinesis,” Nature Communications, vol. 7. Springer Nature, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/11072
DOI: 10.1038/ncomms13874
PMID: 28004812

T. M. Franks et al., “Evolution of a transcriptional regulator from a transmembrane nucleoporin,” Genes &; Development, vol. 30, no. 10. Cold Spring Harbor Laboratory, pp. 1155–1171, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/11071
DOI: 10.1101/gad.280941.116
PMID: 27198230

E. M. Hatch and M. Hetzer, “Nuclear envelope rupture is induced by actin-based nucleus confinement,” Journal of Cell Biology, vol. 215, no. 1. Rockefeller University Press, pp. 27–36, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/11069
DOI: 10.1083/jcb.201603053
PMID: 27697922

A. Ibarra, C. Benner, S. Tyagi, J. Cool, and M. Hetzer, “Nucleoporin-mediated regulation of cell identity genes,” Genes &; Development, vol. 30, no. 20. Cold Spring Harbor Laboratory, pp. 2253–2258, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/11070
DOI: 10.1101/gad.287417.116
PMID: 27807035

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

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

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

E. Salzer et al., “RASGR deficiency causes immunodeficiency with impaired cytoskeletal dynamics,” Nature Immunology, vol. 17, no. 12. Nature Publishing Group, pp. 1352–1360, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1137
DOI: 10.1038/ni.3575
PMID: 27776107

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

K. Chatterjee, W. Dvoák, M. H. Henzinger, and V. Loitzenbauer, “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, New York, NY, USA, 2016, pp. 197–206.
LibreCat: https://research-explorer.ista.ac.at/record/1140
DOI: 10.1145/2933575.2935304
arXiv: 1602.02670

R. Martins et al., “Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions,” Nature Immunology, vol. 17, no. 12. Nature Publishing Group, pp. 1361–1372, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1142
DOI: 10.1038/ni.3590

P. Nam, N. Rougerie, and R. Seiringer, “Ground states of large bosonic systems: The gross Pitaevskii limit revisited,” Analysis and PDE, vol. 9, no. 2. Mathematical Sciences Publishers, pp. 459–485, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1143
DOI: 10.2140/apde.2016.9.459

T. Nodzyski, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, and J. Friml, “Enquiry into the topology of plasma membrane localized PIN auxin transport components,” Molecular Plant, vol. 9, no. 11. Cell Press, pp. 1504–1519, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1145
DOI: 10.1016/j.molp.2016.08.010