Chatterjee K, Henzinger TA, Otop J. 2019. Long-run average behavior of vector addition systems with states. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 27.

Chatterjee K, Piterman N. 2019. Combinations of Qualitative Winning for Stochastic Parity Games. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 6.

Nowak T, Rybicki J. 2019. Byzantine approximate agreement on graphs. 33rd International Symposium on Distributed Computing. DISC: International Symposium on Distributed Computing, LIPIcs, vol. 146, 29:1--29:17.

Hasani R, Amini A, Lechner M, Naser F, Grosu R, Rus D. 2019. Response characterization for auditing cell dynamics in long short-term memory networks. Proceedings of the International Joint Conference on Neural Networks. IJCNN: International Joint Conference on Neural Networks, 8851954.

Mondelli M, Hassani SH, Urbanke R. 2019. A new coding paradigm for the primitive relay channel. Algorithms. 12(10), 218.

Geher GP, Titkos T, Virosztek D. 2019. Dirac masses and isometric rigidity. Kyoto RIMS Kôkyûroku. Research on isometries as preserver problems and related topics vol. 2125, 34–41.

Kersting K, Lampert C, Rothkopf C eds. 2019. Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt 1st ed., Wiesbaden: Springer Nature, XIV, 245p.

Fulek R, Kyncl J. 2019. Z_2-Genus of graphs and minimum rank of partial symmetric matrices. 35th International Symposium on Computational Geometry (SoCG 2019). SoCG: Symposium on Computational Geometry, LIPIcs, vol. 129, 39.

Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikudionis M. 2019.Continuous-time models for system design and analysis. In: Computing and Software Science. Lecture Notes in Computer Science, vol. 10000, 452–477.

Portinale L, Stefanelli U. 2019. Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. 28(2), 425–447.

Bialek W, Gregor T, Tkadik G. Action at a distance in transcriptional regulation. arXiv:1912.08579, .

Immler F, Althoff M, Benet L, Chapoutot A, Chen X, Forets M, Geretti L, Kochdumper N, Sanders DP, Schilling C. 2019. ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 61, 41–61.

Betea D, Bouttier J, Nejjar P, Vuletíc M. 2019. New edge asymptotics of skew Young diagrams via free boundaries. Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. FPSAC: International Conference on Formal Power Series and Algebraic Combinatorics, 34.

Althoff M, Bak S, Forets M, Frehse G, Kochdumper N, Ray R, Schilling C, Schupp S. 2019. ARCH-COM Category Report: Continuous and hybrid systems with linear continuous dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 61, 14–40.

Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. 2019. Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. BMC Research Notes. 12, 494.

Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. 2019. MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells, Springer Nature,10.6084/m9.figshare.9411761.v1 .

Polechova J. 2019. Data from: Is the sky the limit? On the expansion threshold of a species’ range, Dryad,10.5061/dryad.5vv37 .

Kokoris Kogias E, Spiegelman A, Malkhi D, Abraham I. Bootstrapping consensus without trusted setup: fully asynchronous distributed key generation. Cryptology ePrint Archive, 2019/1015.

Schlögl A, Kiss J, Elefante S. 2019. Is Debian suitable for running an HPC Cluster? AHP - Austrian HPC Meeting 2019 . AHPC: Austrian HPC Meeting, 25.

Aichholzer O, Akitaya HA, Cheung KC, Demaine ED, Demaine ML, Fekete SP, Kleist L, Kostitsyna I, Löffler M, Masárová Z, Mundilova K, Schmidt C. 2019. Folding polyominoes with holes into a cube. Proceedings of the 31st Canadian Conference on Computational Geometry. CCCG: Canadian Conference in Computational Geometry, 164–170.

Avni G, Henzinger TA, Zikelic D. 2019. Bidding mechanisms in graph games. MFCS: nternational Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 138, 11.

Ucar MC, Lipowsky R. 2019. Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding, American Chemical Society ,10.1021/acs.nanolett.9b04445.s001 .

Boissonnat J-D, Lieutier A, Wintraecken M. 2019. The reach, metric distortion, geodesic convexity and the variation of tangent spaces. Journal of Applied and Computational Topology. 3(1–2), 29–58.

Gerencser M, Gyöngy I. 2019. A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and their Applications. 129(3), 995–1012.

Deuchert A, Seiringer R, Yngvason J. 2019. Bose–Einstein condensation in a dilute, trapped gas at positive temperature. Communications in Mathematical Physics. 368(2), 723–776.

Faria R, Johannesson K, Butlin RK, Westram AM. 2019. Evolving inversions. Trends in Ecology and Evolution. 34(3), 239–248.

Hausel T, Mereb M, Wong M. 2019. Arithmetic and representation theory of wild character varieties. Journal of the European Mathematical Society. 21(10), 2995–3052.

Marsh A, Novarino G, Lockhart P, Leventer R. 2019. CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63. European Journal of Human Genetics. 27, 161–166.

Dareiotis K, Gerencser M, Gess B. 2019. Entropy solutions for stochastic porous media equations. Journal of Differential Equations. 266(6), 3732–3763.

Mócsai R, Figl R, Troschl C, Strasser R, Svehla E, Windwarder M, Thader A, Altmann F. 2019. N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated. Scientific Reports. 9(1), 331.

Lee E, Vanneste S, Pérez-Sancho J, Benitez-Fuente F, Strelau M, Macho AP, Botella MA, Friml J, Rosado A. 2019. Ionic stress enhances ER–PM connectivity via phosphoinositide-associated SY contact site expansion in Arabidopsis. Proceedings of the National Academy of Sciences of the United States of America. 116(4), 1420–1429.

Andalo C, Burrus M, Paute S, Lauzeral C, Field D. 2019. Prevalence of legitimate pollinators and nectar robbers and the consequences for fruit set in an Antirrhinum majus hybrid zone. Botany Letters. 166(1), 80–92.

Chaplick S, Fulek R, Klavík P. 2019. Extending partial representations of circle graphs. Journal of Graph Theory. 91(4), 365–394.

Virosztek D. 2019. Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. 576, 67–78.

Browning TD, Loughran D. 2019. Sieving rational points on varieties. Transactions of the American Mathematical Society. 371(8), 5757–5785.

Gerencser M, Hairer M. 2019. Singular SPDEs in domains with boundaries. Probability Theory and Related Fields. 173(3–4), 697–758.

Ajanki OH, Erdös L, Krüger TH. 2019. Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. 173(1–2), 293–373.

Chatterjee B, Peri S, Sa M, Singhal N. 2019. A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries. ACM International Conference Proceeding Series. ICDCN: Conference on Distributed Computing and Networking, 168–177.

Fulek R, Pach J. 2019. Thrackles: An improved upper bound. Discrete Applied Mathematics. 259(4), 266–231.

Corominas-Murtra B. 2019. Thermodynamics of duplication thresholds in synthetic protocell systems. Life. 9(1), 9.

Lindner M, Tresztenyak A, Fülöp G, Jahr W, Prinz A, Prinz I, Danzl JG, Schütz GJ, Sevcsik E. 2019. A fast and simple contact printing approach to generate 2D protein nanopatterns. Frontiers in Chemistry. 6, 655.

Gerencser M, Hairer M. 2019. A solution theory for quasilinear singular SPDEs. Communications on Pure and Applied Mathematics. 72(9), 1983–2005.

Fu H, Chatterjee K. 2019. Termination of nondeterministic probabilistic programs. International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI: Verification, Model Checking, and Abstract Interpretation, LNCS, vol. 11388, 468–490.

Petkova MD, Tkadik G, Bialek W, Wieschaus EF, Gregor T. 2019. Optimal decoding of cellular identities in a genetic network. Cell. 176(4), 844–855.e15.

Klotz L, Gumowski K, Wesfreid JE. 2019. Experiments on a jet in a crossflow in the low-velocity-ratio regime. Journal of Fluid Mechanics. 863, 386–406.

Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. 2019. Semantic fault localization and suspiciousness ranking. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 11427, 226–243.

Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2019. JuliaReach: A toolbox for set-based reachability. Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control vol. 22, 39–44.

Truckenbrodt SM, Sommer CM, Rizzoli SO, Danzl JG. 2019. A practical guide to optimization in  expansion microscopy. Nature Protocols. 14(3), 832–863.

Capek D, Smutny M, Tichy AM, Morri M, Janovjak HL, Heisenberg C-PJ. 2019. Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration. eLife. 8, e42093.

Merrill RM, Rastas P, Martin SH, Melo Hurtado MC, Barker S, Davey J, Mcmillan WO, Jiggins CD. 2019. Genetic dissection of assortative mating behavior. PLoS Biology. 17(2), e2005902.

Yoshida S, Van Der Schuren A, Van Dop M, Van Galen L, Saiga S, Adibi M, Möller B, Ten Hove CA, Marhavý P, Smith R, Friml J, Weijers D. 2019. A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis. Nature Plants. 5(2), 160–166.

Kalaee M, Mirhosseini M, Dieterle PB, Peruzzo M, Fink JM, Painter O. 2019. Quantum electromechanics of a hypersonic crystal. Nature Nanotechnology. 14(4), 334–339.

Akopyan A, Fedorov R. 2019. Two circles and only a straightedge. Proceedings of the American Mathematical Society. 147, 91–102.

Merrill RM, Rastas P, Martin SH, Melo Hurtado MC, Barker S, Davey J, Mcmillan WO, Jiggins CD. 2019. Raw behavioral data, Public Library of Science,10.1371/journal.pbio.2005902.s006 .

Faria R, Chaube P, Morales HE, Larsson T, Lemmon AR, Lemmon EM, Rafajlovi M, Panova M, Ravinet M, Johannesson K, Westram AM, Butlin RK. 2019. Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes. Molecular Ecology. 28(6), 1375–1393.

De Martino D. 2019. Feedback-induced self-oscillations in large interacting systems subjected to phase transitions. Journal of Physics A: Mathematical and Theoretical. 52(4), 045002.

Henderson NT, Le Marchand SJ, Hruska M, Hippenmeyer S, Luo L, Dalva MB. 2019. Ephrin- controls excitatory synapse density through cell-cell competition for EphBs. eLife. 8, e41563.

Mitosch K, Rieckh G, Bollenbach MT. 2019. Temporal order and precision of complex stress responses in individual bacteria. Molecular systems biology. 15(2), e8470.

Kutzer M, Kurtz J, Armitage SAO. 2019. A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Journal of Animal Ecology. 88(4), 566–578.

Traxl A, Mairinger S, Filip T, Sauberer M, Stanek J, Poschner S, Jäger W, Zoufal V, Novarino G, Tournier N, Bauer M, Wanek T, Langer O. 2019. Inhibition of ABC and ABC at the mouse blood-brain barrier with marketed drugs to improve brain delivery of the model ABC/ABC substrate [11C]erlotinib. Molecular Pharmaceutics. 16(3), 1282–1293.

Xia P, Gütl DJ, Zheden V, Heisenberg C-PJ. 2019. Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity. Cell. 176(6), 1379–1392.e14.

Kutzer M, Kurtz J, Armitage SAO. 2019. Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance, Dryad,10.5061/dryad.9kj41f0 .

Sadel C, Xu D. 2019. Singular analytic linear cocycles with negative infinite Lyapunov exponents. Ergodic Theory and Dynamical Systems. 39(4), 1082–1098.

Le Feber B, Sipe JE, Wulf M, Kuipers L, Rotenberg N. 2019. A full vectorial mapping of nanophotonic light fields. Light: Science and Applications. 8(1), 28.

Zwiewka M, Bielach A, Tamizhselvan P, Madhavan S, Ryad EE, Tan S, Hrtyan M, Dobrev P, Vanková R, Friml J, Tognetti VB. 2019. Root adaptation to O2-induced oxidative stress by ARF-GEF BEN1- and cytoskeleton-mediated PIN2 trafficking. Plant and Cell Physiology. 60(2), 255–273.

Recho P, Hallou A, Hannezo EB. 2019. Theory of mechanochemical patterning in biphasic biological tissues. Proceedings of the National Academy of Sciences of the United States of America. 116(12), 5344–5349.

Roblek M, Protsyuk D, Becker PF, Stefanescu C, Gorzelanny C, Glaus Garzon JF, Knopfova L, Heikenwalder M, Luckow B, Schneider SW, Borsig L. 2019. CCL2 is a vascular permeability factor inducing CC-dependent endothelial retraction during lung metastasis. Molecular Cancer Research. 17(3), 783–793.

Barton NH, Hermisson J, Nordborg M. 2019. Why structure matters. eLife. 8, e45380.

Gerencser M. 2019. Boundary regularity of stochastic PDEs. Annals of Probability. 47(2), 804–834.

Rakusová H, Han H, Valosek P, Friml J. 2019. Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls. The Plant Journal. 98(6), 1048–1059.

Davies HS, Baranova NS, El Amri N, Coche-Guérente L, Verdier C, Bureau L, Richter RP, Débarre D. 2019. An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments. Matrix Biology. 78–79, 47–59.

Browning TD, Hu LQ. 2019. Counting rational points on biquadratic hypersurfaces. Advances in Mathematics. 349, 920–940.

Wang Y, Gong Z, Friml J, Zhang J. 2019. Nitrate modulates the differentiation of root distal stem cells. Plant Physiology. 180(1), 22–25.

Temnov AA, Rogov KA, Sklifas AN, Klychnikova EV, Hartl M, Djinovic-Carugo K, Charnagalov A. 2019. Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure. Molecular Biology Reports.

Rueda Sanchez AR, Sedlmeir F, Kumari M, Leuchs G, Schwefel HGL. 2019. Resonant electro-optic frequency comb. Nature. 568(7752), 378–381.

Stella F, Baracskay P, O’Neill J, Csicsvari JL. 2019. Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron. 102, 450–461.

Budanur NB, Fleury M. 2019. State space geometry of the chaotic pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science. 29(1), 013122.

Schur FK. 2019. Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging. Current Opinion in Structural Biology. 58(10), 1–9.

Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. 2019. Interface-aware signal temporal logic. Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control, 57–66.

Schreck C, Hafner C, Wojtan C. 2019. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 38(4), 130.

Song B, Plana C, Lopez Alonso JM, Avila M. 2019. Phase-field simulation of core-annular pipe flow. International Journal of Multiphase Flow. 117, 14–24.

Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape. PLoS Genetics. 15(4), e1008079.

Moussa HF, Bsteh D, Yelagandula R, Pribitzer C, Stecher K, Bartalska K, Michetti L, Wang J, Zepeda-Martinez JA, Elling U, Stuckey JI, James LI, Frye SV, Bell O. 2019. Canonical PR controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications. 10(1), 1931.

Cremer S. 2019. Pathogens and disease defense of invasive ants. Current Opinion in Insect Science. 33, 63–68.

Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. A statistical summary of segment libraries and sequencing results, Public Library of Science,10.1371/journal.pgen.1008079.s011 .

Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. A statistical summary of segment libraries and sequencing results, Public Library of Science,10.1371/journal.pgen.1008079.s011 .

Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. Multiple alignment of Hi orthologues, Public Library of Science,10.1371/journal.pgen.1008079.s010 .

Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. 2019. Run-time optimization for learned controllers through quantitative games. 31st International Conference on Computer-Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 11561, 630–649.

Abanin DA, Altman E, Bloch I, Serbyn M. 2019. Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics. 91(2), 021001.

Field D, Fraisse C. 2019. Breaking down barriers in morning glories. Molecular ecology. 28(7), 1579–1581.

Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. 2019. A modular degron library for synthetic circuits in mammalian cells. Nature Communications. 10(1), 2013.

Fraisse C, Welch JJ. 2019. The distribution of epistasis on simple fitness landscapes. Biology Letters. 15(4), 0881.

Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. 2019. Improved spike inference accuracy by estimating the peak amplitude of unitary [C+] transients in weakly GCaMf-expressing hippocampal pyramidal cells. Journal of Physiology. 597(11), 2925–2947.

Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.

Koval N, Alistarh D-A, Elizarov R. 2019. Lock-free channels for programming via communicating sequential processes, ACM Press,p.

Zhang Y, He P, Ma X, Yang Z, Pang C, Yu J, Wang G, Friml J, Xiao G. 2019. Auxin-mediated statolith production for root gravitropism. New Phytologist. 224(2), 761–774.

Noda-García L, Davidi D, Korenblum E, Elazar A, Putintseva E, Aharoni A, Tawfik DS. 2019. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology. 4(7), 1221–1230.

Maes ME, Colombo G, Schulz R, Siegert S. 2019. Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience Letters. 707, 134310.

Guiu J, Hannezo EB, Yui S, Demharter S, Ulyanchenko S, Maimets M, Jørgensen A, Perlman S, Lundvall L, Mamsen LS, Larsen A, Olesen RH, Andersen CY, Thuesen LL, Hare KJ, Pers TH, Khodosevich K, Simons BD, Jensen KB. 2019. Tracing the origin of adult intestinal stem cells. Nature. 570, 107–111.

Tichy A-M, Gerrard EJ, Legrand JMD, Hobbs RM, Janovjak HL. 2019. Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions. Journal of Molecular Biology. 431(17), 3046–3055.