T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and liveness,” in 26th International Conference Foundations of Software Science and Computation Structures, Paris, France, 2023, vol. 13992, pp. 349–370.
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

T. A. Henzinger, P. Kebis, N. A. Mazzocchi, and N. E. Sarac, “Regular methods for operator precedence languages,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261, p. 129:1--129:20.
LibreCat: https://research-explorer.ista.ac.at/record/13292
DOI: 10.4230/LIPIcs.ICALP.2023.129
arXiv: 2305.03447

M. N. Rojas Vega, P. De Castro, and R. Soto, “Wetting dynamics by mixtures of fast and slow self-propelled particles,” Physical Review E, vol. 107, no. 1. American Physical Society, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12545
DOI: 10.1103/PhysRevE.107.014608
WoS: 000963909800006
arXiv: 2301.01856

A. Volosniev et al., “Spin-electric coupling in lead halide perovskites,” Physical Review Letters, vol. 130, no. 10. American Physical Society, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12723
DOI: 10.1103/physrevlett.130.106901
WoS: 000982435900002
arXiv: 2203.09443

A. Volosniev et al., “Effective model for studying optical properties of lead halide perovskites,” Physical Review B, vol. 107, no. 12. American Physical Society, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12724
DOI: 10.1103/physrevb.107.125201
WoS: 000972602200006
arXiv: 2204.04022

A. A. Vetrova et al., “The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization,” Scientific Reports, vol. 13. Springer Nature, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13166
DOI: 10.1038/s41598-023-35979-8
WoS: 001006690200045
PMID: 37296138

P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, and D. V. Kurlov, “Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain,” Physical Review B, vol. 107, no. 18. American Physical Society, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13138
DOI: 10.1103/PhysRevB.107.184312
WoS: 001003686900004
arXiv: 2303.00729

E.-A. Peste, “Efficiency and generalization of sparse neural networks,” Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13074
DOI: 10.15479/at:ista:13074

A. Mrnjavac, K. Khudiakova, N. H. Barton, and B. Vicoso, “Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution,” Evolution Letters, vol. 7, no. 1. Oxford University Press, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12521
DOI: 10.1093/evlett/qrac004
WoS: 001021692200001
PMID: 37065438

F. Lombardi, S. Pepic, O. Shriki, G. Tkadik, and D. De Martino, “Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain,” Nature Computational Science, vol. 3. Springer Nature, pp. 254–263, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12762
DOI: 10.1038/s43588-023-00410-9
arXiv: 2108.06686

R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13175
DOI: 10.15479/at:ista:13175

R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12900
DOI: 10.15479/at:ista:12900

T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness,” in Computer Aided Verification, Paris, France, 2023, vol. 13965, pp. 358–382.
LibreCat: https://research-explorer.ista.ac.at/record/13310
DOI: 10.1007/978-3-031-37703-7_17
arXiv: 2305.15979

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

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

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

L. Bocanegra, “Epithelial dynamics during mouse neural tube development,” Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13081
DOI: 10.15479/at:ista:13081

D. Gupta, W. F. Mlynarski, A. L. Sumser, O. Symonova, J. Svaton, and M. A. Jösch, “Panoramic visual statistics shape retina-wide organization of receptive fields,” Nature Neuroscience, vol. 26. Springer Nature, pp. 606–614, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12349
DOI: 10.1038/s41593-023-01280-0
WoS: 000955258300002
PMID: 36959418

D. Gupta, A. L. Sumser, and M. A. Jösch, “Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields.” Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12370
DOI: 10.15479/AT:ISTA:12370

S. Köse, “Exterior algebra and combinatorics,” Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13331
DOI: 10.15479/at:ista:13331