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 

Mondelli, M., &; Montanari, A. (2019). Fundamental limits of weak recovery with applications to phase retrieval. Foundations of Computational Mathematics. Springer.https://doi.org/10.1007/s10208-018-9395-y 

Boissonnat, J.-D., Rouxel-Labbé, M., &; Wintraecken, M. (2019). Anisotropic triangulations via discrete Riemannian Voronoi diagrams. SIAM Journal on Computing. Society for Industrial &; Applied Mathematics (SIAM).https://doi.org/10.1137/17m1152292 

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 

Mondelli, M., Hassani, H., &; Urbanke, R. (2019). Construction of polar codes with sublinear complexity. IEEE. IEEE.https://doi.org/10.1109/tit.2018.2889667 

Mondelli, M., &; Montanari, A. (2019). On the connection between learning two-layers neural networks and tensor  decomposition. In Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics (Vol. 89, pp. 1051–1060). Naha, Okinawa, Japan: Proceedings of Machine Learning Research.

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.

Shirer, K. R., Modic, K. A., Zimmerling, T., Bachmann, M. D., König, M., Moll, P. J. W.,https://doi.org/10.1063/1.5124568__Mackenzie, A. P. (2019). Out-of-plane transport in ZrSiS and ZrSiSe microstructures. APL Materials. AIP.https://doi.org/10.1063/1.5124568 

Modic, K. A., Meng, T., Ronning, F., Bauer, E. D., Moll, P. J. W., &; Ramshaw, B. J. (2019). Thermodynamic signatures of Weyl fermions in NbP. Scientific Reports. Springer Nature.https://doi.org/10.1038/s41598-018-38161-7 

Martino, E., Bachmann, M. D., Rossi, L., Modic, K. A., Zivkovic, I., Rønnow, H. M.,https://doi.org/10.1088/1361-648x/ab3b43__Katrych, S. (2019). Persistent antiferromagnetic order in heavily overdoped Cx La x FeA. Journal of Physics: Condensed Matter. IOP Publishing.https://doi.org/10.1088/1361-648x/ab3b43 

Torrini, C., Cubero, R. J., Dirkx, E., Braga, L., Ali, H., Prosdocimo, G.,https://doi.org/10.1016/j.celrep.2019.05.005__Giacca, M. (2019). Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation. Cell Reports. Elsevier.https://doi.org/10.1016/j.celrep.2019.05.005 

Cubero, R. J., Jo, J., Marsili, M., Roudi, Y., &; Song, J. (2019). Statistical criticality arises in most informative representations. Journal of Statistical Mechanics: Theory and Experiment. IOP Publishing.https://doi.org/10.1088/1742-5468/ab16c8 

Censor-Hillel, K., Kaski, P., Korhonen, J., Lenzen, C., Paz, A., &; Suomela, J. (2019). Algebraic methods in the congested clique. Distributed Computing. Springer Nature.https://doi.org/10.1007/s00446-016-0270-2 

Mourad, E., Petit, Y. K., Spezia, R., Samojlov, A., Summa, F. F., Prehal, C.,https://doi.org/10.1039/c9ee01453e__Freunberger, S. A. (2019). Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries. Energy &; Environmental Science. RSC.https://doi.org/10.1039/c9ee01453e 

Kwak, W.-J., Kim, H., Petit, Y. K., Leypold, C., Nguyen, T. T., Mahne, N.,https://doi.org/10.1038/s41467-019-09399-0__Sun, Y.-K. (2019). Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-019-09399-0 

Petit, Y. K., Leypold, C., Mahne, N., Mourad, E., Schafzahl, L., Slugovc, C.,https://doi.org/10.1002/anie.201901869__Freunberger, S. A. (2019). DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201901869 

Kwak, W.-J., Freunberger, S. A., Kim, H., Park, J., Nguyen, T. T., Jung, H.-G.,https://doi.org/10.1021/acscatal.9b01337__Sun, Y.-K. (2019). Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries. ACS Catalysis. ACS.https://doi.org/10.1021/acscatal.9b01337 

Freunberger, S. A. (2019). Interphase identity crisis. Nature Chemistry. Springer Nature.https://doi.org/10.1038/s41557-019-0311-0 

Petit, Y. K., &; Freunberger, S. A. (2019). Thousands of cycles. Nature Materials. Springer Nature.https://doi.org/10.1038/s41563-019-0313-8 

Prehal, C., &; Freunberger, S. A. (2019). Li-O2 cell-scale energy densities. Joule. Elsevier.https://doi.org/10.1016/j.joule.2019.01.020 

Watanabe, M., Haney, J. R., Vishlaghi, N., Turcios, F., Buth, J. E., Gu, W.,https://doi.org/10.1101/2019.12.13.875773__Novitch, B. G. (2019). TGF;2 superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids. bioRxiv. Cold Spring Harbor Laboratory.https://doi.org/10.1101/2019.12.13.875773 

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 

Andersen, M. S., Hannezo, E. B., Ulyanchenko, S., Estrach, S., Antoku, Y., Pisano, S.,https://doi.org/10.1038/s41556-019-0362-x__Jensen, K. B. (2019). Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states. Nature Cell Biology. Springer Nature.https://doi.org/10.1038/s41556-019-0362-x 

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 

Prehal, C., Samojlov, A., Nachtnebel, M., Kriechbaum, M., Amenitsch, H., &; Freunberger, S. A. (n.d.). A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering. ChemRxiv.

Delaneau, O., Zagury, J.-F., Robinson, M. R., Marchini, J. L., &; Dermitzakis, E. T. (2019). Accurate, scalable and integrative haplotype estimation. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-019-13225-y 

Sulc, J., Mounier, N., Günther, F., Winkler, T., Wood, A. R., Frayling, T. M.,  Kutalik, Z. (2019). Maximum likelihood method quantifies the overall contribution of gene-environment interaction to continuous traits: An application to complex traits in the UK Biobank. bioRxiv. Cold Spring Harbor Laboratory.

Currin, C. B., Khoza, P. N., Antrobus, A. D., Latham, P. E., Vogels, T. P., &; Raimondo, J. V. (2019). Think: Theory for Africa. PLOS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1007049 

Manohar, S. G., Zokaei, N., Fallon, S. J., Vogels, T. P., &; Husain, M. (2019). Neural mechanisms of attending to items in working memory. Neuroscience and Biobehavioral Reviews. Elsevier .https://doi.org/10.1016/j.neubiorev.2019.03.017