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 
LibreCat: https://research-explorer.ista.ac.at/record/13310
DOI: 10.1007/978-3-031-37703-7_17
arXiv: 2305.15979

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 
LibreCat: https://research-explorer.ista.ac.at/record/12205
DOI: 10.1245/s10434-022-12459-3
WoS: 000852125500006

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 
LibreCat: https://research-explorer.ista.ac.at/record/14259
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/14318
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/14317
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/13120
DOI: 10.4230/LIPIcs.ITP.2023.15
arXiv: 2302.06420

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 
LibreCat: https://research-explorer.ista.ac.at/record/10770
DOI: 10.1007/s13235-022-00425-3
WoS: 000753777100001

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 
LibreCat: https://research-explorer.ista.ac.at/record/12961
DOI: 10.1111/desc.13395
PMID: 37101383

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 
LibreCat: https://research-explorer.ista.ac.at/record/12709
DOI: 10.1007/s00454-022-00476-8
WoS: 000936496800001
arXiv: 2103.07823

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 
LibreCat: https://research-explorer.ista.ac.at/record/12763
DOI: 10.1007/s41468-023-00116-x

Tomaszewska, P., &; Lampert, C. (2023). On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift. In International Workshop on Reproducible Research in Pattern Recognition (Vol. 14068, pp. 67–73). Montreal, Canada: Springer Nature.https://doi.org/10.1007/978-3-031-40773-4_6 
LibreCat: https://research-explorer.ista.ac.at/record/14410
DOI: 10.1007/978-3-031-40773-4_6

Dodis, Y., Ferguson, N., Goldin, E., Hall, P., &; Pietrzak, K. Z. (2023). Random oracle combiners: Breaking the concatenation barrier for collision-resistance. In 43rd Annual International Cryptology Conference (Vol. 14082, pp. 514–546). Santa Barbara, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-38545-2_17 
LibreCat: https://research-explorer.ista.ac.at/record/14428
DOI: 10.1007/978-3-031-38545-2_17

Qiu, L., Sahu, R., Hease, W. J., Arnold, G. M., &; Fink, J. M. (2023). Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. Nature Communications. Nature Research.https://doi.org/10.1038/s41467-023-39493-3 
LibreCat: https://research-explorer.ista.ac.at/record/13200
DOI: 10.1038/s41467-023-39493-3
WoS: 001018100800002
PMID: 37355691
arXiv: 2210.12443

Dubach, G., &; Erdös, L. (2023). Dynamics of a rank-one perturbation of a Hermitian matrix. Electronic Communications in Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/23-ECP516 
LibreCat: https://research-explorer.ista.ac.at/record/12683
DOI: 10.1214/23-ECP516
WoS: 000950650200005
arXiv: 2108.13694

Browning, T. D., Boudec, P. L., &; Sawin, W. (2023). The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. Princeton University.https://doi.org/10.4007/annals.2023.197.3.3 
LibreCat: https://research-explorer.ista.ac.at/record/8682
DOI: 10.4007/annals.2023.197.3.3
WoS: 000966611000003
arXiv: 2006.02356

Hoffmann, C., &; Simkin, M. (2023). Stronger lower bounds for leakage-resilient secret sharing. In 8th International Conference on Cryptology and Information Security in Latin America (Vol. 14168, pp. 215–228). Quito, Ecuador: Springer Nature.https://doi.org/10.1007/978-3-031-44469-2_11 
LibreCat: https://research-explorer.ista.ac.at/record/14457
DOI: 10.1007/978-3-031-44469-2_11

Henzinger, T. A., Kueffner, K., &; Mallik, K. (2023). Monitoring algorithmic fairness under partial observations. In 23rd International Conference on Runtime Verification (Vol. 14245, pp. 291–311). Thessaloniki, Greece: Springer Nature.https://doi.org/10.1007/978-3-031-44267-4_15 
LibreCat: https://research-explorer.ista.ac.at/record/14454
DOI: 10.1007/978-3-031-44267-4_15
arXiv: 2308.00341

Brooks, M., &; Seiringer, R. (2023). The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy. Communications in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s00220-023-04841-3 
LibreCat: https://research-explorer.ista.ac.at/record/14441
DOI: 10.1007/s00220-023-04841-3
arXiv: 2207.03156

Rao, P., Mallikarjun, B. R., Fox, G., Weyrich, T., Bickel, B., Pfister, H.,https://doi.org/10.1007/s11263-023-01899-3__Elgharib, M. (2023). A deeper analysis of volumetric relightiable faces. International Journal of Computer Vision. Springer Nature.https://doi.org/10.1007/s11263-023-01899-3 
LibreCat: https://research-explorer.ista.ac.at/record/14488
DOI: 10.1007/s11263-023-01899-3

Beaver, D., Kelkar, M., Lewi, K., Nikolaenko, V., Sonnino, A., Chalkias, K.,https://doi.org/10.4230/LIPIcs.AFT.2023.7__Roy, A. (2023). STROBE: Streaming Threshold Random Beacons. In 5th Conference on Advances in Financial Technologies (Vol. 282). Princeton, NJ, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.AFT.2023.7 
LibreCat: https://research-explorer.ista.ac.at/record/14516
DOI: 10.4230/LIPIcs.AFT.2023.7