Aloisi E, Le Corf K, Dupuis J, Zhang P, Ginger M, Labrousse V, Spatuzza M, Georg Haberl M, Costa L, Shigemoto R, Tappe Theodor A, Drago F, Vincenzo Piazza P, Mulle C, Groc L, Ciranna L, Catania M, Frick A. 2017. Altered surface mGlu dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. Nature Communications. 8(1), 1103.
LibreCat: https://research-explorer.ista.ac.at/record/746
DOI: 10.1038/s41467-017-01191-2
WoS: 000413571300004

Chen C, Satterfield R, Young S, Jonas PM. 2017. Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. Cell Reports. 21(8), 2082–2089.
LibreCat: https://research-explorer.ista.ac.at/record/749
DOI: 10.1016/j.celrep.2017.10.122
WoS: 000416216700007

Priklopil T, Chatterjee K, Nowak M. 2017. Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma.  Journal of Theoretical Biology. 433, 64–72.
LibreCat: https://research-explorer.ista.ac.at/record/744
DOI: 10.1016/j.jtbi.2017.08.025
WoS: 000412039800007
PMID: 28867224

Xu D, Warnecke S, Song B, Ma X, Hof B. 2017. Transition to turbulence in pulsating pipe flow. Journal of Fluid Mechanics. 831, 418–432.
LibreCat: https://research-explorer.ista.ac.at/record/745
DOI: 10.1017/jfm.2017.620
WoS: 000412934800005

Breiloiu E, Mcguire M, Shuler S, Deliu E, Barr J, Abood M, Brailoiu G. 2017. Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. Neuroscience. 365, 23–32.
LibreCat: https://research-explorer.ista.ac.at/record/747
DOI: 10.1016/j.neuroscience.2017.09.034
WoS: 000415966200003
PMID: 28951324

Gottlob G, Henzinger TA, Weißenbacher G. 2017. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 51(2), 267–269.
LibreCat: https://research-explorer.ista.ac.at/record/743
DOI: 10.1007/s10703-017-0307-6
WoS: 000415615600001

Barone V. 2017. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/961
DOI: 10.15479/AT:ISTA:th_825

Kennedy P, Baron G, Qiu B, Freitak D, Helantera H, Hunt E, Manfredini F, O’Shea Wheller T, Patalano S, Pull C, Sasaki T, Taylor D, Wyatt C, Sumner S. 2017. Deconstructing superorganisms and societies to address big questions in biology. Trends in Ecology and Evolution. 32(11), 861–872.
LibreCat: https://research-explorer.ista.ac.at/record/734
DOI: 10.1016/j.tree.2017.08.004
WoS: 000413231900011

Pull C. 2017. Disease defence in garden ants. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/819
DOI: 10.15479/AT:ISTA:th_861

Pull C, Cremer S. 2017. Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour. BMC Evolutionary Biology. 17(1), 219.
LibreCat: https://research-explorer.ista.ac.at/record/732
DOI: 10.1186/s12862-017-1062-4
WoS: 000412816800001

Hannezo EB, Scheele C, Moad M, Drogo N, Heer R, Sampogna R, Van Rheenen J, Simons B. 2017. A unifying theory of branching morphogenesis. Cell. 171(1), 242–255.
LibreCat: https://research-explorer.ista.ac.at/record/726
DOI: 10.1016/j.cell.2017.08.026
WoS: 000411331800024

Mueller J, Szep G, Nemethova M, de Vries I, Lieber A, Winkler C, Kruse K, Small J, Schmeiser C, Keren K, Hauschild R, Sixt MK. 2017. Load adaptation of lamellipodial actin networks. Cell. 171(1), 188–200.
LibreCat: https://research-explorer.ista.ac.at/record/727
DOI: 10.1016/j.cell.2017.07.051
WoS: 000411331800020

Savin C, Tkadik G. 2017. Maximum entropy models as a tool for building precise neural controls. Current Opinion in Neurobiology. 46, 120–126.
LibreCat: https://research-explorer.ista.ac.at/record/730
DOI: 10.1016/j.conb.2017.08.001
WoS: 000416196400016

Chan C, Heisenberg C-PJ, Hiiragi T. 2017. Coordination of morphogenesis and cell fate specification in development. Current Biology. 27(18), 24–35.
LibreCat: https://research-explorer.ista.ac.at/record/728
DOI: 10.1016/j.cub.2017.07.010
WoS: 000411581800019

Spiro ZP, Heisenberg C-PJ. 2017. Regeneration tensed up polyploidy takes the lead. Developmental Cell. 42(6), 559–560.
LibreCat: https://research-explorer.ista.ac.at/record/729
DOI: 10.1016/j.devcel.2017.09.008
WoS: 000411582800003

De Martino D. 2017. Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. Physical Review E. 96(6), 060401.
LibreCat: https://research-explorer.ista.ac.at/record/548
DOI: 10.1103/PhysRevE.96.060401

Altmeyer S, Lueptow R. 2017. Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow. Physical Review E. 95(5), 053103.
LibreCat: https://research-explorer.ista.ac.at/record/673
DOI: 10.1103/PhysRevE.95.053103

Ferrari P, Nejjar P. 2017. Fluctuations of the competition interface in presence of shocks. Revista Latino-Americana de Probabilidade e Estatística. 9, 299–325.
LibreCat: https://research-explorer.ista.ac.at/record/447
DOI: 10.30757/ALEA.v14-17

Nickells R, Schmitt H, Maes ME, Schlamp C. 2017. AA mediated transduction of the mouse retina after optic nerve injury. Investigative Ophthalmology and Visual Science. 58(14), 6091–6104.
LibreCat: https://research-explorer.ista.ac.at/record/557
DOI: 10.1167/iovs.17-22634

Yakaboylu E, Deuchert A, Lemeshko M. 2017. Emergence of non-abelian magnetic monopoles in a quantum impurity problem. Physical Review Letters. 119(23), 235301.
LibreCat: https://research-explorer.ista.ac.at/record/997
DOI: 10.1103/PhysRevLett.119.235301
WoS: 000417132100007
arXiv: 1705.05162

Royer A, Kolesnikov A, Lampert C. 2017. Probabilistic image colorization. BMVC: British Machine Vision Conference, 85.1-85.12.
LibreCat: https://research-explorer.ista.ac.at/record/911
DOI: 10.5244/c.31.85
arXiv: 1705.04258

Sun W, Zhai M-Z, Li D, Zhou Y, Chen N, Guo M, Zhou S. 2017. Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels. Clinical Nutrition. 36(4), 1136–1142.
LibreCat: https://research-explorer.ista.ac.at/record/1146
DOI: 10.1016/j.clnu.2016.07.016

Edelsbrunner H, Koehl P. 2017.Computational topology for structural molecular biology. In: Handbook of Discrete and Computational Geometry, Third Edition. , 1709–1735.
LibreCat: https://research-explorer.ista.ac.at/record/84
DOI: 10.1201/9781315119601

Jiang C, Zhai M-Z, Yan D, Li D, Li C, Zhang Y, Xiao L, Xiong D, Deng Q, Sun W. 2017. Dietary menthol-induced TRPM8 activation enhances WAT wning” and ameliorates diet-induced obesity. Oncotarget. 8(43), 75114–75126.
LibreCat: https://research-explorer.ista.ac.at/record/627
DOI: 10.18632/oncotarget.20540

Lang M, Sontag E. 2017. Zeros of nonlinear systems with input invariances. Automatica. 81C, 46–55.
LibreCat: https://research-explorer.ista.ac.at/record/1007
DOI: 10.1016/j.automatica.2017.03.030
WoS: 000403513900006

Zimin A, Lampert C. 2017. Learning theory for conditional risk minimization. AISTATS: Artificial Intelligence and Statistics, PMLR, vol. 54, 213–222.
LibreCat: https://research-explorer.ista.ac.at/record/1108
WoS: 000509368500024

Akopyan A, Vysotsky V. 2017. On the lengths of curves passing through boundary points of a planar convex shape. The American Mathematical Monthly. 124(7), 588–596.
LibreCat: https://research-explorer.ista.ac.at/record/909
DOI: 10.4169/amer.math.monthly.124.7.588
WoS: 000413947300002
arXiv: 1605.07997

Alistarh D-A, Grubic D, Li J, Tomioka R, Vojnovi M. 2017. QSGD: Communication-efficient SGD via gradient quantization and encoding. NIPS: Neural Information Processing System, Advances in Neural Information Processing Systems, vol. 2017, 1710–1721.
LibreCat: https://research-explorer.ista.ac.at/record/431
arXiv: 1610.02132

Finkbeiner B, Kupriyanov A. 2017. Causality-based model checking. Electronic Proceedings in Theoretical Computer Science. CREST: Causal Reasoning for Embedded and Safety-Critical Systems Technologies, EPTCS, vol. 259, 31–38.
LibreCat: https://research-explorer.ista.ac.at/record/549
DOI: 10.4204/EPTCS.259.3

Pentina A, Lampert C. 2017. Multi-task learning with labeled and unlabeled tasks. ICML: International Conference on Machine Learning, PMLR, vol. 70, 2807–2816.
LibreCat: https://research-explorer.ista.ac.at/record/999
WoS: 000683309502093

Rueda Sanchez AR, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2017. Single sideband microwave to optical photon conversion-an-electro-optic-realization. Optics InfoBase Conference Papers. NLO: Nonlinear Optics vol. , NM3A.1.
LibreCat: https://research-explorer.ista.ac.at/record/485
DOI: 10.1364/NLO.2017.NM3A.1

Haase J, Bagiante S, Sigg H, Van Bokhoven J. 2017. Surface enhanced infrared absorption of chemisorbed carbon monoxide using plasmonic nanoantennas. Optics Letters. 42(10), 1931–1934.
LibreCat: https://research-explorer.ista.ac.at/record/675
DOI: 10.1364/OL.42.001931

Cremer S. 2017. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. Rundgespräche Forum Ökologie. 46, 105–116.
LibreCat: https://research-explorer.ista.ac.at/record/459

Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. 2017. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. Proceedings of Machine Learning Research. ICML: International  Conference  on  Machine Learning, PMLR Press, vol. 70, 4035–4043.
LibreCat: https://research-explorer.ista.ac.at/record/432

Kolmogorov V. 2017. A faster approximation algorithm for the Gibbs partition function. Proceedings of the 31st Conference On Learning Theory. COLT: Annual Conference on Learning Theory  vol. 75, 228–249.
LibreCat: https://research-explorer.ista.ac.at/record/274
arXiv: 1608.04223

Futo M, Sell M, Kutzer M, Kurtz J. 2017. Specificity of oral immune priming in the red flour beetle Tribolium castaneum. Biology Letters. 13(12), 0632.
LibreCat: https://research-explorer.ista.ac.at/record/558
DOI: 10.1098/rsbl.2017.0632
PMID: 29237813

Villányi M. 2017. Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. 3(1).
LibreCat: https://research-explorer.ista.ac.at/record/1030
DOI: 10.11588/ip.2017.1.35227

Walker J, Gao H, Zhang J, Aldridge B, Vickers M, Higgins JD, Feng X. 2017. Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics. 50(1), 130–137.
LibreCat: https://research-explorer.ista.ac.at/record/12193
DOI: 10.1038/s41588-017-0008-5
PMID: 29255257

Chatterjee K, Novotný P, Zikelic D. 2017. Stochastic invariants for probabilistic termination. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 52, 145–160.
LibreCat: https://research-explorer.ista.ac.at/record/1194
DOI: 10.1145/3009837.3009873
WoS: 000408311200013

Mazur E, Friml J. 2017.Vascular tissue development and regeneration in the model plant arabidopsis. In: Plant Engineering. Agricultural and Biological Sciences, , 113–140.
LibreCat: https://research-explorer.ista.ac.at/record/545
DOI: 10.5772/intechopen.69712

Beattie RJ, Hippenmeyer S. 2017. Mechanisms of radial glia progenitor cell lineage progression. FEBS letters. 591(24), 3993–4008.
LibreCat: https://research-explorer.ista.ac.at/record/621
DOI: 10.1002/1873-3468.12906
PMID: 29121403

Hahn D. 2017. Brittle fracture simulation with boundary elements for computer graphics. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/839
DOI: 10.15479/AT:ISTA:th_855

Fraisse C, Picard MAL, Vicoso B. 2017. The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W. Nature Communications. 8(1), 1486.
LibreCat: https://research-explorer.ista.ac.at/record/614
DOI: 10.1038/s41467-017-01663-5
PMID: 29133797

Bergmiller T, Andersson AM, Tomasek K, Balleza E, Kiviet D, Hauschild R, Tkadik G, Guet CC. 2017. Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity. Science. 356(6335), 311–315.
LibreCat: https://research-explorer.ista.ac.at/record/665
DOI: 10.1126/science.aaf4762

von Wangenheim D, Hauschild R, Fendrych M, Barone V, Benková E, Friml J. 2017. Live tracking of moving samples in confocal microscopy for vertically grown roots. eLife. 6, e26792.
LibreCat: https://research-explorer.ista.ac.at/record/946
DOI: 10.7554/eLife.26792
WoS: 000404728300001

von Wangenheim D, Hauschild R, Friml J. 2017. Light sheet fluorescence microscopy of plant roots growing on the surface of a gel. Journal of visualized experiments JoVE. 2017(119), e55044.
LibreCat: https://research-explorer.ista.ac.at/record/1078
DOI: 10.3791/55044
WoS: 000397847200041

Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2017.Bounding helly numbers via betti numbers. In: A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. , 407–447.
LibreCat: https://research-explorer.ista.ac.at/record/424
DOI: 10.1007/978-3-319-44479-6_17

Altmeyer S, Do Y, Ryu S. 2017. Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow. Chaos. 27(11), 113112.
LibreCat: https://research-explorer.ista.ac.at/record/463
DOI: 10.1063/1.5002771

Shepperson B, Chatterley A, Søndergaard A, Christiansen L, Lemeshko M, Stapelfeldt H. 2017. Strongly aligned molecules inside helium droplets in the near-adiabatic regime. The Journal of Chemical Physics. 147(1), 013946.
LibreCat: https://research-explorer.ista.ac.at/record/996
DOI: 10.1063/1.4983703
WoS: 000405089400047

Deuchert A. 2017. A lower bound for the BCS functional with boundary conditions at infinity.  Journal of Mathematical Physics. 58(8), 081901.
LibreCat: https://research-explorer.ista.ac.at/record/912
DOI: 10.1063/1.4996580
WoS: 000409197200015

Lukacisin M, Landon M, Jajoo R. 2017. Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. 12(3), e0174066.
LibreCat: https://research-explorer.ista.ac.at/record/1029
DOI: 10.1371/journal.pone.0174066
WoS: 000396318300121

Assen FP, Sixt MK. 2017. The dynamic cytokine niche. Immunity. 46(4), 519–520.
LibreCat: https://research-explorer.ista.ac.at/record/664
DOI: 10.1016/j.immuni.2017.04.006

Ukai H, Kawahara A, Hirayama K, Case MJ, Aino S, Miyabe M, Wakita K, Oogi R, Kasayuki M, Kawashima S, Sugimoto S, Chikamatsu K, Nitta N, Koga T, Shigemoto R, Takai T, Ito I. 2017. PirB regulates asymmetries in hippocampal circuitry. PLoS One. 12(6), e0179377.
LibreCat: https://research-explorer.ista.ac.at/record/682
DOI: 10.1371/journal.pone.0179377

Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. 2017. Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. Angewandte Chemie - International Edition. 56(16), 4608–4611.
LibreCat: https://research-explorer.ista.ac.at/record/1028
DOI: 10.1002/anie.201611998
WoS: 000398154000038

Hurny A, Benková E. 2017. Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology. 1569, 1–29.
LibreCat: https://research-explorer.ista.ac.at/record/1024
DOI: 10.1007/978-1-4939-6831-2_1

Ebner F, Sedlyarov V, Tasciyan S, Ivin M, Kratochvill F, Gratz N, Kenner L, Villunger A, Sixt MK, Kovarik P. 2017. The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection. The Journal of Clinical Investigation. 127(6), 2051–2065.
LibreCat: https://research-explorer.ista.ac.at/record/679
DOI: 10.1172/JCI80631
PMID: 28504646

Krens G, Veldhuis J, Barone V, Capek D, Maître J-L, Brodland W, Heisenberg C-PJ. 2017. Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation. Development. 144(10), 1798–1806.
LibreCat: https://research-explorer.ista.ac.at/record/676
DOI: 10.1242/dev.144964
PMID: 28512197

Steinrück M, Guet CC. 2017. Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. eLife. 6, e25100.
LibreCat: https://research-explorer.ista.ac.at/record/704
DOI: 10.7554/eLife.25100

Lukacisinova M, Novak S, Paixao T. 2017. Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. 13(7), e1005609.
LibreCat: https://research-explorer.ista.ac.at/record/696
DOI: 10.1371/journal.pcbi.1005609

Lukacisinova M, Bollenbach MT. 2017. Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. 46, 90–97.
LibreCat: https://research-explorer.ista.ac.at/record/1027
DOI: 10.1016/j.copbio.2017.02.013
WoS: 000408077400015

Chatterjee K, Fu H, Goharshady AK. 2017. Non-polynomial worst case analysis of recursive programs. CAV: Computer Aided Verification, LNCS, vol. 10427, 41–63.
LibreCat: https://research-explorer.ista.ac.at/record/639
DOI: 10.1007/978-3-319-63390-9_3
arXiv: 1705.00317

Chatterjee K, Goharshady AK, Pavlogiannis A. 2017. JTDec: A tool for tree decompositions in soot. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 10482, 59–66.
LibreCat: https://research-explorer.ista.ac.at/record/949
DOI: 10.1007/978-3-319-68167-2_4
WoS: 000723567800004

Smutny M, Ákos Z, Grigolon S, Shamipour S, Ruprecht V, Capek D, Behrndt M, Papusheva E, Tada M, Hof B, Vicsek T, Salbreux G, Heisenberg C-PJ. 2017. Friction forces position the neural anlage. Nature Cell Biology. 19, 306–317.
LibreCat: https://research-explorer.ista.ac.at/record/661
DOI: 10.1038/ncb3492
PMID: 28346437

Barone V, Lang M, Krens G, Pradhan S, Shamipour S, Sako K, Sikora MK, Guet CC, Heisenberg C-PJ. 2017. An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate. Developmental Cell. 43(2), 198–211.
LibreCat: https://research-explorer.ista.ac.at/record/735
DOI: 10.1016/j.devcel.2017.09.014
WoS: 000413443700011

Hansen AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. 2017. Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. 11, 176.
LibreCat: https://research-explorer.ista.ac.at/record/960
DOI: 10.3389/fncel.2017.00176
WoS: 000404486700001

Gnügge R, Dharmarajan L, Lang M, Stelling J. 2016. An orthogonal permease–inducer–repressor feedback loop shows bistability. ACS Synthetic Biology. 5(10), 1098–1107.
LibreCat: https://research-explorer.ista.ac.at/record/1008
DOI: 10.1021/acssynbio.6b00013

Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. 2016. Conditionally optimal algorithms for generalized Büchi Games. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 58, 25.
LibreCat: https://research-explorer.ista.ac.at/record/1068
DOI: 10.4230/LIPIcs.MFCS.2016.25

Chonev VK, Ouaknine J, Worrell J. 2016. On the skolem problem for continuous linear dynamical systems. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55, 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. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55, 98.
LibreCat: https://research-explorer.ista.ac.at/record/1070
DOI: 10.4230/LIPIcs.ICALP.2016.98

angowski , Wabnik KT, 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. 2, 16018.
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. 2016 Computing in Cardiology Conference. CinC: Computing in Cardiology vol. 43, 309–312.
LibreCat: https://research-explorer.ista.ac.at/record/10810
DOI: 10.22489/cinc.2016.090-500

Chalk MJ, Marre O, Tkadik G. 2016. Relevant sparse codes with variational information bottleneck. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29, 1965–1973.
LibreCat: https://research-explorer.ista.ac.at/record/1082

Booker S, Althof D, Gross A, Loreth D, Müller J, Unger A, Fakler B, Varro A, Watanabe M, Gassmann M, Bettler B, Shigemoto R, Vida I, Kulik Á. 2016. KCT auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 27(3), 2318–2334.
LibreCat: https://research-explorer.ista.ac.at/record/1083
DOI: 10.1093/cercor/bhw090

Chatterjee K, Henzinger TA, Otop J. 2016. Nested weighted limit-average automata of bounded width. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 58, 24.
LibreCat: https://research-explorer.ista.ac.at/record/1090
DOI: 10.4230/LIPIcs.MFCS.2016.24

Haas A, Henzinger TA, Holzer A, Kirsch C, Lippautz M, Payer H, Sezgin A, Sokolova A, Veith H. 2016. Local linearizability for concurrent container-type data structures. Leibniz International Proceedings in Informatics. CONCUR: Concurrency Theory, LIPIcs, vol. 59, 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. SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, ACM Transactions on Graphics, vol. 35, 227.
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. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29, 3619–3627.
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. SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, ACM Transactions on Graphics, vol. 35, 223.
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. Proceedings of the British Machine Vision Conference 2016. BMVC: British Machine Vision Conference vol. 2016–September, 92.1-92.12.
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. MEMOCODE: International Conference on Formal Methods and Models for System Design, 7797741.
LibreCat: https://research-explorer.ista.ac.at/record/1103
DOI: 10.1109/MEMCOD.2016.7797741

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

Rueda A, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Efficient single sideband microwave to optical conversion using a LiNbO WGM-resonator. CLEO: Conference on Lasers and Electro Optics, 7788479.
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. 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

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

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

Lang M, Stelling J. 2016. Modular parameter identification of biomolecular networks. SIAM Journal on Scientific Computing. 38(6), 8–08.
LibreCat: https://research-explorer.ista.ac.at/record/1170
DOI: 10.1137/15M103306X