Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature.https://doi.org/10.1007/978-3-030-44914-8_5 

Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K., &; Pavlogiannis, A. (2020). Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In Automated Technology for Verification and Analysis (Vol. 12302, pp. 253–270). Hanoi, Vietnam: Springer Nature.https://doi.org/10.1007/978-3-030-59152-6_14 

Chatterjee, K., Fu, H., Goharshady, A. K., &; Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 672–687). London, United Kingdom: Association for Computing Machinery.https://doi.org/10.1145/3385412.3385969 

Goharshady, A. K., &; Mohammadi, F. (2020). An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. Elsevier.https://doi.org/10.1016/j.ress.2019.106665 

Shehu, Y., Gibali, A., &; Sagratella, S. (2020). Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. Springer Nature.https://doi.org/10.1007/s10957-019-01616-6 

Tomanek, I., Grah, R., Lagator, M., Andersson, A. M. C., Bollback, J. P., Tkadik, G., &; Guet, C. C. (2020). Gene amplification as a form of population-level gene expression regulation. Nature Ecology &; Evolution. Springer Nature.https://doi.org/10.1038/s41559-020-1132-7 

Scarselli, D. (2020). New approaches to reduce friction in turbulent pipe flow. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7258 

Tomanek, I. (2020). The evolution of gene expression by copy number and point mutations. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8653 

Tan, S., Abas, M. F., Verstraeten, I., Glanc, M., Molnar, G., Hajny, J.,https://doi.org/10.1016/j.cub.2019.11.058__Friml, J. (2020). Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2019.11.058 

Mazur, E., Kulik, I., Hajny, J., &; Friml, J. (2020). Auxin canalization and vascular tissue formation by TI/AFB-mediated auxin signaling in arabidopsis. New Phytologist. Wiley.https://doi.org/10.1111/nph.16446 

Hajny, J. (2020). Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8822 

Shamipour, S. (2020). Bulk actin dynamics drive phase segregation in zebrafish oocytes . Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8350 

Hansen, A. H., &; Hippenmeyer, S. (2020). Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. Frontiers.https://doi.org/10.3389/fcell.2020.574382 

Beattie, R. J., Streicher, C., Amberg, N., Cheung, G. T., Contreras, X., Hansen, A. H., &; Hippenmeyer, S. (2020). Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM). Journal of Visual Experiments. MyJove Corporation.https://doi.org/10.3791/61147 

Contreras, X. (2020). Genetic dissection of neural development in health and disease at single cell resolution. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7902 

Sixt, M. K., &; Huttenlocher, A. (2020). Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.202007029 

Zhang, Y., Rodriguez Solovey, L., Li, L., Zhang, X., &; Friml, J. (2020). Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. AAAS.https://doi.org/10.1126/sciadv.abc8895 

Chen, H., Lai, L., Li, L., Liu, L., Jakada, B. H., Huang, Y.,https://doi.org/10.3390/ijms21165727__Qin, Y. (2020). AcoMY, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. MDPI.https://doi.org/10.3390/ijms21165727 

Johnson, A. J., Gnyliukh, N., Kaufmann, W., Narasimhan, M., Vert, G., Bednarek, S., &; Friml, J. (2020). Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. The Company of Biologists.https://doi.org/10.1242/jcs.248062 

Semerádová, H., Montesinos López, J. C., &; Benková, E. (2020). All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. Elsevier.https://doi.org/10.1016/j.xplc.2020.100048 

Frehse, G., Abate, A., Adzkiya, D., Becchi, A., Bu, L., Cimatti, A.,https://doi.org/10.29007/rjwn__Zaffanella, E. (2019). ARCH-COM Category Report: Hybrid systems with piecewise constant dynamics. In G. Frehse &; M. Althoff (Eds.), ARC. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (Vol. 61, pp. 1–13). Montreal, Canada: EasyChair.https://doi.org/10.29007/rjwn 

Kalinin, N., &; Shkolnikov, M. (2019). Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. Springer Nature.https://doi.org/10.1007/s40879-018-0218-0 

Asaoka, Y., Morita, H., Furumoto, H., Heisenberg, C.-P. J., &; Furutani-Seiki, M. (2019). Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids. In A. Hergovich (Ed.), The hippo pathway (Vol. 1893, pp. 167–181). Springer.https://doi.org/10.1007/978-1-4939-8910-2_14 

Demay, G., Gazi, P., Maurer, U., &; Tackmann, B. (2019). Per-session security: Password-based cryptography revisited. Journal of Computer Security. IOS Press.https://doi.org/10.3233/JCS-181131 

Dyer, R., Vegter, G., &; Wintraecken, M. (2019). Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . Carleton University.https://doi.org/10.20382/jocg.v10i1a9 

Pietrzak, K. Z. (2019). Simple verifiable delay functions. In 10th Innovations in Theoretical Computer Science Conference (Vol. 124). San Diego, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.ITCS.2019.60 

Kundu, A., Garcia Soto, M., &; Prabhakar, P. (2019). Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In 5th Indian Control Conference Proceedings. Delhi, India: IEEE.https://doi.org/10.1109/INDIANCC.2019.8715598 

Vegter, G., &; Wintraecken, M. (2019). The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds. In The 31st Canadian Conference in Computational Geometry (pp. 275–279). Edmonton, Canada.

Edelsbrunner, H., Virk, Z., &; Wagner, H. (2019). Topological data analysis in information space. In 35th International Symposium on Computational Geometry (Vol. 129, p. 31:1-31:14). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.SOCG.2019.31 

Zenmyo, N., Tokumaru, H., Uchinomiya, S., Fuchida, H., Tabata, S., Hamachi, I.,https://doi.org/10.1246/bcsj.20190034__Ojida, A. (2019). 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. Bulletin of the Chemical Society of Japan.https://doi.org/10.1246/bcsj.20190034 

Kolmogorov, V. (2019). Testing the complexity of a valued CSP language. In 46th International Colloquium on Automata, Languages and Programming (Vol. 132, p. 77:1-77:12). Patras, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.ICALP.2019.77 

Walter, M. (2019). Sampling the integers with low relative error. In J. Buchmann, A. Nitaj, &; T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019 (Vol. 11627, pp. 157–180). Cham: Springer Nature.https://doi.org/10.1007/978-3-030-23696-0_9 

Hashemi, S. A., Condo, C., Mondelli, M., &; Gross, W. J. (2019). Rate-flexible fast polar decoders. IEEE Transactions on Signal Processing. IEEE.https://doi.org/10.1109/TSP.2019.2944738 

Jelínek, V., &; Töpfer, M. (2019). On grounded L-graphs and their relatives. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics.https://doi.org/10.37236/8096 

Avni, G., Henzinger, T. A., Ibsen-Jensen, R., &; Novotny, P. (2019). Bidding games on Markov decision processes. In https://doi.org/10.1007/978-3-030-30806-3_1__Proceedings of the 13th International Conference of Reachability Problems (Vol. 11674, pp. 1–12). Brussels, Belgium: Springer.https://doi.org/10.1007/978-3-030-30806-3_1 

Chatterjee, K., Dvorák, W., Henzinger, M. H., &; Svozil, A. (2019). Near-linear time algorithms for Streett objectives in graphs and MDPs. In Leibniz International Proceedings in Informatics (Vol. 140). Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.7 

Lechner, M., Hasani, R., Zimmer, M., Henzinger, T. A., &; Grosu, R. (2019). Designing worm-inspired neural networks for interpretable robotic control. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 2019–May). Montreal, QC, Canada: IEEE.https://doi.org/10.1109/icra.2019.8793840 

Aghajohari, M., Avni, G., &; Henzinger, T. A. (2019). Determinacy in discrete-bidding infinite-duration games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.20 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2019). Long-run average behavior of vector addition systems with states (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.27 

Chatterjee, K., &; Piterman, N. (2019). Combinations of Qualitative Winning for Stochastic Parity Games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.6 

Nowak, T., &; Rybicki, J. (2019). Byzantine approximate agreement on graphs. In 33rd International Symposium on Distributed Computing (Vol. 146, p. 29:1--29:17). Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.DISC.2019.29 

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. In Proceedings of the International Joint Conference on Neural Networks. Budapest, Hungary: IEEE.https://doi.org/10.1109/ijcnn.2019.8851954 

Mondelli, M., Hassani, S. H., &; Urbanke, R. (2019). A new coding paradigm for the primitive relay channel. Algorithms. MDPI.https://doi.org/10.3390/a12100218 

Geher, G. P., Titkos, T., &; Virosztek, D. (2019). Dirac masses and isometric rigidity. In Kyoto RIMS Kôkyûroku (Vol. 2125, pp. 34–41). Kyoto, Japan: Research Institute for Mathematical Sciences, Kyoto University.

Kersting, K., Lampert, C., &; Rothkopf, C. (Eds.). (2019). Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt (1st ed.). Wiesbaden: Springer Nature.https://doi.org/10.1007/978-3-658-26763-6 

Fulek, R., &; Kyncl, J. (2019). Z_2-Genus of graphs and minimum rank of partial symmetric matrices. In 35th International Symposium on Computational Geometry (SoCG 2019) (Vol. 129). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.SOCG.2019.39 

Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., &; Mikudionis, M. (2019). Continuous-time models for system design and analysis. In B. Steffen &; G. Woeginger (Eds.), Computing and Software Science (Vol. 10000, pp. 452–477). Springer Nature.https://doi.org/10.1007/978-3-319-91908-9_22 

Portinale, L., &; Stefanelli, U. (2019). Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. Gakko Tosho.

Bialek, W., Gregor, T., &; Tkadik, G. (n.d.). Action at a distance in transcriptional regulation. arXiv:1912.08579. ArXiv.

Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M.,https://doi.org/10.29007/m75b__Schilling, C. (2019). ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 61, pp. 41–61). Montreal, Canada: EasyChair Publications.https://doi.org/10.29007/m75b 

Betea, D., Bouttier, J., Nejjar, P., &; Vuletíc, M. (2019). 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: Formal Power Series and Algebraic Combinatorics.

Althoff, M., Bak, S., Forets, M., Frehse, G., Kochdumper, N., Ray, R.,https://doi.org/10.29007/bj1w__Schupp, S. (2019). ARCH-COM Category Report: Continuous and hybrid systems with linear continuous dynamics. In EPiC Series in Computing (Vol. 61, pp. 14–40). Montreal, Canada: EasyChair.https://doi.org/10.29007/bj1w 

Kim, M. Y., Ono, A., Scholten, S., Kinoshita, T., Zilberman, D., Okamoto, T., &; Fischer, R. L. (2019). DNA demethylation by ROa in rice vegetative cells promotes methylation in sperm. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1821435116 

Antoniou, M. N., Nicolas, A., Mesnage, R., Biserni, M., Rao, F. V., &; Martin, C. V. (2019). Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. BMC Research Notes. BioMed Central.https://doi.org/10.1186/s13104-019-4534-3 

Antoniou, M. N., Nicolas, A., Mesnage, R., Biserni, M., Rao, F. V., &; Martin, C. V. (2019). MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. Springer Nature.https://doi.org/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.https://doi.org/10.5061/dryad.5vv37 

Harris, K. D., Lloyd, J. P. B., Domb, K., Zilberman, D., &; Zemach, A. (2019). DNA methylation is maintained with high fidelity in the honey bee germline and exhibits global non-functional fluctuations during somatic development. Epigenetics and Chromatin. Springer Nature.https://doi.org/10.1186/s13072-019-0307-4 

He, S., Vickers, M., Zhang, J., &; Feng, X. (2019). Natural depletion of histonehttps://doi.org/10.7554/elife.42530__in sex cells causes DNA demethylation, heterochromatin decondensation and transposon activation. ELife. eLife Sciences Publications, Ltd.https://doi.org/10.7554/elife.42530 

Lawrence, E. J., Gao, H., Tock, A. J., Lambing, C., Blackwell, A. R., Feng, X., &; Henderson, I. R. (2019). Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis. Current Biology. Elsevier BV.https://doi.org/10.1016/j.cub.2019.06.084 

Schlögl, A., Kiss, J., &; Elefante, S. (2019). Is Debian suitable for running an HPC Cluster? In AHP - Austrian HPC Meeting 2019  (p. 25). Grundlsee, Austria: Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz.

Aichholzer, O., Akitaya, H. A., Cheung, K. C., Demaine, E. D., Demaine, M. L., Fekete, S. P.,  Schmidt, C. (2019). Folding polyominoes with holes into a cube. In Proceedings of the 31st Canadian Conference on Computational Geometry (pp. 164–170). Edmonton, Canada: Canadian Conference on Computational Geometry.

Avni, G., Henzinger, T. A., &; Zikelic, D. (2019). Bidding mechanisms in graph games (Vol. 138). Presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.MFCS.2019.11 

Ucar, M. C., &; Lipowsky, R. (2019). Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding. American Chemical Society .https://doi.org/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. Springer Nature.https://doi.org/10.1007/s41468-019-00029-8 

Gerencser, M., &; Gyöngy, I. (2019). A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and Their Applications. Elsevier.https://doi.org/10.1016/j.spa.2018.04.003 

Deuchert, A., Seiringer, R., &; Yngvason, J. (2019). Bose–Einstein condensation in a dilute, trapped gas at positive temperature. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-018-3239-0 

Faria, R., Johannesson, K., Butlin, R. K., &; Westram, A. M. (2019). Evolving inversions. Trends in Ecology and Evolution. Elsevier.https://doi.org/10.1016/j.tree.2018.12.005 

Hausel, T., Mereb, M., &; Wong, M. (2019). Arithmetic and representation theory of wild character varieties. Journal of the European Mathematical Society. European Mathematical Society.https://doi.org/10.4171/JEMS/896 

Marsh, A., Novarino, G., Lockhart, P., &; Leventer, R. (2019). CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63. European Journal of Human Genetics. Springer Nature.https://doi.org/10.1038/s41431-018-0231-2 

Dareiotis, K., Gerencser, M., &; Gess, B. (2019). Entropy solutions for stochastic porous media equations. Journal of Differential Equations. Elsevier.https://doi.org/10.1016/j.jde.2018.09.012 

Mócsai, R., Figl, R., Troschl, C., Strasser, R., Svehla, E., Windwarder, M.,https://doi.org/10.1038/s41598-018-36884-1__Altmann, F. (2019). N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/s41598-018-36884-1 

Lee, E., Vanneste, S., Pérez-Sancho, J., Benitez-Fuente, F., Strelau, M., Macho, A. P.,https://doi.org/10.1073/pnas.1818099116__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. National Academy of Sciences.https://doi.org/10.1073/pnas.1818099116 

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. Taylor and Francis.https://doi.org/10.1080/23818107.2018.1545142 

Chaplick, S., Fulek, R., &; Klavík, P. (2019). Extending partial representations of circle graphs. Journal of Graph Theory. Wiley.https://doi.org/10.1002/jgt.22436 

Virosztek, D. (2019). Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. Elsevier.https://doi.org/10.1016/j.laa.2018.03.002 

Browning, T. D., &; Loughran, D. (2019). Sieving rational points on varieties. Transactions of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/tran/7514 

Gerencser, M., &; Hairer, M. (2019). Singular SPDEs in domains with boundaries. Probability Theory and Related Fields. Springer.https://doi.org/10.1007/s00440-018-0841-1 

Ajanki, O. H., Erdös, L., &; Krüger, T. H. (2019). Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. Springer.https://doi.org/10.1007/s00440-018-0835-z 

Chatterjee, B., Peri, S., Sa, M., &; Singhal, N. (2019). A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries. In ACM International Conference Proceeding Series (pp. 168–177). Bangalore, India: ACM.https://doi.org/10.1145/3288599.3288617 

Fulek, R., &; Pach, J. (2019). Thrackles: An improved upper bound. Discrete Applied Mathematics. Elsevier.https://doi.org/10.1016/j.dam.2018.12.025 

Corominas-Murtra, B. (2019). Thermodynamics of duplication thresholds in synthetic protocell systems. Life. MDPI.https://doi.org/10.3390/life9010009 

Lindner, M., Tresztenyak, A., Fülöp, G., Jahr, W., Prinz, A., Prinz, I.,https://doi.org/10.3389/fchem.2018.00655__Sevcsik, E. (2019). A fast and simple contact printing approach to generate 2D protein nanopatterns. Frontiers in Chemistry. Frontiers Media S.A.https://doi.org/10.3389/fchem.2018.00655 

Gerencser, M., &; Hairer, M. (2019). A solution theory for quasilinear singular SPDEs. Communications on Pure and Applied Mathematics. Wiley.https://doi.org/10.1002/cpa.21816 

Fu, H., &; Chatterjee, K. (2019). Termination of nondeterministic probabilistic programs. In International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 11388, pp. 468–490). Cascais, Portugal: Springer Nature.https://doi.org/10.1007/978-3-030-11245-5_22 

Petkova, M. D., Tkadik, G., Bialek, W., Wieschaus, E. F., &; Gregor, T. (2019). Optimal decoding of cellular identities in a genetic network. Cell. Cell Press.https://doi.org/10.1016/j.cell.2019.01.007 

Klotz, L., Gumowski, K., &; Wesfreid, J. E. (2019). Experiments on a jet in a crossflow in the low-velocity-ratio regime. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2018.974 

Christakis, M., Heizmann, M., Mansur, M. N., Schilling, C., &; Wüstholz, V. (2019). Semantic fault localization and suspiciousness ranking. In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems  (Vol. 11427, pp. 226–243). Prague, Czech Republic: Springer Nature.https://doi.org/10.1007/978-3-030-17462-0_13 

Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., &; Schilling, C. (2019). JuliaReach: A toolbox for set-based reachability. In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control (Vol. 22, pp. 39–44). Montreal, QC, Canada: ACM.https://doi.org/10.1145/3302504.3311804 

Truckenbrodt, S. M., Sommer, C. M., Rizzoli, S. O., &; Danzl, J. G. (2019). A practical guide to optimization inhttps://doi.org/10.1038/s41596-018-0117-3__expansion microscopy. Nature Protocols. Nature Publishing Group.https://doi.org/10.1038/s41596-018-0117-3 

Capek, D., Smutny, M., Tichy, A. M., Morri, M., Janovjak, H. L., &; Heisenberg, C.-P. J. (2019). Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.42093 

Merrill, R. M., Rastas, P., Martin, S. H., Melo Hurtado, M. C., Barker, S., Davey, J.,https://doi.org/10.1371/journal.pbio.2005902__Jiggins, C. D. (2019). Genetic dissection of assortative mating behavior. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.2005902 

Yoshida, S., Van Der Schuren, A., Van Dop, M., Van Galen, L., Saiga, S., Adibi, M.,https://doi.org/10.1038/s41477-019-0363-6__Weijers, D. (2019). A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis. Nature Plants. Springer Nature.https://doi.org/10.1038/s41477-019-0363-6 

Kalaee, M., Mirhosseini, M., Dieterle, P. B., Peruzzo, M., Fink, J. M., &; Painter, O. (2019). Quantum electromechanics of a hypersonic crystal. Nature Nanotechnology. Springer Nature.https://doi.org/10.1038/s41565-019-0377-2 

Akopyan, A., &; Fedorov, R. (2019). Two circles and only a straightedge. Proceedings of the American Mathematical Society. AMS.https://doi.org/10.1090/proc/14240 

Merrill, R. M., Rastas, P., Martin, S. H., Melo Hurtado, M. C., Barker, S., Davey, J.,https://doi.org/10.1371/journal.pbio.2005902.s006__Jiggins, C. D. (2019). Raw behavioral data. Public Library of Science.https://doi.org/10.1371/journal.pbio.2005902.s006 

Faria, R., Chaube, P., Morales, H. E., Larsson, T., Lemmon, A. R., Lemmon, E. M.,https://doi.org/10.1111/mec.14972__Butlin, R. K. (2019). Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes. Molecular Ecology. Wiley.https://doi.org/10.1111/mec.14972 

De Martino, D. (2019). Feedback-induced self-oscillations in large interacting systems subjected to phase transitions. Journal of Physics A: Mathematical and Theoretical. IOP Publishing.https://doi.org/10.1088/1751-8121/aaf2dd 

Henderson, N. T., Le Marchand, S. J., Hruska, M., Hippenmeyer, S., Luo, L., &; Dalva, M. B. (2019). Ephrin- controls excitatory synapse density through cell-cell competition for EphBs. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.41563 

Mitosch, K., Rieckh, G., &; Bollenbach, M. T. (2019). Temporal order and precision of complex stress responses in individual bacteria. Molecular Systems Biology. Embo Press.https://doi.org/10.15252/msb.20188470 

Kutzer, M., Kurtz, J., &; Armitage, S. A. O. (2019). A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Journal of Animal Ecology. Wiley.https://doi.org/10.1111/1365-2656.12953