A. Akopyan and V. Vysotsky, “On the lengths of curves passing through boundary points of a planar convex shape,” The American Mathematical Monthly, vol. 124, no. 7. Mathematical Association of America, pp. 588–596, 2017.

D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, and M. Vojnovi, “QSGD: Communication-efficient SGD via gradient quantization and encoding,” presented at the NIPS: Neural Information Processing System, Long Beach, CA, United States, 2017, vol. 2017, pp. 1710–1721.

B. Finkbeiner and A. Kupriyanov, “Causality-based model checking,” in Electronic Proceedings in Theoretical Computer Science, Uppsala, Sweden, 2017, vol. 259, pp. 31–38.

A. Pentina and C. Lampert, “Multi-task learning with labeled and unlabeled tasks,” presented at the ICML: International Conference on Machine Learning, Sydney, Australia, 2017, vol. 70, pp. 2807–2816.

A. R. Rueda Sanchez et al., “Single sideband microwave to optical photon conversion-an-electro-optic-realization,” in Optics InfoBase Conference Papers, Waikoloa, HI, United States, 2017, vol. .

J. Haase, S. Bagiante, H. Sigg, and J. Van Bokhoven, “Surface enhanced infrared absorption of chemisorbed carbon monoxide using plasmonic nanoantennas,” Optics Letters, vol. 42, no. 10. Optica Publishing Group, pp. 1931–1934, 2017.

S. Cremer, “Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern,” Rundgespräche Forum Ökologie, vol. 46. Verlag Dr. Friedrich Pfeil, pp. 105–116, 2017.

H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, and C. Zhang, “ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning,” in Proceedings of Machine Learning Research, Sydney, Australia, 2017, vol. 70, pp. 4035–4043.

V. Kolmogorov, “A faster approximation algorithm for the Gibbs partition function,” in Proceedings of the 31st Conference On Learning Theory, 2017, vol. 75, pp. 228–249.

M. Futo, M. Sell, M. Kutzer, and J. Kurtz, “Specificity of oral immune priming in the red flour beetle Tribolium castaneum,” Biology Letters, vol. 13, no. 12. The Royal Society, 2017.

M. Villányi, “Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library,” Informationspraxis, vol. 3, no. 1. Verein Informationspraxis , 2017.

J. Walker et al., “Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis,” Nature Genetics, vol. 50, no. 1. Nature Research, pp. 130–137, 2017.

K. Chatterjee, P. Novotný, and D. Zikelic, “Stochastic invariants for probabilistic termination,” presented at the POPL: Principles of Programming Languages, Paris, France, 2017, vol. 52, no. 1, pp. 145–160.

E. Mazur and J. Friml, “Vascular tissue development and regeneration in the model plant arabidopsis,” in Plant Engineering, S. Juri, Ed. InTech, 2017, pp. 113–140.

R. J. Beattie and S. Hippenmeyer, “Mechanisms of radial glia progenitor cell lineage progression,” FEBS letters, vol. 591, no. 24. Wiley-Blackwell, pp. 3993–4008, 2017.

O. Marre, G. Tkadik, D. Amodei, E. Schneidman, W. Bialek, and M. Berry, “Multi-electrode array recording from salamander retinal ganglion cells.” Institute of Science and Technology Austria, 2017.

D. Kainmueller, F. Jug, C. Rother, and G. Meyers, “Graph matching problems for annotating C. Elegans.” Institute of Science and Technology Austria, 2017.

M. Lukacisin, “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, 2017.

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

C. Fraisse, M. A. L. Picard, and B. Vicoso, “The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.

M. Steinrück and C. C. Guet, “Fastq files for ‘Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection.’” Institute of Science and Technology Austria, 2017.

D. Hahn, “Source codes: Brittle fracture simulation with boundary elements for computer graphics.” Institute of Science and Technology Austria, 2017.

C. Fraisse, “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, 2017.

R. Hauschild, “Forward migration indexes.” Institute of Science and Technology Austria, 2017.

A. F. Leithner, “Immunological synapse DC-Tcells.” Institute of Science and Technology Austria, 2017.

T. Bergmiller et al., “Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity.” Institute of Science and Technology Austria, 2017.

T. Bergmiller et al., “Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity,” Science, vol. 356, no. 6335. American Association for the Advancement of Science, pp. 311–315, 2017.

B. Vicoso, “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, 2017.

A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak , “Strong amplifiers of natural selection.” Institute of Science and Technology Austria, 2017.

B. Vicoso, “Code 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, 2017.

D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, and J. Friml, “Live tracking of moving samples in confocal microscopy for vertically grown roots,” eLife, vol. 6. eLife Sciences Publications, 2017.

D. von Wangenheim, R. Hauschild, and J. Friml, “Light sheet fluorescence microscopy of plant roots growing on the surface of a gel,” Journal of visualized experiments JoVE, vol. 2017, no. 119. Journal of Visualized Experiments, 2017.

D. von Wangenheim, R. Hauschild, and J. Friml, “Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel.” Institute of Science and Technology Austria, 2017.

R. Hauschild, “Live tracking of moving samples in confocal microscopy for vertically grown roots.” Institute of Science and Technology Austria, 2017.

X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding helly numbers via betti numbers,” in A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, M. Loebl, J. Nesetil, and R. Thomas, Eds. Springer, 2017, pp. 407–447.

S. Altmeyer, Y. Do, and S. Ryu, “Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow,” Chaos, vol. 27, no. 11. AIP Publishing, 2017.

B. Shepperson, A. Chatterley, A. Søndergaard, L. Christiansen, M. Lemeshko, and H. Stapelfeldt, “Strongly aligned molecules inside helium droplets in the near-adiabatic regime,” The Journal of Chemical Physics, vol. 147, no. 1. AIP Publishing, 2017.

A. Deuchert, “A lower bound for the BCS functional with boundary conditions at infinity,”  Journal of Mathematical Physics, vol. 58, no. 8. AIP Publishing, 2017.

M. Lukacisin, M. Landon, and R. Jajoo, “Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast,” PLoS One, vol. 12, no. 3. Public Library of Science, 2017.

F. P. Assen and M. K. Sixt, “The dynamic cytokine niche,” Immunity, vol. 46, no. 4. Cell Press, pp. 519–520, 2017.

H. Ukai et al., “PirB regulates asymmetries in hippocampal circuitry,” PLoS One, vol. 12, no. 6. Public Library of Science, 2017.

S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Green-light-induced inactivation of receptor signaling using cobalamin-binding domains,” Angewandte Chemie - International Edition, vol. 56, no. 16. Wiley-Blackwell, pp. 4608–4611, 2017.

A. Hurny and E. Benková, “Methodological advances in auxin and cytokinin biology,” Auxins and Cytokinins in Plant Biology, vol. 1569. Springer, pp. 1–29, 2017.

F. Ebner et al., “The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection,” The Journal of Clinical Investigation, vol. 127, no. 6. American Society for Clinical Investigation, pp. 2051–2065, 2017.

G. Krens et al., “Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation,” Development, vol. 144, no. 10. Company of Biologists, pp. 1798–1806, 2017.

M. Steinrück and C. C. Guet, “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection,” eLife, vol. 6. eLife Sciences Publications, 2017.

M. Lukacisinova, S. Novak, and T. Paixao, “Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes,” PLoS Computational Biology, vol. 13, no. 7. Public Library of Science, 2017.

M. Lukacisinova and M. T. Bollenbach, “Toward a quantitative understanding of antibiotic resistance evolution,” Current Opinion in Biotechnology, vol. 46. Elsevier, pp. 90–97, 2017.

K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst case analysis of recursive programs,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 41–63.

K. Chatterjee, A. K. Goharshady, and A. Pavlogiannis, “JTDec: A tool for tree decompositions in soot,” presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India, 2017, vol. 10482, pp. 59–66.

M. Smutny et al., “Friction forces position the neural anlage,” Nature Cell Biology, vol. 19. Nature Publishing Group, pp. 306–317, 2017.

V. Barone et al., “An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate,” Developmental Cell, vol. 43, no. 2. Cell Press, pp. 198–211, 2017.

A. H. Hansen, C. F. Düllberg, C. Mieck, M. Loose, and S. Hippenmeyer, “Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks,” Frontiers in Cellular Neuroscience, vol. 11. Frontiers Research Foundation, 2017.

R. Gnügge, L. Dharmarajan, M. Lang, and J. Stelling, “An orthogonal permease–inducer–repressor feedback loop shows bistability,” ACS Synthetic Biology, vol. 5, no. 10. American Chemical Society, pp. 1098–1107, 2016.

K. Chatterjee, W. Dvorák, M. H. Henzinger, and V. Loitzenbauer, “Conditionally optimal algorithms for generalized Büchi Games,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland, 2016, vol. 58.

V. K. Chonev, J. Ouaknine, and J. Worrell, “On the skolem problem for continuous linear dynamical systems,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.

K. Chatterjee and L. Doyen, “Computation tree logic for synchronization properties,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.

. angowski et al., “Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells,” Cell Discovery, vol. 2. Nature Publishing Group, 2016.

P. Rubel et al., “SCP-ECG .0: An enhanced standard communication protocol for computer-assisted electrocardiography,” in 2016 Computing in Cardiology Conference, Vancouver, Canada, 2016, vol. 43, pp. 309–312.

M. J. Chalk, O. Marre, and G. Tkadik, “Relevant sparse codes with variational information bottleneck,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 1965–1973.

S. Booker et al., “KCT auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons,” Cerebral Cortex, vol. 27, no. 3. Oxford University Press, pp. 2318–2334, 2016.

K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland, 2016, vol. 58.

A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.

T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.

A. Pentina and R. Urner, “Lifelong learning with weighted majority votes,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 3619–3627.

L. Malomo, N. Pietroni, B. Bickel, and P. Cignoni, “FlexMolds: Automatic design of flexible shells for molding,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.

A. Kolesnikov and C. Lampert, “Improving weakly-supervised object localization by micro-annotation,” in Proceedings of the British Machine Vision Conference 2016, York, United Kingdom, 2016, vol. 2016–September, p. 92.1-92.12.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

J. Balla et al., “Auxin flow mediated competition between axillary buds to restore apical dominance,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.

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.

J. Renkawitz and M. K. Sixt, “A Radical Break Restraining Neutrophil Migration,” Developmental Cell, vol. 38, no. 5. Cell Press, pp. 448–450, 2016.

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.

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.

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.

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.

M. Lang and J. Stelling, “Modular parameter identification of biomolecular networks,” SIAM Journal on Scientific Computing, vol. 38, no. 6. Society for Industrial and Applied Mathematics , pp. 8–08, 2016.

G. Tkadik, “Understanding regulatory networks requires more than computing a multitude of graph statistics: Comment on &;quot;Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function&;quot; by O. C. Martin et al.,” Physics of Life Reviews, vol. 17. Elsevier, pp. 166–167, 2016.

H. Sachdeva, M. Barma, and M. Rao, “Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.

C. Kamath Hosdurg and S. Chatterjee, “A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound,” Algorithmica, vol. 74, no. 4. Springer, pp. 1321–1362, 2016.

K. Z. Pietrzak and S. Maciej, “Pseudoentropy: Lower-bounds for chain rules and transformations,” presented at the TCC: Theory of Cryptography Conference, Beijing, China, 2016, vol. 9985, pp. 183–203.

N. Dwyer, B. Chen, S. Chou, S. Hippenmeyer, L. Nguyen, and T. Ghashghaei, “Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity,” Journal of Neuroscience, vol. 36, no. 45. Society for Neuroscience, pp. 11394–11401, 2016.

K. Chatterjee, R. Ibsen-Jensen, and J. Tkadlec, “Robust draws in balanced knockout tournaments,” presented at the IJCAI: International Joint Conference on Artificial Intelligence, New York, NY, USA, 2016, vol. 2016–January, pp. 172–179.

S. Metzler, J. Heinze, and A. Schrempf, “Mating and longevity in ant males,” Ecology and Evolution, vol. 6, no. 24. Wiley-Blackwell, pp. 8903–8906, 2016.

M. Cucinotta et al., “Cytokinin response factors integrate auxin and cytokinin pathways for female reproductive organ development,” Development, vol. 143, no. 23. Company of Biologists, pp. 4419–4424, 2016.

J. Gutierrez-Fernandez et al., “Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.

D. De Martino and D. Masoero, “Asymptotic analysis of noisy fitness maximization, applied to metabolism &;amp; growth,”  Journal of Statistical Mechanics: Theory and Experiment, vol. 2016, no. 12. IOPscience, 2016.

S. Franssen, N. H. Barton, and C. Schlötterer, “Reconstruction of haplotype-blocks selected during experimental evolution.,” Molecular Biology and Evolution, vol. 34, no. 1. Oxford University Press, pp. 174–184, 2016.

C. Hilbe and A. Traulsen, “Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on ‘Evolutionary game theory using agent-based methods’ by C. Adami, J. Schossau and A. Hintze,” Physics of Life Reviews, vol. 19. Elsevier, pp. 29–31, 2016.