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

C. Savin and G. Tkadik, “Estimating nonlinear neural response functions using GP priors and Kronecker methods,” presented at the NIPS: Neural Information Processing Systems, Barcelona; Spain, 2016, vol. 29, pp. 3610–3618.
LibreCat: https://research-explorer.ista.ac.at/record/1105

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. Duggirala et al., “Tutorial: Software tools for hybrid systems verification transformation and synthesis  HyST and TuLiP,” in 2016 IEEE Conference on Control Applications, Buenos Aires, Argentina , 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1134
DOI: 10.1109/CCA.2016.7587948

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

R. azarz, M. Idzik, K. Gdek, and E. P. Gajda-Zagorska, “Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization,” Journal of Computational Science, vol. 17, no. 1. Elsevier, pp. 249–260, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1141
DOI: 10.1016/j.jocs.2016.03.004

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

J. Balla et al., “Auxin flow mediated competition between axillary buds to restore apical dominance,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1147
DOI: 10.1038/srep35955

T. Miyaji, P. Pilarczyk, M. Gameiro, H. Kokubu, and K. Mischaikow, “A study of rigorous ODE integrators for multi scale set oriented computations,” Applied Numerical Mathematics, vol. 107. Elsevier, pp. 34–47, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1149
DOI: 10.1016/j.apnum.2016.04.005

J. Renkawitz and M. K. Sixt, “A Radical Break Restraining Neutrophil Migration,” Developmental Cell, vol. 38, no. 5. Cell Press, pp. 448–450, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1150
DOI: 10.1016/j.devcel.2016.08.017

S. Simonini et al., “A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis,” Genes and Development, vol. 30, no. 20. Cold Spring Harbor Laboratory Press, pp. 2286–2296, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1151
DOI: 10.1101/gad.285361.116
PMID: 27898393

P. dádníková et al., “A model of differential growth guided apical hook formation in plants,” Plant Cell, vol. 28, no. 10. American Society of Plant Biologists, pp. 2464–2477, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1153
DOI: 10.1105/tpc.15.00569

J. Schwarz et al., “A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1154
DOI: 10.1038/srep36440

J. Lee and K. Schnelli, “Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population,” Annals of Applied Probability, vol. 26, no. 6. Institute of Mathematical Statistics, pp. 3786–3839, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1157
DOI: 10.1214/16-AAP1193