Pokusaeva, V., Diez, A. R., Espinar, L., Pérez, A. T., &; Filion, G. J. (2022). Strand asymmetry influences mismatch resolution during single-strand annealing. Genome Biology. Springer Nature.https://doi.org/10.1186/s13059-022-02665-3 

Doan, N., Hashemi, S. A., Mondelli, M., &; Gross, W. J. (2022). Decoding Reed-Muller codes with successive codeword permutations. IEEE Transactions on Communications. Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/tcomm.2022.3211101 

Anastos, M. (2022). Solving the Hamilton cycle problem fast on average. In 63rd Annual IEEE Symposium on Foundations of Computer Science (Vol. 2022–October, pp. 919–930). Denver, CO, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/FOCS54457.2022.00091 

Bogdanov, A., Cueto Noval, M., Hoffmann, C., &; Rosen, A. (2022). Public-Key Encryption from Homogeneous CLWE. In Theory of Cryptography (Vol. 13748, pp. 565–592). Chicago, IL, United States: Springer Nature.https://doi.org/10.1007/978-3-031-22365-5_20 

Agresti, A., Hieber, M., Hussein, A., &; Saal, M. (2022). The stochastic primitive equations with transport noise and turbulent pressure. Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature.https://doi.org/10.1007/s40072-022-00277-3 

Lechner, M. (2022). Learning verifiable representations. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11362 

Keszthelyi, Z., de Koter, A., Götberg, Y. L. L., Meynet, G., Brands, S. A., Petit, V.,https://doi.org/10.1093/mnras/stac2598__ud-Doula, A. (2022). The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at Solar, LMC, and SMC metallicities. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stac2598 

Keszthelyi, Z., Koter, A. de, Götberg, Y. L. L., Meynet, G., Brands, S. A., Petit, V.,https://doi.org/10.1093/mnras/stac2598__A. ud-Doula, A. ud-Doula. (2022). The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at solar, LMC, and SMC metallicities. Monthly Notices of the Royal Astronomical Society. Oxford Academic.https://doi.org/10.1093/mnras/stac2598 

Henheik, S. J., &; Lauritsen, A. B. (2022). The BCS energy gap at high density. Journal of Statistical Physics. Springer Nature.https://doi.org/10.1007/s10955-022-02965-9 

Avarikioti, G., Pietrzak, K. Z., Salem, I., Schmid, S., Tiwari, S., &; Yeo, M. X. (2022). Hide &; Seek: Privacy-preserving rebalancing on payment channel networks. In Financial Cryptography and Data Security (Vol. 13411, pp. 358–373). Grenada: Springer Nature.https://doi.org/10.1007/978-3-031-18283-9_17 

Doveri, K., Ganty, P., &; Mazzocchi, N. A. (2022). FORQ-based language inclusion formal testing. In Computer Aided Verification (Vol. 13372, pp. 109–129). Haifa, Israel: Springer Nature.https://doi.org/10.1007/978-3-031-13188-2_6 

Hoffmann, C., Hubádek, P., Kamath, C., Klein, K., &; Pietrzak, K. Z. (2022). Practical statistically-sound proofs of exponentiation in any group. In Advances in Cryptology – CRYPTO 2022 (Vol. 13508, pp. 370–399). Santa Barbara, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-15979-4_13 

Gelashvili, R., Kokoris Kogias, E., Sonnino, A., Spiegelman, A., &; Xiang, Z. (2022). Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback. In Financial Cryptography and Data Security (Vol. 13411, pp. 296–315). Radisson Grenada Beach Resort, Grenada: Springer Nature.https://doi.org/10.1007/978-3-031-18283-9_14 

Cohen, S., Gelashvili, R., Kokoris Kogias, E., Li, Z., Malkhi, D., Sonnino, A., &; Spiegelman, A. (2022). Be aware of your leaders. In International Conference on Financial Cryptography and Data Security (Vol. 13411, pp. 279–295). Grenada: Springer Nature.https://doi.org/10.1007/978-3-031-18283-9_13 

Meggendorfer, T. (2022). PET – A partial exploration tool for probabilistic verification. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 320–326). Virtual: Springer Nature.https://doi.org/10.1007/978-3-031-19992-9_20 

Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., &; Totzke, P. (2022). History-deterministic timed automata are not determinizable. In 16th International Conference on Reachability Problems (Vol. 13608, pp. 67–76). Kaiserslautern, Germany: Springer Nature.https://doi.org/10.1007/978-3-031-19135-0_5 

Rahaman, N., Weiss, M., Locatello, F., Pal, C., Bengio, Y., Schölkopf, B.,  Ballas, N. (2022). Neural attentive circuits. In 36th Conference on Neural Information Processing Systems (Vol. 35). New Orleans, United States.

Arroyo Guevara, A. M., &; Felsner, S. (2022). Approximating the bundled crossing number. In WALCOM 2022: Algorithms and Computation (Vol. 13174, pp. 383–395). Jember, Indonesia: Springer Nature.https://doi.org/10.1007/978-3-030-96731-4_31 

Confavreux, B. J., &; Vogels, T. P. (2022). A familiar thought: Machines that replace us? Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2022.01.014 

Su, L., Wang, D., Wang, S., Qin, B., Wang, Y., Qin, Y.,https://doi.org/10.1126/science.abn8997__Zhao, L. D. (2022). High thermoelectric performance realized through manipulating layered phonon-electron decoupling. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.abn8997