Trinh M, Chu DH, Jaffar J. 2017. Model counting for recursively-defined strings. CAV: Computer Aided Verification, LNCS, vol. 10427, 399–418.

Charlesworth D, Barton NH, Charlesworth B. 2017. The sources of adaptive evolution. Proceedings of the Royal Society of London Series B Biological Sciences. 284(1855), 20162864.

De Martino D. 2017. Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics.  Physical Review E Statistical Nonlinear and Soft Matter Physics . 95(6), 062419.

Carlen E, Maas J. 2017. Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance. Journal of Functional Analysis. 273(5), 1810–1869.

Turelli M, Barton NH. 2017. Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti. Theoretical Population Biology. 115, 45–60.

Schmidt T, Barton NH, Rasic G, Turley A, Montgomery B, Iturbe Ormaetxe I, Cook P, Ryan P, Ritchie S, Hoffmann A, O’Neill S, Turelli M. 2017. Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti. PLoS Biology. 15(5), e2001894.

De Martino D, Capuani F, De Martino A. 2017. Quantifying the entropic cost of cellular growth control.  Physical Review E Statistical Nonlinear and Soft Matter Physics . 96(1), 010401.

Schmidt T, Barton NH, Rasic G, Turley A, Montgomery B, Iturbe Ormaetxe I, Cook P, Ryan P, Ritchie S, Hoffmann A, O’Neill S, Turelli M. 2017. Excel file with data on mosquito densities, Wolbachia infection status and housing characteristics, Public Library of Science,10.1371/journal.pbio.2001894.s016 .

Schmidt T, Barton NH, Rasic G, Turley A, Montgomery B, Iturbe Ormaetxe I, Cook P, Ryan P, Ritchie S, Hoffmann A, O’Neill S, Turelli M. 2017. Supporting information concerning observed wMel frequencies and analyses of habitat variables, Public Library of Science ,10.1371/journal.pbio.2001894.s015 .

Schmidt T, Barton NH, Rasic G, Turley A, Montgomery B, Iturbe Ormaetxe I, Cook P, Ryan P, Ritchie S, Hoffmann A, O’Neill S, Turelli M. 2017. Supporting Information concerning additional likelihood analyses and results, Public Library of Science,10.1371/journal.pbio.2001894.s014 .

Huylmans AK, Macon A, Vicoso B. 2017. Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome. Molecular Biology and Evolution. 34(10), 2637–2649.

Matsubayashi Y, Louani A, Dragu A, Sanchez Sanchez B, Serna Morales E, Yolland L, György A, Vizcay G, Fleck R, Heddleston J, Chew T, Siekhaus DE, Stramer B. 2017. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 27(22), 3526–3534e.4.

Barzanjeh S, Wulf M, Peruzzo M, Kalaee M, Dieterle P, Painter O, Fink JM. 2017. Mechanical on chip microwave circulator. Nature Communications. 8(1), 1304.

Alistarh D-A, Kopinsky J, Li J, Nadiradze G. 2017. The power of choice in priority scheduling. Proceedings of the ACM Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing vol. Part 9314, 283–292.

Budanur NB, Short K, Farazmand M, Willis A, Cvitanovi P. 2017. Relative periodic orbits form the backbone of turbulent pipe flow. Journal of Fluid Mechanics. 833, 274–301.

Keller AJ, Dieterle P, Fang M, Berger B, Fink JM, Painter O. 2017. Al transmon qubits on silicon on insulator for quantum device integration. Applied Physics Letters. 111(4), 042603.

Fulek R, Mojarrad H, Naszódi M, Solymosi J, Stich S, Szedlák M. 2017. On the existence of ordinary triangles. Computational Geometry: Theory and Applications. 66, 28–31.

Fulek R. 2017. C-planarity of embedded cyclic c-graphs. Computational Geometry: Theory and Applications. 66, 1–13.

Rubio M, Matsui K, Fukazawa Y, Kamasawa N, Harada H, Itakura M, Molnár E, Abe M, Sakimura K, Shigemoto R. 2017. The number and distribution of AMPA receptor channels containing fast kinetic Glu and Glu subunits at auditory nerve synapses depend on the target cells. Brain Structure and Function. 222(8), 3375–3393.

Shigemoto R, Jösch MA. 2017. The genetic encoded toolbox for electron microscopy and connectomics. WIREs Developmental Biology. 6(6), e288.

Moser T, Seiringer R. 2017. Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics. 356(1), 329–355.

Nam P, Napiórkowski MM. 2017. A note on the validity of Bogoliubov correction to mean field dynamics. Journal de Mathématiques Pures et Appliquées. 108(5), 662–688.

Virk Z, Zastrow A. 2017. A new topology on the universal path space. Topology and its Applications. 231, 186–196.

Bao Z, Erdös L, Schnelli K. 2017. Convergence rate for spectral distribution of addition of random matrices. Advances in Mathematics. 319, 251–291.

Vukusi L, Kukucka J, Watzinger H, Katsaros G. 2017. Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry. Nano Letters. 17(9), 5706–5710.

Giehr J, Grasse AV, Cremer S, Heinze J, Schrempf A. 2017. Ant queens increase their reproductive efforts after pathogen infection. Royal Society Open Science. 4(7), 170547.

Novak S, Barton NH. 2017. When does frequency-independent selection maintain genetic variation? Genetics. 207(2), 653–668.

Ethier M, Jablonski G, Mrozek M. 2017. Finding eigenvalues of self-maps with the Kronecker canonical form. Special Sessions in Applications of Computer Algebra. ACA: Applications of Computer Algebra, PROMS, vol. 198, 119–136.

Swoboda P, Rother C, Abu Alhaija C, Kainmueller D, Savchynskyy B. 2017. A study of lagrangean decompositions and dual ascent solvers for graph matching. CVPR: Computer Vision and Pattern Recognition vol. 2017, 7062–7071.

Swoboda P, Andres B. 2017. A message passing algorithm for the minimum cost multicut problem. CVPR: Computer Vision and Pattern Recognition vol. 2017, 4990–4999.

Swoboda P, Kuske J, Savchynskyy B. 2017. A dual ascent framework for Lagrangean decomposition of combinatorial problems. CVPR: Computer Vision and Pattern Recognition vol. 2017, 4950–4960.

Zagórski MP, Tabata Y, Brandenberg N, Lutolf M, Tkadik G, Bollenbach T, Briscoe J, Kicheva A. 2017. Decoding of position in the developing neural tube from antiparallel morphogen gradients. Science. 356(6345), 1379–1383.

Beattie RJ, Postiglione MP, Burnett L, Laukoter S, Streicher C, Pauler F, Xiao G, Klezovitch O, Vasioukhin V, Ghashghaei T, Hippenmeyer S. 2017. Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells. Neuron. 94(3), 517–533.e3.

Le X, Chu DH, Lo D, Le Goues C, Visser W. 2017. : Syntax- and semantic-guided repair synthesis via programming by examples. FSE: Foundations of Software Engineering vol. 0154, 593–604.

Midya B, Konotop V. 2017. Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons. Physical Review Letters. 119(3), 033905.

Giehr J, Grasse AV, Cremer S, Heinze J, Schrempf A. 2017. Raw data from ant queens increase their reproductive efforts after pathogen infection, The Royal Society,10.6084/m9.figshare.5117788.v1 .

de Vos M, Zagórski MP, Mcnally A, Bollenbach MT. 2017. Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections. PNAS. 114(40), 10666–10671.

Heiss T, Wagner H. 2017. Streaming algorithm for Euler characteristic curves of multidimensional images. CAIP: Computer Analysis of Images and Patterns, LNCS, vol. 10424, 397–409.

Pfurr S, Chu Y, Bohrer C, Greulich F, Beattie RJ, Mammadzada K, Hils M, Arnold S, Taylor V, Schachtrup K, Uhlenhaut NH, Schachtrup C. 2017. The A splice variant  regulates the differentiation of projection neurons via (KI) during cortical development. Development. 144, 3917–3931.

Serbyn M, Zlatko P, Abanin D. 2017. Thouless energy and multifractality across the many-body localization transition. Physical Review B - Condensed Matter and Materials Physics. 96(10), 104201.

Colabrese S, De Martino D, Leuzzi L, Marinari E. 2017. Phase transitions in integer linear problems.  Journal of Statistical Mechanics: Theory and Experiment. 2017(9), 093404.

Budanur NB, Hof B. 2017. Heteroclinic path to spatially localized chaos in pipe flow. Journal of Fluid Mechanics. 827, .

Kitakura S, Adamowski M, Matsuura Y, Santuari L, Kouno H, Arima K, Hardtke C, Friml J, Kakimoto T, Tanaka H. 2017. BEN3/BI ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana. Plant and Cell Physiology. 58(10), 1801–1811.

Strüber M, Sauer J, Jonas PM, Bartos M. 2017. Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus. Nature Communications. 8(1), 758.

Samwer M, Schneider M, Hoefler R, Schmalhorst PS, Jude J, Zuber J, Gerlic D. 2017. DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes. Cell. 170(5), 956–972.

Schmalhorst PS, Deluweit F, Scherrers R, Heisenberg C-PJ, Sikora MK. 2017. Overcoming the limitations of the MARTINI force field in simulations of polysaccharides. Journal of Chemical Theory and Computation. 13(10), 5039–5053.

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.

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.

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.

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.

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.

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.

Barone V. 2017. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. Institute of Science and Technology Austria.

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.

Pull C. 2017. Disease defence in garden ants. Institute of Science and Technology Austria.

Pull C, Cremer S. 2017. Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour. BMC Evolutionary Biology. 17(1), 219.

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.

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.

Savin C, Tkadik G. 2017. Maximum entropy models as a tool for building precise neural controls. Current Opinion in Neurobiology. 46, 120–126.

Chan C, Heisenberg C-PJ, Hiiragi T. 2017. Coordination of morphogenesis and cell fate specification in development. Current Biology. 27(18), 24–35.

Spiro ZP, Heisenberg C-PJ. 2017. Regeneration tensed up polyploidy takes the lead. Developmental Cell. 42(6), 559–560.

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.

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.

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.

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.

Yakaboylu E, Deuchert A, Lemeshko M. 2017. Emergence of non-abelian magnetic monopoles in a quantum impurity problem. Physical Review Letters. 119(23), 235301.

Royer A, Kolesnikov A, Lampert C. 2017. Probabilistic image colorization. BMVC: British Machine Vision Conference, 85.1-85.12.

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.

Edelsbrunner H, Koehl P. 2017.Computational topology for structural molecular biology. In: Handbook of Discrete and Computational Geometry, Third Edition. , 1709–1735.

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.

Lang M, Sontag E. 2017. Zeros of nonlinear systems with input invariances. Automatica. 81C, 46–55.

Zimin A, Lampert C. 2017. Learning theory for conditional risk minimization. AISTATS: Artificial Intelligence and Statistics, PMLR, vol. 54, 213–222.

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.

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.

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.

Pentina A, Lampert C. 2017. Multi-task learning with labeled and unlabeled tasks. ICML: International Conference on Machine Learning, PMLR, vol. 70, 2807–2816.

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.

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.

Cremer S. 2017. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. Rundgespräche Forum Ökologie. 46, 105–116.

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.

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.

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.

Villányi M. 2017. Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. 3(1).

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.

Chatterjee K, Novotný P, Zikelic D. 2017. Stochastic invariants for probabilistic termination. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 52, 145–160.

Mazur E, Friml J. 2017.Vascular tissue development and regeneration in the model plant arabidopsis. In: Plant Engineering. Agricultural and Biological Sciences, , 113–140.

Beattie RJ, Hippenmeyer S. 2017. Mechanisms of radial glia progenitor cell lineage progression. FEBS letters. 591(24), 3993–4008.

Marre O, Tkadik G, Amodei D, Schneidman E, Bialek W, Berry M. 2017. Multi-electrode array recording from salamander retinal ganglion cells, Institute of Science and Technology Austria,10.15479/AT:ISTA:61 .

Kainmueller D, Jug F, Rother C, Meyers G. 2017. Graph matching problems for annotating C. Elegans, Institute of Science and Technology Austria,10.15479/AT:ISTA:57 .

Lukacisin M. 2017. MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast’, Institute of Science and Technology Austria,10.15479/AT:ISTA:64 .

Hahn D. 2017. Brittle fracture simulation with boundary elements for computer graphics. Institute of Science and Technology Austria.

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.

Steinrück M, Guet CC. 2017. Fastq files for ‘Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection’, Institute of Science and Technology Austria,10.15479/AT:ISTA:65 .

Hahn D. 2017. Source codes: Brittle fracture simulation with boundary elements for computer graphics, Institute of Science and Technology Austria,10.15479/AT:ISTA:73 .

Fraisse C. 2017. Supplementary Files for ‘The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W’, Institute of Science and Technology Austria,10.15479/AT:ISTA:7163 .

Hauschild R. 2017. Forward migration indexes, Institute of Science and Technology Austria,10.15479/AT:ISTA:75 .

Leithner AF. 2017. Immunological synapse DC-Tcells, Institute of Science and Technology Austria,10.15479/AT:ISTA:71 .

Bergmiller T, Andersson AM, Tomasek K, Balleza E, Kiviet D, Hauschild R, Tkadik G, Guet CC. 2017. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity, Institute of Science and Technology Austria,10.15479/AT:ISTA:53 .

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.

Vicoso B. 2017. Data for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology’, Institute of Science and Technology Austria,10.15479/AT:ISTA:78 .