K. Z. Pietrzak, “Simple verifiable delay functions,” in 10th Innovations in Theoretical Computer Science Conference, San Diego, CA, United States, 2019, vol. 124.

A. Kundu, M. Garcia Soto, and P. Prabhakar, “Formal synthesis of stabilizing controllers for periodically controlled linear switched systems,” in 5th Indian Control Conference Proceedings, Delhi, India, 2019.

G. Vegter and M. Wintraecken, “The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds,” in The 31st Canadian Conference in Computational Geometry, Edmonton, Canada, 2019, pp. 275–279.

H. Edelsbrunner, Z. Virk, and H. Wagner, “Topological data analysis in information space,” in 35th International Symposium on Computational Geometry, Portland, OR, United States, 2019, vol. 129, p. 31:1-31:14.

N. Zenmyo et al., “Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins,” Bulletin of the Chemical Society of Japan, vol. 92, no. 5. Bulletin of the Chemical Society of Japan, pp. 995–1000, 2019.

V. Kolmogorov, “Testing the complexity of a valued CSP language,” in 46th International Colloquium on Automata, Languages and Programming, Patras, Greece, 2019, vol. 132, p. 77:1-77:12.

M. Walter, “Sampling the integers with low relative error,” in Progress in Cryptology – AFRICACRYPT 2019, vol. 11627, J. Buchmann, A. Nitaj, and T. Rachidi, Eds. Cham: Springer Nature, 2019, pp. 157–180.

S. A. Hashemi, C. Condo, M. Mondelli, and W. J. Gross, “Rate-flexible fast polar decoders,” IEEE Transactions on Signal Processing, vol. 67, no. 22. IEEE, 2019.

V. Jelínek and M. Töpfer, “On grounded L-graphs and their relatives,” Electronic Journal of Combinatorics, vol. 26, no. 3. Electronic Journal of Combinatorics, 2019.

G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in  Proceedings of the 13th International Conference of Reachability Problems, Brussels, Belgium, 2019, vol. 11674, pp. 1–12.

K. Chatterjee, W. Dvorák, M. H. Henzinger, and A. Svozil, “Near-linear time algorithms for Streett objectives in graphs and MDPs,” in Leibniz International Proceedings in Informatics, Amsterdam, Netherlands, 2019, vol. 140.

M. Lechner, R. Hasani, M. Zimmer, T. A. Henzinger, and R. Grosu, “Designing worm-inspired neural networks for interpretable robotic control,” in Proceedings - IEEE International Conference on Robotics and Automation, Montreal, QC, Canada, 2019, vol. 2019–May.

M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.

K. Chatterjee, T. A. Henzinger, and J. Otop, “Long-run average behavior of vector addition systems with states,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.

K. Chatterjee and N. Piterman, “Combinations of Qualitative Winning for Stochastic Parity Games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.

T. Nowak and J. Rybicki, “Byzantine approximate agreement on graphs,” in 33rd International Symposium on Distributed Computing, Budapest, Hungary, 2019, vol. 146, p. 29:1--29:17.

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

M. Mondelli, S. H. Hassani, and R. Urbanke, “A new coding paradigm for the primitive relay channel,” Algorithms, vol. 12, no. 10. MDPI, 2019.

G. P. Geher, T. Titkos, and D. Virosztek, “Dirac masses and isometric rigidity,” in Kyoto RIMS Kôkyûroku, Kyoto, Japan, 2019, vol. 2125, pp. 34–41.

R. Fulek and J. Kyncl, “Z_2-Genus of graphs and minimum rank of partial symmetric matrices,” in 35th International Symposium on Computational Geometry (SoCG 2019), Portland, OR, United States, 2019, vol. 129.

R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikudionis, “Continuous-time models for system design and analysis,” in Computing and Software Science, vol. 10000, B. Steffen and G. Woeginger, Eds. Springer Nature, 2019, pp. 452–477.

L. Portinale and U. Stefanelli, “Penalization via global functionals of optimal-control problems for dissipative evolution,” Advances in Mathematical Sciences and Applications, vol. 28, no. 2. Gakko Tosho, pp. 425–447, 2019.

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

F. Immler et al., “ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 41–61.

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

M. Althoff et al., “ARCH-COM Category Report: Continuous and hybrid systems with linear continuous dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 14–40.

M. N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F. V. Rao, and C. V. Martin, “Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells,” BMC Research Notes, vol. 12. BioMed Central, 2019.

M. N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F. V. Rao, and C. V. Martin, “MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells.” Springer Nature, 2019.

J. Polechova, “Data from: Is the sky the limit? On the expansion threshold of a species’ range.” Dryad, 2019.

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

A. Schlögl, J. Kiss, and S. Elefante, “Is Debian suitable for running an HPC Cluster?,” in AHP - Austrian HPC Meeting 2019 , Grundlsee, Austria, 2019, p. 25.

O. Aichholzer et al., “Folding polyominoes with holes into a cube,” in Proceedings of the 31st Canadian Conference on Computational Geometry, Edmonton, Canada, 2019, pp. 164–170.

G. Avni, T. A. Henzinger, and D. Zikelic, “Bidding mechanisms in graph games,” presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany, 2019, vol. 138.

J.-D. Boissonnat, A. Lieutier, and M. Wintraecken, “The reach, metric distortion, geodesic convexity and the variation of tangent spaces,” Journal of Applied and Computational Topology, vol. 3, no. 1–2. Springer Nature, pp. 29–58, 2019.

M. Gerencser and I. Gyöngy, “A Feynman–Kac formula for stochastic Dirichlet problems,” Stochastic Processes and their Applications, vol. 129, no. 3. Elsevier, pp. 995–1012, 2019.

A. Deuchert, R. Seiringer, and J. Yngvason, “Bose–Einstein condensation in a dilute, trapped gas at positive temperature,” Communications in Mathematical Physics, vol. 368, no. 2. Springer, pp. 723–776, 2019.

R. Faria, K. Johannesson, R. K. Butlin, and A. M. Westram, “Evolving inversions,” Trends in Ecology and Evolution, vol. 34, no. 3. Elsevier, pp. 239–248, 2019.

T. Hausel, M. Mereb, and M. Wong, “Arithmetic and representation theory of wild character varieties,” Journal of the European Mathematical Society, vol. 21, no. 10. European Mathematical Society, pp. 2995–3052, 2019.

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

K. Dareiotis, M. Gerencser, and B. Gess, “Entropy solutions for stochastic porous media equations,” Journal of Differential Equations, vol. 266, no. 6. Elsevier, pp. 3732–3763, 2019.

R. Mócsai et al., “N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated,” Scientific Reports, vol. 9, no. 1. Nature Publishing Group, 2019.

E. Lee et al., “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, vol. 116, no. 4. National Academy of Sciences, pp. 1420–1429, 2019.

S. Chaplick, R. Fulek, and P. Klavík, “Extending partial representations of circle graphs,” Journal of Graph Theory, vol. 91, no. 4. Wiley, pp. 365–394, 2019.

D. Virosztek, “Jointly convex quantum Jensen divergences,” Linear Algebra and Its Applications, vol. 576. Elsevier, pp. 67–78, 2019.

T. D. Browning and D. Loughran, “Sieving rational points on varieties,” Transactions of the American Mathematical Society, vol. 371, no. 8. American Mathematical Society, pp. 5757–5785, 2019.

M. Gerencser and M. Hairer, “Singular SPDEs in domains with boundaries,” Probability Theory and Related Fields, vol. 173, no. 3–4. Springer, pp. 697–758, 2019.

O. H. Ajanki, L. Erdös, and T. H. Krüger, “Stability of the matrix Dyson equation and random matrices with correlations,” Probability Theory and Related Fields, vol. 173, no. 1–2. Springer, pp. 293–373, 2019.

B. Chatterjee, S. Peri, M. Sa, and N. Singhal, “A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries,” in ACM International Conference Proceeding Series, Bangalore, India, 2019, pp. 168–177.

R. Fulek and J. Pach, “Thrackles: An improved upper bound,” Discrete Applied Mathematics, vol. 259, no. 4. Elsevier, pp. 266–231, 2019.

B. Corominas-Murtra, “Thermodynamics of duplication thresholds in synthetic protocell systems,” Life, vol. 9, no. 1. MDPI, 2019.

M. Lindner et al., “A fast and simple contact printing approach to generate 2D protein nanopatterns,” Frontiers in Chemistry, vol. 6. Frontiers Media S.A., 2019.

M. Gerencser and M. Hairer, “A solution theory for quasilinear singular SPDEs,” Communications on Pure and Applied Mathematics, vol. 72, no. 9. Wiley, pp. 1983–2005, 2019.

M. D. Petkova, G. Tkadik, W. Bialek, E. F. Wieschaus, and T. Gregor, “Optimal decoding of cellular identities in a genetic network,” Cell, vol. 176, no. 4. Cell Press, p. 844–855.e15, 2019.

L. Klotz, K. Gumowski, and J. E. Wesfreid, “Experiments on a jet in a crossflow in the low-velocity-ratio regime,” Journal of Fluid Mechanics, vol. 863. Cambridge University Press, pp. 386–406, 2019.

M. Christakis, M. Heizmann, M. N. Mansur, C. Schilling, and V. Wüstholz, “Semantic fault localization and suspiciousness ranking,” in 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Prague, Czech Republic, 2019, vol. 11427, pp. 226–243.

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

S. M. Truckenbrodt, C. M. Sommer, S. O. Rizzoli, and J. G. Danzl, “A practical guide to optimization in  expansion microscopy,” Nature Protocols, vol. 14, no. 3. Nature Publishing Group, pp. 832–863, 2019.

D. Capek, M. Smutny, A. M. Tichy, M. Morri, H. L. Janovjak, and C.-P. J. Heisenberg, “Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration,” eLife, vol. 8. eLife Sciences Publications, 2019.

R. M. Merrill et al., “Genetic dissection of assortative mating behavior,” PLoS Biology, vol. 17, no. 2. Public Library of Science, 2019.

S. Yoshida et al., “A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis,” Nature Plants, vol. 5, no. 2. Springer Nature, pp. 160–166, 2019.

M. Kalaee, M. Mirhosseini, P. B. Dieterle, M. Peruzzo, J. M. Fink, and O. Painter, “Quantum electromechanics of a hypersonic crystal,” Nature Nanotechnology, vol. 14, no. 4. Springer Nature, pp. 334–339, 2019.

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

R. Faria et al., “Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes,” Molecular Ecology, vol. 28, no. 6. Wiley, pp. 1375–1393, 2019.

D. De Martino, “Feedback-induced self-oscillations in large interacting systems subjected to phase transitions,” Journal of Physics A: Mathematical and Theoretical, vol. 52, no. 4. IOP Publishing, 2019.

N. T. Henderson, S. J. Le Marchand, M. Hruska, S. Hippenmeyer, L. Luo, and M. B. Dalva, “Ephrin- controls excitatory synapse density through cell-cell competition for EphBs,” eLife, vol. 8. eLife Sciences Publications, 2019.

K. Mitosch, G. Rieckh, and M. T. Bollenbach, “Temporal order and precision of complex stress responses in individual bacteria,” Molecular systems biology, vol. 15, no. 2. Embo Press, 2019.

M. Kutzer, J. Kurtz, and S. A. O. Armitage, “A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance,” Journal of Animal Ecology, vol. 88, no. 4. Wiley, pp. 566–578, 2019.

P. Xia, D. J. Gütl, V. Zheden, and C.-P. J. Heisenberg, “Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity,” Cell, vol. 176, no. 6. Elsevier, p. 1379–1392.e14, 2019.

M. Kutzer, J. Kurtz, and S. A. O. Armitage, “Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance.” Dryad, 2019.

C. Sadel and D. Xu, “Singular analytic linear cocycles with negative infinite Lyapunov exponents,” Ergodic Theory and Dynamical Systems, vol. 39, no. 4. Cambridge University Press, pp. 1082–1098, 2019.

B. Le Feber, J. E. Sipe, M. Wulf, L. Kuipers, and N. Rotenberg, “A full vectorial mapping of nanophotonic light fields,” Light: Science and Applications, vol. 8, no. 1. Springer Nature, 2019.

P. Recho, A. Hallou, and E. B. Hannezo, “Theory of mechanochemical patterning in biphasic biological tissues,” Proceedings of the National Academy of Sciences of the United States of America, vol. 116, no. 12. National Academy of Sciences, pp. 5344–5349, 2019.

M. Roblek et al., “CCL2 is a vascular permeability factor inducing CC-dependent endothelial retraction during lung metastasis,” Molecular Cancer Research, vol. 17, no. 3. AACR, pp. 783–793, 2019.

N. H. Barton, J. Hermisson, and M. Nordborg, “Why structure matters,” eLife, vol. 8. eLife Sciences Publications, 2019.

M. Gerencser, “Boundary regularity of stochastic PDEs,” Annals of Probability, vol. 47, no. 2. Institute of Mathematical Statistics, pp. 804–834, 2019.

H. Rakusová, H. Han, P. Valosek, and J. Friml, “Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls,” The Plant Journal, vol. 98, no. 6. Wiley, pp. 1048–1059, 2019.

H. S. Davies et al., “An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments,” Matrix Biology, vol. 78–79. Elsevier, pp. 47–59, 2019.

T. D. Browning and L. Q. Hu, “Counting rational points on biquadratic hypersurfaces,” Advances in Mathematics, vol. 349. Elsevier, pp. 920–940, 2019.

Y. Wang, Z. Gong, J. Friml, and J. Zhang, “Nitrate modulates the differentiation of root distal stem cells,” Plant Physiology, vol. 180, no. 1. ASPB, pp. 22–25, 2019.

A. A. Temnov et al., “Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure,” Molecular Biology Reports. Springer, 2019.

A. R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, and H. G. L. Schwefel, “Resonant electro-optic frequency comb,” Nature, vol. 568, no. 7752. Springer Nature, pp. 378–381, 2019.

F. Stella, P. Baracskay, J. O’Neill, and J. L. Csicsvari, “Hippocampal reactivation of random trajectories resembling Brownian diffusion,” Neuron, vol. 102. Elsevier, pp. 450–461, 2019.

N. B. Budanur and M. Fleury, “State space geometry of the chaotic pilot-wave hydrodynamics,” Chaos: An Interdisciplinary Journal of Nonlinear Science, vol. 29, no. 1. AIP Publishing, 2019.

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

C. Schreck, C. Hafner, and C. Wojtan, “Fundamental solutions for water wave animation,” ACM Transactions on Graphics, vol. 38, no. 4. ACM, 2019.

B. Song, C. Plana, J. M. Lopez Alonso, and M. Avila, “Phase-field simulation of core-annular pipe flow,” International Journal of Multiphase Flow, vol. 117. Elsevier, pp. 14–24, 2019.

V. Pokusaeva et al., “An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape,” PLoS Genetics, vol. 15, no. 4. Public Library of Science, 2019.

H. F. Moussa et al., “Canonical PR controls sequence-independent propagation of Polycomb-mediated gene silencing,” Nature Communications, vol. 10, no. 1. Springer Nature, 2019.

G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649.

D. A. Abanin, E. Altman, I. Bloch, and M. Serbyn, “Colloquium: Many-body localization, thermalization, and entanglement,” Reviews of Modern Physics, vol. 91, no. 2. American Physical Society, 2019.

D. Field and C. Fraisse, “Breaking down barriers in morning glories,” Molecular ecology, vol. 28, no. 7. Wiley, pp. 1579–1581, 2019.

H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, and M. Fussenegger, “A modular degron library for synthetic circuits in mammalian cells,” Nature Communications, vol. 10, no. 1. Springer Nature, 2019.

C. Fraisse and J. J. Welch, “The distribution of epistasis on simple fitness landscapes,” Biology Letters, vol. 15, no. 4. Royal Society of London, 2019.

T. Éltes, M. Szoboszlay, M. K. Szigeti, and Z. Nusser, “Improved spike inference accuracy by estimating the peak amplitude of unitary [C+] transients in weakly GCaMf-expressing hippocampal pyramidal cells,” Journal of Physiology, vol. 597, no. 11. Wiley, pp. 2925–2947, 2019.

M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.

Y. Zhang et al., “Auxin-mediated statolith production for root gravitropism,” New Phytologist, vol. 224, no. 2. Wiley, pp. 761–774, 2019.

L. Noda-García et al., “Chance and pleiotropy dominate genetic diversity in complex bacterial environments,” Nature Microbiology, vol. 4, no. 7. Springer Nature, pp. 1221–1230, 2019.

M. E. Maes, G. Colombo, R. Schulz, and S. Siegert, “Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges,” Neuroscience Letters, vol. 707. Elsevier, 2019.

J. Guiu et al., “Tracing the origin of adult intestinal stem cells,” Nature, vol. 570. Springer Nature, pp. 107–111, 2019.

A.-M. Tichy, E. J. Gerrard, J. M. D. Legrand, R. M. Hobbs, and H. L. Janovjak, “Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions,” Journal of Molecular Biology, vol. 431, no. 17. Elsevier, pp. 3046–3055, 2019.