Keszthelyi Z, Koter A de, Götberg YLL, et al. Spin-down and reduced mass loss in early-type stars with large-scale magnetic fields. arXiv. doi:10.48550/arXiv.2211.07060
LibreCat: https://research-explorer.ista.ac.at/record/14099
DOI: 10.48550/arXiv.2211.07060
arXiv: 2211.07060

Goranci G, Henzinger MH. Incremental approximate maximum flow in m1/2+o(1) update time. arXiv. doi:10.48550/arXiv.2211.09606
LibreCat: https://research-explorer.ista.ac.at/record/14236
DOI: 10.48550/arXiv.2211.09606
arXiv: 2211.09606

Holmes D. Affine dimers from characteristic polygons. PUMP Journal of Undergraduate Research. 2022;5:24-51.
LibreCat: https://research-explorer.ista.ac.at/record/14248
arXiv: 2110.01703

Palaia I, Sari A. Controlling cluster size in 2D phase-separating binary mixtures with specific interactions. The Journal of Chemical Physics. 2022;156(19). doi:10.1063/5.0087769
LibreCat: https://research-explorer.ista.ac.at/record/11400
DOI: 10.1063/5.0087769
WoS: 000797236000004

Brighi P, Michailidis A, Kirova K, Abanin DA, Serbyn M. Localization of a mobile impurity interacting with an Anderson insulator. Physical Review B. 2022;105(22). doi:10.1103/physrevb.105.224208
LibreCat: https://research-explorer.ista.ac.at/record/11469
DOI: 10.1103/physrevb.105.224208
WoS: 000823050000001
arXiv: 2111.08603

Chatterjee K, Saona Urmeneta RJ, Ziliotto B. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 2022;47(1):100-119. doi:10.1287/moor.2020.1116
LibreCat: https://research-explorer.ista.ac.at/record/9311
DOI: 10.1287/moor.2020.1116
WoS: 000731918100001
arXiv: 1904.13360

Henheik SJ, Lauritsen AB. The BCS energy gap at high density. Journal of Statistical Physics. 2022;189. doi:10.1007/s10955-022-02965-9
LibreCat: https://research-explorer.ista.ac.at/record/11732
DOI: 10.1007/s10955-022-02965-9
WoS: 000833007200002

Avarikioti G, Pietrzak KZ, Salem I, Schmid S, Tiwari S, Yeo MX. Hide &; Seek: Privacy-preserving rebalancing on payment channel networks. In: Financial Cryptography and Data Security. Vol 13411. Springer Nature; 2022:358-373. doi:10.1007/978-3-031-18283-9_17
LibreCat: https://research-explorer.ista.ac.at/record/12167
DOI: 10.1007/978-3-031-18283-9_17
arXiv: 2110.08848

Doveri K, Ganty P, Mazzocchi NA. FORQ-based language inclusion formal testing. In: Computer Aided Verification. Vol 13372. Springer Nature; 2022:109-129. doi:10.1007/978-3-031-13188-2_6
LibreCat: https://research-explorer.ista.ac.at/record/12302
DOI: 10.1007/978-3-031-13188-2_6
WoS: 000870310500006
arXiv: 2207.13549

Hoffmann C, Hubádek P, Kamath C, Klein K, Pietrzak KZ. Practical statistically-sound proofs of exponentiation in any group. In: Advances in Cryptology – CRYPTO 2022. Vol 13508. Springer Nature; 2022:370-399. doi:10.1007/978-3-031-15979-4_13
LibreCat: https://research-explorer.ista.ac.at/record/12176
DOI: 10.1007/978-3-031-15979-4_13
WoS: 000886792700013

Gelashvili R, Kokoris Kogias E, Sonnino A, Spiegelman A, Xiang Z. Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback. In: Financial Cryptography and Data Security. Vol 13411. Springer Nature; 2022:296-315. doi:10.1007/978-3-031-18283-9_14
LibreCat: https://research-explorer.ista.ac.at/record/12298
DOI: 10.1007/978-3-031-18283-9_14
arXiv: 2106.10362

Cohen S, Gelashvili R, Kokoris Kogias E, et al. Be aware of your leaders. In: International Conference on Financial Cryptography and Data Security. Vol 13411. Springer Nature; 2022:279-295. doi:10.1007/978-3-031-18283-9_13
LibreCat: https://research-explorer.ista.ac.at/record/12168
DOI: 10.1007/978-3-031-18283-9_13
arXiv: 2110.00960

Meggendorfer T. PET – A partial exploration tool for probabilistic verification. In: 20th International Symposium on Automated Technology for Verification and Analysis. Vol 13505. Springer Nature; 2022:320-326. doi:10.1007/978-3-031-19992-9_20
LibreCat: https://research-explorer.ista.ac.at/record/12170
DOI: 10.1007/978-3-031-19992-9_20

Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. History-deterministic timed automata are not determinizable. In: 16th International Conference on Reachability Problems. Vol 13608. Springer Nature; 2022:67-76. doi:10.1007/978-3-031-19135-0_5
LibreCat: https://research-explorer.ista.ac.at/record/12175
DOI: 10.1007/978-3-031-19135-0_5

Lewin M, Lieb EH, Seiringer R. Improved Lieb–Oxford bound on the indirect and exchange energies. Letters in Mathematical Physics. 2022;112(5). doi:10.1007/s11005-022-01584-5
LibreCat: https://research-explorer.ista.ac.at/record/12246
DOI: 10.1007/s11005-022-01584-5
WoS: 000854762600001
arXiv: 2203.12473

Köse S, Özbudak F. Factorization of some polynomials over finite local commutative rings and applications to certain self-dual and LCD codes. Cryptography and Communications. 2022;14(4):933-948. doi:10.1007/s12095-022-00557-8
LibreCat: https://research-explorer.ista.ac.at/record/10842
DOI: 10.1007/s12095-022-00557-8
WoS: 000766422000002

Basilico B, Ferrucci L, Ratano P, et al. Microglia control glutamatergic synapses in the adult mouse hippocampus. Glia. 2022;70(1):173-195. doi:10.1002/glia.24101
LibreCat: https://research-explorer.ista.ac.at/record/10818
DOI: 10.1002/glia.24101
WoS: 000708025800001
PMID: 34661306

Ong JMJ, Bugnet LA, Basu S. Mode mixing and rotational splittings. I. Near-degeneracy effects revisited. The Astrophysical Journal. 2022;940(1). doi:10.3847/1538-4357/ac97e7
LibreCat: https://research-explorer.ista.ac.at/record/13445
DOI: 10.3847/1538-4357/ac97e7
arXiv: 2210.01928

Wenzel F, Dittadi A, Gehler PV, et al. Assaying out-of-distribution generalization in transfer learning. In: 36th Conference on Neural Information Processing Systems. Vol 35. Neural Information Processing Systems Foundation; 2022:7181-7198.
LibreCat: https://research-explorer.ista.ac.at/record/14173
arXiv: 2207.09239

Lohaus M, Kleindessner M, Kenthapadi K, Locatello F, Russell C. Are two heads the same as one? Identifying disparate treatment in fair neural networks. In: 36th Conference on Neural Information Processing Systems. Vol 35. Neural Information Processing Systems Foundation; 2022:16548-16562.
LibreCat: https://research-explorer.ista.ac.at/record/14106
arXiv: 2204.04440