Synthesizing time triggered schedules for switched networks with faulty links
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.

Model and objective separation with conditional lower bounds: disjunction is harder than conjunction
K. Chatterjee, W. Dvoák, M. Henzinger, V. Loitzenbauer, in:, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206.

RASGR deficiency causes immunodeficiency with impaired cytoskeletal dynamics
E. Salzer, D. Ça7daf, M. Hons, E. Mace, W. Garncarz, O. Petronczki, R. Platzer, L. Pfajfer, I. Bilic, S. Ban, K. Willmann, M. Mukherjee, V. Supper, H. Hsu, P. Banerjee, P. Sinha, F. Mcclanahan, G. Zlabinger, W. Pickl, J. Gribben, H. Stockinger, K. Bennett, J. Huppa, L. Dupré, Ö. Sanal, U. Jäger, M.K. Sixt, I. Tezcan, J. Orange, K. Boztug, Nature Immunology 17 (2016) 1352–1360.

Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions
R. Martins, J. Maier, A. Gorki, K. Huber, O. Sharif, P. Starkl, S. Saluzzo, F. Quattrone, R. Gawish, K. Lakovits, M. Aichinger, B. Radic Sarikas, C. Lardeau, A. Hladik, A. Korosec, M. Brown, K. Vaahtomeri, M. Duggan, D. Kerjaschki, H. Esterbauer, J. Colinge, S. Eisenbarth, T. Decker, K. Bennett, S. Kubicek, M.K. Sixt, G. Superti Furga, S. Knapp, Nature Immunology 17 (2016) 1361–1372.

Quantitative automata under probabilistic semantics
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.

Ground states of large bosonic systems: The gross Pitaevskii limit revisited
P. Nam, N. Rougerie, R. Seiringer, Analysis and PDE 9 (2016) 459–485.

Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization
R. azarz, M. Idzik, K. Gdek, E.P. Gajda-Zagorska, Journal of Computational Science 17 (2016) 249–260.

Computational multicopter design
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.

FlexMolds: Automatic design of flexible shells for molding
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.

KCT auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons
S. Booker, D. Althof, A. Gross, D. Loreth, J. Müller, A. Unger, B. Fakler, A. Varro, M. Watanabe, M. Gassmann, B. Bettler, R. Shigemoto, I. Vida, Á. Kulik, Cerebral Cortex 27 (2016) 2318–2334.

Rangefinder: A semisynthetic FRET sensor design algorithm
J. Mitchell, J. Whitfield, W. Zhang, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, ACS SENSORS 1 (2016) 1286–1290.

Actin rings of power
C. Schwayer, M.K. Sikora, J. Slovakova, R. Kardos, C.-P.J. Heisenberg, Developmental Cell 37 (2016) 493–506.

Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells
. angowski, K.T. Wabnik, H. Li, S. Vanneste, S. Naramoto, H. Tanaka, J. Friml, Cell Discovery 2 (2016).

The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.

Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.

Use runtime verification to improve the quality of medical care practice
Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha, in:, Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–121.

The CLE gene family in Populus trichocarpa
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling &; Behavior 11 (2016).

An orthogonal permease–inducer–repressor feedback loop shows bistability
R. Gnügge, L. Dharmarajan, M. Lang, J. Stelling, ACS Synthetic Biology 5 (2016) 1098–1107.

Adaptive moment closure for parameter inference of biochemical reaction networks
C. Schilling, S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, Biosystems 149 (2016) 15–25.

Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, R. Paxton, (2016).