Karle, V., Ghazaryan, A., &; Lemeshko, M. (2023). Topological charges of periodically kicked molecules. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.130.103202 

Ljubotina, M., Desaules, J. Y., Serbyn, M., &; Papi, Z. (2023). Superdiffusive energy transport in kinetically constrained models. Physical Review X. American Physical Society.https://doi.org/10.1103/PhysRevX.13.011033 

Clozeau, N., Josien, M., Otto, F., &; Xu, Q. (2023). Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics. Springer Nature.https://doi.org/10.1007/s10208-023-09613-y 

Madani, A., Sletten, E. T., Cavedon, C., Seeberger, P. H., &; Pieber, B. (2023). Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-;1-D-glucofuranose. Organic Syntheses. Organic Syntheses.https://doi.org/10.15227/orgsyn.100.0271 

Wang, S., Chang, C., Bai, S., Qin, B., Zhu, Y., Zhan, S.,https://doi.org/10.1021/acs.chemmater.2c03542__Zhao, L. D. (2023). Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. American Chemical Society.https://doi.org/10.1021/acs.chemmater.2c03542 

Yeung, J., Florescu, M., Zeller, P., De Barbanson, B. A., Wellenstein, M. D., &; Van Oudenaarden, A. (2023). scChIX-seq infers dynamic relationships between histone modifications in single cells. Nature Biotechnology. Springer Nature.https://doi.org/10.1038/s41587-022-01560-3 

Boccato, C., &; Seiringer, R. (2023). The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. Springer Nature.https://doi.org/10.1007/s00023-022-01252-3 

Hales, J., Bajpai, U., Liu, T., Baykusheva, D. R., Li, M., Mitrano, M., &; Wang, Y. (2023). Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-023-38540-3 

Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:13175 

Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12900 

Henzinger, T. A., Karimi, M., Kueffner, K., &; Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-37703-7_17 

Glajzer, J., Castillo-Tong, D. C., Richter, R., Vergote, I., Kulbe, H., Vanderstichele, A.,https://doi.org/10.1245/s10434-022-12459-3__Braicu, E. I. (2023). Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium. Annals of Surgical Oncology. Springer Nature.https://doi.org/10.1245/s10434-022-12459-3 

Kretinsky, J., Meggendorfer, T., Prokop, M., &; Rieder, S. (2023). Guessing winning policies in LTL synthesis by semantic learning. In 35th International Conference on Computer Aided Verification  (Vol. 13964, pp. 390–414). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-37706-8_20 

Sun, Y., Fu, H., Chatterjee, K., &; Goharshady, A. K. (2023). Automated tail bound analysis for probabilistic recurrence relations. In Computer Aided Verification (Vol. 13966, pp. 16–39). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-37709-9_2 

Akshay, S., Chatterjee, K., Meggendorfer, T., &; Zikelic, D. (2023). MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In International Conference on Computer Aided Verification (Vol. 13966, pp. 86–112). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-37709-9_5 

Dvorak, M., &; Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.ITP.2023.15 

Graham, T., Kleshnina, M., &; Filar, J. A. (2023). Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. Springer Nature.https://doi.org/10.1007/s13235-022-00425-3 

Wagner, B., Slipogor, V., Oh, J., Varga, M., &; Hoeschele, M. (2023). A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence. Developmental Science. Wiley.https://doi.org/10.1111/desc.13395 

Corbet, R., Kerber, M., Lesnick, M., &; Osang, G. F. (2023). Computing the multicover bifiltration. Discrete and Computational Geometry. Springer Nature.https://doi.org/10.1007/s00454-022-00476-8 

Boissonnat, J. D., &; Wintraecken, M. (2023). The reach of subsets of manifolds. Journal of Applied and Computational Topology. Springer Nature.https://doi.org/10.1007/s41468-023-00116-x