Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Approximating the bundled crossing number
A.M. Arroyo Guevara, S. Felsner, Journal of Graph Algorithms and Applications 27 (2023) 433–457.

Fast algorithms for solving the Hamilton cycle problem with high probability
M. Anastos, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 2286–2323.

Curvature in biological systems: Its quantification, emergence, and implications across the scales
B. Schamberger, R. Ziege, K. Anselme, M. Ben Amar, M. Bykowski, A.P.G. Castro, A. Cipitria, R.A. Coles, R. Dimova, M. Eder, S. Ehrig, L.M. Escudero, M.E. Evans, P.R. Fernandes, P. Fratzl, L. Geris, N. Gierlinger, E.B. Hannezo, A. Iglid, J.J.K. Kirkensgaard, P. Kollmannsberger, . Kowalewska, N.A. Kurniawan, I. Papantoniou, L. Pieuchot, T.H.V. Pires, L.D. Renner, A.O. Sageman-Furnas, G.E. Schröder-Turk, A. Sengupta, V.R. Sharma, A. Tagua, C. Tomba, X. Trepat, S.L. Waters, E.F. Yeo, A. Roschger, C.M. Bidan, J.W.C. Dunlop, Advanced Materials 35 (2023).

Disequilibrating azoarenes by visible-light sensitization under confinement
J. Gemen, J.R. Church, T.-P. Ruoko, N. Durandin, M.J. Biaek, M. Weissenfels, M. Feller, M. Kazes, V.A. Borin, M. Odaybat, R. Kalepu, Y. Diskin-Posner, D. Oron, M.J. Fuchter, A. Priimagi, I. Schapiro, R. Klajn, Science 381 (2023) 1357–1363.

Structure and elasticity of model disordered, polydisperse, and defect-free polymer networks
V. Sorichetti, A. Ninarello, J. Ruiz-Franco, V. Hugouvieux, E. Zaccarelli, C. Micheletti, W. Kob, L. Rovigatti, Journal of Chemical Physics 158 (2023).

Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).

Source data for the manuscript "CC acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration"
M.C. Ucar, (2023).

Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.

Where do mistakes lead? A survey of games with incompetent players
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.

Ergodic decomposition of Dirichlet forms via direct integrals and applications
L. Dello Schiavo, Potential Analysis 58 (2023) 573–615.

Beyond transcription: compelling open questions in plant RNA biology
P.A. Manavella, M.A. Godoy Herz, A.R. Kornblihtt, R. Sorenson, L.E. Sieburth, K. Nakaminami, M. Seki, Y. Ding, Q. Sun, H. Kang, F.D. Ariel, M. Crespi, A.J. Giudicatti, Q. Cai, H. Jin, X. Feng, Y. Qi, C.S. Pikaard, The Plant Cell 35 (2023).

Asymmetric Ramsey properties of random graphs involving cliques and cycles
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.

Small deviation estimates for the largest eigenvalue of Wigner matrices
L. Erdös, Y. Xu, Bernoulli 29 (2023) 1063–1079.

Optical manipulation of Layer–Valley coherence via strong exciton–photon coupling in microcavities
M. Khatoniar, N. Yama, A. Ghazaryan, S. Guddala, P. Ghaemi, K. Majumdar, V. Menon, Advanced Optical Materials 11 (2023).

Homogenisation of dynamical optimal transport on periodic graphs
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Calculus of Variations and Partial Differential Equations 62 (2023).

Thermoelectric performance of surface-engineered Cu1.5–xTe–Cu2Se nanocomposites
C. Xing, Y. Zhang, K. Xiao, X. Han, Y. Liu, B. Nan, M.G. Ramon, K.H. Lim, J. Li, J. Arbiol, B. Poudel, A. Nozariasbmarz, W. Li, M. Ibáñez, A. Cabot, ACS Nano 17 (2023) 8442–8452.

A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence
B. Wagner, V. Slipogor, J. Oh, M. Varga, M. Hoeschele, Developmental Science 26 (2023).

Marked Length Spectral determination of analytic chaotic billiards with axial symmetries
J. De Simoi, V. Kaloshin, M. Leguil, Inventiones Mathematicae 233 (2023) 829–901.

Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.