Learning verifiable representations
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.

The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at Solar, LMC, and SMC metallicities
Z. Keszthelyi, A. de Koter, Y.L.L. Götberg, G. Meynet, S.A. Brands, V. Petit, M. Carrington, A. David-Uraz, S.T. Geen, C. Georgy, R. Hirschi, J. Puls, K.J. Ramalatswa, M.E. Shultz, A. ud-Doula, Monthly Notices of the Royal Astronomical Society 517 (2022) 2028–2055.

A panchromatic study of massive stars in the extremely metal-poor local group dwarf galaxy Leo A
M. Gull, D.R. Weisz, P. Senchyna, N.R. Sandford, Y. Choi, A.F. McLeod, K. El-Badry, Y.L.L. Götberg, K.M. Gilbert, M. Boyer, J.J. Dalcanton, P. GuhaThakurta, S. Goldman, P. Marigo, K.B.W. McQuinn, G. Pastorelli, D.P. Stark, E. Skillman, Y. Ting, B.F. Williams, The Astrophysical Journal 941 (2022).

Ultrafast renormalization of the on-site Coulomb repulsion in a cuprate superconductor
D.R. Baykusheva, H. Jang, A.A. Husain, S. Lee, S.F.R. TenHuisen, P. Zhou, S. Park, H. Kim, J.-K. Kim, H.-D. Kim, M. Kim, S.-Y. Park, P. Abbamonte, B.J. Kim, G.D. Gu, Y. Wang, M. Mitrano, Physical Review X 12 (2022).

Femtosecond photoelectron circular dichroism of chemical reactions
V. Svoboda, N.B. Ram, D.R. Baykusheva, D. Zindel, M.D.J. Waters, B. Spenger, M. Ochsner, H. Herburger, J. Stohner, H.J. Wörner, Science Advances 8 (2022).

Attosecond photoionization dynamics: from molecules over clusters to the liquid phase
X. Gong, I. Jordan, M. Huppert, S. Heck, D.R. Baykusheva, D. Jelovina, A. Schild, H.J. Wörner, Chimia 76 (2022) 520–528.

The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at solar, LMC, and SMC metallicities
Z. Keszthelyi, A. de Koter, Y.L.L. Götberg, G. Meynet, S.A. Brands, V. Petit, M. Carrington, A.D.-U. A. David-Uraz, S.T. Geen, C. Georgy, R. Hirschi, J. Puls, K.J. Ramalatswa, M.E. Shultz, A. ud-Doula A. ud-Doula, Monthly Notices of the Royal Astronomical Society 517 (2022) 2028–2055.

Spin-down and reduced mass loss in early-type stars with large-scale magnetic fields
Z. Keszthelyi, A. de Koter, Y.L.L. Götberg, G. Meynet, S.A. Brands, V. Petit, M. Carrington, A.D.-U. A. David-Uraz, S.T. Geen, C. Georgy, R. Hirschi, J. Puls, K.J. Ramalatswa, M.E. Shultz, A. ud-Doula A. ud-Doula, ArXiv (n.d.).

Incremental approximate maximum flow in m1/2+o(1) update time
G. Goranci, M.H. Henzinger, ArXiv (n.d.).

Affine dimers from characteristic polygons
D. Holmes, PUMP Journal of Undergraduate Research 5 (2022) 24–51.

Controlling cluster size in 2D phase-separating binary mixtures with specific interactions
I. Palaia, A. Sari, The Journal of Chemical Physics 156 (2022).

Localization of a mobile impurity interacting with an Anderson insulator
P. Brighi, A. Michailidis, K. Kirova, D.A. Abanin, M. Serbyn, Physical Review B 105 (2022).

Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.

The BCS energy gap at high density
S.J. Henheik, A.B. Lauritsen, Journal of Statistical Physics 189 (2022).

Hide & Seek: Privacy-preserving rebalancing on payment channel networks
G. Avarikioti, K.Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, M.X. Yeo, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 358–373.

FORQ-based language inclusion formal testing
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.

Practical statistically-sound proofs of exponentiation in any group
C. Hoffmann, P. Hubádek, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.

Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback
R. Gelashvili, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, Z. Xiang, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 296–315.

Be aware of your leaders
S. Cohen, R. Gelashvili, E. Kokoris Kogias, Z. Li, D. Malkhi, A. Sonnino, A. Spiegelman, in:, International Conference on Financial Cryptography and Data Security, Springer Nature, 2022, pp. 279–295.

History-deterministic timed automata are not determinizable
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.