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

Duggirala P, Fan C, Potok M, Qi B, Mitra S, Viswanathan M, Bak S, Bogomolov S, Johnson T, Nguyen L, Schilling C, Sogokon A, Tran H, Xiang W. 2016. Tutorial: Software tools for hybrid systems verification transformation and synthesis  HyST and TuLiP. 2016 IEEE Conference on Control Applications. CCA: Control Applications , 7587948.
LibreCat: https://research-explorer.ista.ac.at/record/1134
DOI: 10.1109/CCA.2016.7587948

Manteaux P, Vimont U, Wojtan C, Rohmer D, Cani M. 2016. Space-time sculpting of liquid animation. Proceedings of the 9th International Conference on Motion in Games . MIG: Motion in Games, 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, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGR deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
LibreCat: https://research-explorer.ista.ac.at/record/1137
DOI: 10.1038/ni.3575
PMID: 27776107

Chatterjee K, Henzinger TA, Otop J. 2016. Quantitative automata under probabilistic semantics. Proceedings of the 31st Annual ACM/IEEE Symposium. LICS: Logic in Computer Science, 76–85.
LibreCat: https://research-explorer.ista.ac.at/record/1138
DOI: 10.1145/2933575.2933588
arXiv: 1604.06764

Chatterjee K, Dvoák W, Henzinger MH, Loitzenbauer V. 2016. Model and objective separation with conditional lower bounds: disjunction is harder than conjunction. Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, , 197–206.
LibreCat: https://research-explorer.ista.ac.at/record/1140
DOI: 10.1145/2933575.2935304
arXiv: 1602.02670

Düllberg CF, Cade N, Surrey T. 2016. Microtubule aging probed by microfluidics assisted tubulin washout. Molecular Biology and Evolution. 27(22), 3563–3573.
LibreCat: https://research-explorer.ista.ac.at/record/1139
DOI: 10.1091/mbc.E16-07-0548

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

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

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

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

Balla J, Medved’Ová Z, Kalousek P, Matijesduková N, Friml J, Reinöhl V, Procházka S. 2016. Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. 6, 35955.
LibreCat: https://research-explorer.ista.ac.at/record/1147
DOI: 10.1038/srep35955

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

Renkawitz J, Sixt MK. 2016. A Radical Break Restraining Neutrophil Migration. Developmental Cell. 38(5), 448–450.
LibreCat: https://research-explorer.ista.ac.at/record/1150
DOI: 10.1016/j.devcel.2016.08.017

Simonini S, Deb J, Moubayidin L, Stephenson P, Valluru M, Freire Rios A, Sorefan K, Weijers D, Friml J, Östergaard L. 2016. A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. 30(20), 2286–2296.
LibreCat: https://research-explorer.ista.ac.at/record/1151
DOI: 10.1101/gad.285361.116
PMID: 27898393

dádníková P, Wabnik KT, Abuzeineh A, Gallemí M, Van Der Straeten D, Smith R, Inze D, Friml J, Prusinkiewicz P, Benková E. 2016. A model of differential growth guided apical hook formation in plants. Plant Cell. 28(10), 2464–2477.
LibreCat: https://research-explorer.ista.ac.at/record/1153
DOI: 10.1105/tpc.15.00569

Schwarz J, Bierbaum V, Merrin J, Frank T, Hauschild R, Bollenbach MT, Tay S, Sixt MK, Mehling M. 2016. A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. 6, 36440.
LibreCat: https://research-explorer.ista.ac.at/record/1154
DOI: 10.1038/srep36440

Hibi T, Solus LT. 2016. Facets of the r-stable (n, k)-hypersimplex. Annals of Combinatorics. 20(4), 815–829.
LibreCat: https://research-explorer.ista.ac.at/record/1156
DOI: 10.1007/s00026-016-0325-x

Santos S, Sobral D, Matthee JJ. 2016. The Ly;1 luminosity function at z= 5.7–6.6 and the steep drop of the faint end: Implications for reionization. Monthly Notices of the Royal Astronomical Society. 463(2), 1678–1691.
LibreCat: https://research-explorer.ista.ac.at/record/11574
DOI: 10.1093/mnras/stw2076
arXiv: 1606.07435

Sobral D, Kohn SA, Best PN, Smail I, Harrison CM, Stott J, Calhau J, Matthee JJ. 2016. The most luminous H ;1 emitters at z c 0.8–2.23 from HiZELS: Evolution of AGN and star-forming galaxies. Monthly Notices of the Royal Astronomical Society. 457(2), 1739–1752.
LibreCat: https://research-explorer.ista.ac.at/record/11576
DOI: 10.1093/mnras/stw022
arXiv: 1601.02266