Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In: 35th International Conference on Computer Aided Verification. Vol 13966. Springer Nature; 2023:3-15. doi:10.1007/978-3-031-37709-9_1
LibreCat: https://research-explorer.ista.ac.at/record/14758
DOI: 10.1007/978-3-031-37709-9_1

Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. 2023. doi:10.5281/ZENODO.7877757
LibreCat: https://research-explorer.ista.ac.at/record/14995
DOI: 10.5281/ZENODO.7877757

Shigemoto R. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. 2023. doi:10.15479/AT:ISTA:13173
LibreCat: https://research-explorer.ista.ac.at/record/13173
DOI: 10.15479/AT:ISTA:13173

Drout MR, Götberg YLL, Ludwig BA, et al. An observed population of intermediate-mass helium stars that have been stripped in binaries. Science. 2023;382(6676):1287-1291. doi:10.1126/science.ade4970
LibreCat: https://research-explorer.ista.ac.at/record/15085
DOI: 10.1126/science.ade4970
PMID: 38096420
arXiv: 2307.00061

Zheng DW, Henzinger MH. Multiplicative auction algorithm for approximate maximum weight bipartite matching. In: International Conference on Integer Programming and Combinatorial Optimization. Vol 13904. Springer Nature; 2023:453-465. doi:10.1007/978-3-031-32726-1_32
LibreCat: https://research-explorer.ista.ac.at/record/13236
DOI: 10.1007/978-3-031-32726-1_32
arXiv: 2301.09217

Kwan MA, Sah A, Sawhney M. Enumerating matroids and linear spaces. Comptes Rendus Mathematique. 2023;361():565-575. doi:10.5802/crmath.423
LibreCat: https://research-explorer.ista.ac.at/record/15173
DOI: 10.5802/crmath.423
arXiv: 2112.03788

Agresti A, Hussein A. Maximal Lp-regularity and He-calculus for block operator matrices and applications. Journal of Functional Analysis. 2023;285(11). doi:10.1016/j.jfa.2023.110146
LibreCat: https://research-explorer.ista.ac.at/record/14772
DOI: 10.1016/j.jfa.2023.110146
WoS: 001081809000001
arXiv: 2108.01962

Fleury L, Caiazzo I, Heyl J. The origin of ultramassive white dwarfs: hints from Gaia ED. Monthly Notices of the Royal Astronomical Society. 2023;520(1):364-374. doi:10.1093/mnras/stad068
LibreCat: https://research-explorer.ista.ac.at/record/15199
DOI: 10.1093/mnras/stad068
arXiv: 2205.01015

Zane S, Taverna R, González–Caniulef D, et al. A strong x-ray polarization signal from the magnetar 1RXS J170849.0-400910. The Astrophysical Journal Letters. 2023;944(2). doi:10.3847/2041-8213/acb703
LibreCat: https://research-explorer.ista.ac.at/record/15202
DOI: 10.3847/2041-8213/acb703
arXiv: 2301.12919

González-Caniulef D, Caiazzo I, Heyl J. IXPE simulations for magnetars. Proceedings of the International Astronomical Union. 2023;16(3):314-317. doi:10.1017/s1743921322000679
LibreCat: https://research-explorer.ista.ac.at/record/15226
DOI: 10.1017/s1743921322000679

Henzinger TA, Karimi M, Kueffner K, Mallik K. Runtime monitoring of dynamic fairness properties. In: FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery; 2023:604-614. doi:10.1145/3593013.3594028
LibreCat: https://research-explorer.ista.ac.at/record/13228
DOI: 10.1145/3593013.3594028
WoS: 001062819300057
arXiv: 2305.04699

Lasne C, Elkrewi MN. The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. 2023. doi:10.15479/AT:ISTA:14614
LibreCat: https://research-explorer.ista.ac.at/record/14614
DOI: 10.15479/AT:ISTA:14614

Gnyliukh N, Johnson AJ, Nagel M-K, et al. Role of dynamin-related proteins 2 and S in clathrin-mediated endocytosis in plants. bioRxiv. doi:10.1101/2023.10.09.561523
LibreCat: https://research-explorer.ista.ac.at/record/14591
DOI: 10.1101/2023.10.09.561523

Calcabrini M. Nanoparticle-based semiconductor solids: From synthesis to consolidation. 2023. doi:10.15479/at:ista:12885
LibreCat: https://research-explorer.ista.ac.at/record/12885
DOI: 10.15479/at:ista:12885

Kirillova K. Panoramic functional gradients across the mouse retina. 2023. doi:10.15479/at:ista:12531
LibreCat: https://research-explorer.ista.ac.at/record/12531
DOI: 10.15479/at:ista:12531

Gnyliukh N. Mechanism of clathrin-coated vesicle  formation during endocytosis in plants. 2023. doi:10.15479/at:ista:14510
LibreCat: https://research-explorer.ista.ac.at/record/14510
DOI: 10.15479/at:ista:14510

Hafner C. Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. 2023. doi:10.15479/at:ista:12897
LibreCat: https://research-explorer.ista.ac.at/record/12897
DOI: 10.15479/at:ista:12897

Hosten O. Constraints on probing quantum coherence to infer gravitational entanglement. Physical Review Research. 2022;4(1). doi:10.1103/PhysRevResearch.4.013023
LibreCat: https://research-explorer.ista.ac.at/record/10652
DOI: 10.1103/PhysRevResearch.4.013023

Alistarh D-A, Gelashvili R, Rybicki J. Fast graphical population protocols. In: Bramas Q, Gramoli V, Milani A, eds. 25th International Conference on Principles of Distributed Systems. Vol 217. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.OPODIS.2021.14
LibreCat: https://research-explorer.ista.ac.at/record/11184
DOI: 10.4230/LIPIcs.OPODIS.2021.14
arXiv: 2102.08808

Nikabadi A, Korhonen J. Beyond distributed subgraph detection: Induced subgraphs, multicolored problems and graph parameters. In: Bramas Q, Gramoli V, Milani A, eds. 25th International Conference on Principles of Distributed Systems. Vol 217. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.OPODIS.2021.15
LibreCat: https://research-explorer.ista.ac.at/record/11183
DOI: 10.4230/LIPIcs.OPODIS.2021.15