Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.

Certifying giant nonprimes
C. Hoffmann, P. Hubádek, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.

A Mecke-type characterization of the Dirichlet–Ferguson measure
L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28 (2023) 1–12.

Running Windows-applications on a Linux HPC cluster using WINE
A. Schlögl, S. Elefante, V.-V. Hodirnau, in:, ASHP - Austrian-Slovenian HPC Meeting 2023, EuroCC, 2023, pp. 59–59.

Cryo-EM software packages: A sys-admins point of view
S. Elefante, S. Stadlbauer, M.F. Alexander, A. Schlögl, in:, ASHP - Austrian-Slovenian HPC Meeting 2023, EuroCC, 2023, pp. 42–42.

Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries
K.R.B. Gert, K. Panser, J. Surm, B.S. Steinmetz, A. Schleiffer, L. Jovine, Y. Moran, F. Kondrashov, A. Pauli, Nature Communications 14 (2023).

Successive vertex orderings of fully regular graphs
L. Fang, H. Huang, J. Pach, G. Tardos, J. Zuo, Journal of Combinatorial Theory. Series A 199 (2023).

The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization
A.A. Vetrova, D.M. Kupaeva, A. Kizenko, T.S. Lebedeva, P. Walentek, N. Tsikolia, S.V. Kremnyov, Scientific Reports 13 (2023).

Effects of urban living environments on mental health in adults
J. Xu, N. Liu, E. Polemiti, L. Garcia-Mondragon, J. Tang, X. Liu, T. Lett, L. Yu, M.M. Nöthen, J. Feng, C. Yu, A. Marquand, G. Schumann, H. Walter, A. Heinz, M. Ralser, S. Twardziok, N. Vaidya, E. Serin, M. Jentsch, E. Hitchen, R. Eils, U.H. Taron, T. Schütz, K. Schepanski, J. Banks, T. Banaschewski, K. Jansone, N. Christmann, A. Meyer-Lindenberg, H. Tost, N. Holz, E. Schwarz, A. Stringaris, M. Neidhart, F. Nees, S. Siehl, O. A. Andreassen, L. T. Westlye, D. Van Der Meer, S. Fernandez, R. Kjelkenes, H. Ask, M. Rapp, M. Tschorn, S.J. Böttger, G. Novarino, L. Marr, M. Slater, G.F. Viapiana, F.E. Orosa, J. Gallego, A. Pastor, A. Forstner, P. Hoffmann, M. M. Nöthen, A. J. Forstner, I. Claus, A. Miller, S. Heilmann-Heimbach, P. Sommer, M. Boye, J. Wilbertz, K. Schmitt, V. Jirsa, S. Petkoski, S. Pitel, L. Otten, A.P. Athanasiadis, C. Pearmund, B. Spanlang, E. Alvarez, M. Sanchez, A. Giner, S. Hese, P. Renner, T. Jia, Y. Gong, Y. Xia, X. Chang, V. Calhoun, J. Liu, P. Thompson, N. Clinton, S. Desrivieres, A. H. Young, B. Stahl, G. Ogoh, Nature Medicine 29 (2023) 1456–1467.

Sobolev-type inequalities and eigenvalue growth on graphs with finite measure
B. Hua, M. Keller, M. Schwarz, M. Wirth, Proceedings of the American Mathematical Society 151 (2023) 3401–3414.

Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron
D.J. Mitrouskas, K. Mysliwy, R. Seiringer, Forum of Mathematics 11 (2023) 1–52.

CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).

Local solubility for a family of quadrics over a split quadric surface
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.

Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts
G.M. Grosjean, S.R. Waitukaitis, Physical Review Materials 7 (2023).

Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons
K. Eguchi, E. Le Monnier, R. Shigemoto, The Journal of Neuroscience 43 (2023) 4197–4216.

Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).

Multi-copper oxidases SK and SK coordinate cell wall formation using apoplastic redox-based reactions in roots
C. Chen, Y. Zhang, J. Cai, Y. Qiu, L. Li, C. Gao, Y. Gao, M. Ke, S. Wu, C. Wei, J. Chen, T. Xu, J. Friml, J. Wang, R. Li, D. Chao, B. Zhang, X. Chen, Z. Gao, Plant Physiology 192 (2023) 2243–2260.

Nitrate, auxin and cytokinin - a trio to tango
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).

Reactivity of single-atom alloy nanoparticles: Modeling the dehydrogenation of propane
R. Bunting, F. Wodaczek, T. Torabi, B. Cheng, Journal of the American Chemical Society 145 (2023) 14894–14902.

Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.