J. Kretinsky, T. Meggendorfer, M. Prokop, and S. Rieder, “Guessing winning policies in LTL synthesis by semantic learning,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 390–414.
LibreCat: https://research-explorer.ista.ac.at/record/14259
DOI: 10.1007/978-3-031-37706-8_20

S. Mathis and L. A. Bugnet, “Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields,” Astronomy and Astrophysics, vol. 676. EDP Sciences, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14256
DOI: 10.1051/0004-6361/202346832
WoS: 001046037700007
arXiv: 2306.11587

J. Gamper, F. Kluibenschedl, A. K. H. Weiss, and T. S. Hofer, “Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems,” Journal of Physical Chemistry Letters, vol. 14, no. 33. American Chemical Society, pp. 7395–7403, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14261
DOI: 10.1021/acs.jpclett.3c01707
WoS: 001048165800001
PMID: 37566743

D. R. Boocock, T. Hirashima, and E. B. Hannezo, “Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers,” PRX Life, vol. 1, no. 1. American Physical Society, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14277
DOI: 10.1103/prxlife.1.013001

M. Nardin, K. Käfer, F. Stella, and J. L. Csicsvari, “Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions,” Cell Reports, vol. 42, no. 9. Elsevier, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14314
DOI: 10.1016/j.celrep.2023.113015
PMID: 37632747

U. H. Cho and M. Hetzer, “Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress,” eLife, vol. 12. eLife Sciences Publications, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14315
DOI: 10.7554/eLife.89066
PMID: 37665327

M. Anastos, D. Fabian, A. Müyesser, and T. Szabó, “Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets,” Electronic Journal of Combinatorics, vol. 30, no. 3. Electronic Journal of Combinatorics, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14319
DOI: 10.37236/11714
arXiv: 2212.03100

Y. Sun, H. Fu, K. Chatterjee, and A. K. Goharshady, “Automated tail bound analysis for probabilistic recurrence relations,” in Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 16–39.
LibreCat: https://research-explorer.ista.ac.at/record/14318
DOI: 10.1007/978-3-031-37709-9_2

S. Akshay, K. Chatterjee, T. Meggendorfer, and D. Zikelic, “MDPs as distribution transformers: Affine invariant synthesis for safety objectives,” in International Conference on Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 86–112.
LibreCat: https://research-explorer.ista.ac.at/record/14317
DOI: 10.1007/978-3-031-37709-9_5

M. Nagano, K. Aoshima, H. Shimamura, D. E. Siekhaus, J. Y. Toshima, and J. Toshima, “Distinct role of TGN-resident clathrin adaptors for Vpp activation in the TGN-endosome trafficking pathway,” Journal of Cell Science, vol. 136, no. 17. The Company of Biologists, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14316
DOI: 10.1242/jcs.261448
PMID: 37539494

P. M. Henderson, A. Ghazaryan, A. A. Zibrov, A. F. Young, and M. Serbyn, “Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene,” Physical Review B, vol. 108, no. 12. American Physical Society, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14320
DOI: 10.1103/physrevb.108.125411
arXiv: 2210.06310

P. Brighi, “Ergodicity breaking in disordered and kinetically constrained quantum many-body systems,” Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12732
DOI: 10.15479/at:ista:12732

P. Brighi, M. Ljubotina, and M. Serbyn, “Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models,” SciPost Physics, vol. 15, no. 3. SciPost Foundation, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14334
DOI: 10.21468/scipostphys.15.3.093
arXiv: 2210.15607

R. Al Hyder, A. Cappellaro, M. Lemeshko, and A. Volosniev, “Achiral dipoles on a ferromagnet can affect its magnetization direction,” The Journal of Chemical Physics, vol. 159, no. 10. AIP Publishing, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14321
DOI: 10.1063/5.0165806
PMID: 37694742
arXiv: 2306.17592

D. Lorenc and Z. Alpichshev, “Mid-infrared Kerr index evaluation via cross-phase modulation with a near-infrared probe beam,” Applied Physics Letters, vol. 123, no. 9. AIP Publishing, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14342
DOI: 10.1063/5.0161713
arXiv: 2306.09043

M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in 14th International Conference on Interactive Theorem Proving, Bialystok, Poland, 2023, vol. 268.
LibreCat: https://research-explorer.ista.ac.at/record/13120
DOI: 10.4230/LIPIcs.ITP.2023.15
arXiv: 2302.06420

A. M. Arroyo Guevara and S. Felsner, “Approximating the bundled crossing number,” Journal of Graph Algorithms and Applications, vol. 27, no. 6. Brown University, pp. 433–457, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13969
DOI: 10.7155/jgaa.00629
arXiv: 2109.14892

M. Anastos, “Fast algorithms for solving the Hamilton cycle problem with high probability,” in Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 2023, vol. 2023, pp. 2286–2323.
LibreCat: https://research-explorer.ista.ac.at/record/14344
DOI: 10.1137/1.9781611977554.ch88
arXiv: 2111.14759

B. Schamberger et al., “Curvature in biological systems: Its quantification, emergence, and implications across the scales,” Advanced Materials, vol. 35, no. 13. Wiley, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12710
DOI: 10.1002/adma.202206110
WoS: 000941068900001
PMID: 36461812

J. Gemen et al., “Disequilibrating azoarenes by visible-light sensitization under confinement,” Science, vol. 381, no. 6664. American Association for the Advancement of Science, pp. 1357–1363, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13340
DOI: 10.1126/science.adh9059