Chatterjee, Krishnendu, et al. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.”10.1137/1.9781611977554.ch173__Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–605, doi:10.1137/1.9781611977554.ch173.
LibreCat: https://research-explorer.ista.ac.at/record/12676
DOI: 10.1137/1.9781611977554.ch173

Aksenov, Vitaly, et al. “Unexpected Scaling in Path Copying Trees.”10.1145/3572848.3577512__Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 438–40, doi:10.1145/3572848.3577512.
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

Burnett, Laura. To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12716.
LibreCat: https://research-explorer.ista.ac.at/record/12716
DOI: 10.15479/at:ista:12716

Chern, Albert, and Sadashige Ishida. “Area Formula for Spherical Polygons via Prequantization.”10.48550/arXiv.2303.14555__ArXiv, 2303.14555, doi:10.48550/arXiv.2303.14555.
LibreCat: https://research-explorer.ista.ac.at/record/12846
DOI: 10.48550/arXiv.2303.14555
arXiv: 2303.14555

Peste, Elena-Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” 11th International Conference on Learning Representations .
LibreCat: https://research-explorer.ista.ac.at/record/13053
arXiv: 2207.14200

Pokusaeva, Victoria. Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12826.
LibreCat: https://research-explorer.ista.ac.at/record/12826
DOI: 10.15479/at:ista:12826

Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.”10.1007/978-3-031-30829-1_17__26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

Henzinger, Thomas A., et al. “Regular Methods for Operator Precedence Languages.”10.4230/LIPIcs.ICALP.2023.129__50th International Colloquium on Automata, Languages, and Programming, vol. 261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20, doi:10.4230/LIPIcs.ICALP.2023.129.
LibreCat: https://research-explorer.ista.ac.at/record/13292
DOI: 10.4230/LIPIcs.ICALP.2023.129
arXiv: 2305.03447

Rojas Vega, Mauricio Nicolas, et al. “Wetting Dynamics by Mixtures of Fast and Slow Self-Propelled Particles.”10.1103/PhysRevE.107.014608__Physical Review E, vol. 107, no. 1, 014608, American Physical Society, 2023, doi:10.1103/PhysRevE.107.014608.
LibreCat: https://research-explorer.ista.ac.at/record/12545
DOI: 10.1103/PhysRevE.107.014608
WoS: 000963909800006
arXiv: 2301.01856

Volosniev, Artem, et al. “Spin-Electric Coupling in Lead Halide Perovskites.”10.1103/physrevlett.130.106901__Physical Review Letters, vol. 130, no. 10, 106901, American Physical Society, 2023, doi:10.1103/physrevlett.130.106901.
LibreCat: https://research-explorer.ista.ac.at/record/12723
DOI: 10.1103/physrevlett.130.106901
WoS: 000982435900002
arXiv: 2203.09443

Volosniev, Artem, et al. “Effective Model for Studying Optical Properties of Lead Halide Perovskites.”10.1103/physrevb.107.125201__Physical Review B, vol. 107, no. 12, 125201, American Physical Society, 2023, doi:10.1103/physrevb.107.125201.
LibreCat: https://research-explorer.ista.ac.at/record/12724
DOI: 10.1103/physrevb.107.125201
WoS: 000972602200006
arXiv: 2204.04022

Vetrova, Alexandra A., et al. “The Evolutionary History of Brachyury Genes in Hydrozoa Involves Duplications, Divergence, and Neofunctionalization.”10.1038/s41598-023-35979-8__Scientific Reports, vol. 13, 9382, Springer Nature, 2023, doi:10.1038/s41598-023-35979-8.
LibreCat: https://research-explorer.ista.ac.at/record/13166
DOI: 10.1038/s41598-023-35979-8
WoS: 001006690200045
PMID: 37296138

Orlov, Pavel, et al. “Adiabatic Eigenstate Deformations and Weak Integrability Breaking of Heisenberg Chain.”10.1103/PhysRevB.107.184312__Physical Review B, vol. 107, no. 18, 184312, American Physical Society, 2023, doi:10.1103/PhysRevB.107.184312.
LibreCat: https://research-explorer.ista.ac.at/record/13138
DOI: 10.1103/PhysRevB.107.184312
WoS: 001003686900004
arXiv: 2303.00729

Peste, Elena-Alexandra. Efficiency and Generalization of Sparse Neural Networks. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13074.
LibreCat: https://research-explorer.ista.ac.at/record/13074
DOI: 10.15479/at:ista:13074

Mrnjavac, Andrea, et al. “Slower-X: Reduced Efficiency of Selection in the Early Stages of X Chromosome Evolution.”10.1093/evlett/qrac004__Evolution Letters, vol. 7, no. 1, qr, Oxford University Press, 2023, doi:10.1093/evlett/qrac004.
LibreCat: https://research-explorer.ista.ac.at/record/12521
DOI: 10.1093/evlett/qrac004
WoS: 001021692200001
PMID: 37065438

Lombardi, Fabrizio, et al. “Statistical Modeling of Adaptive Neural Networks Explains Co-Existence of Avalanches and Oscillations in Resting Human Brain.”10.1038/s43588-023-00410-9__Nature Computational Science, vol. 3, Springer Nature, 2023, pp. 254–63, doi:10.1038/s43588-023-00410-9.
LibreCat: https://research-explorer.ista.ac.at/record/12762
DOI: 10.1038/s43588-023-00410-9
arXiv: 2108.06686

Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13175.
LibreCat: https://research-explorer.ista.ac.at/record/13175
DOI: 10.15479/at:ista:13175

Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12900.
LibreCat: https://research-explorer.ista.ac.at/record/12900
DOI: 10.15479/at:ista:12900

Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.”10.1007/978-3-031-37703-7_17__Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 358–382, doi: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

Gamper, Jakob, et al. “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.”10.1021/acs.jpclett.3c01707__Journal of Physical Chemistry Letters, vol. 14, no. 33, American Chemical Society, 2023, pp. 7395–403, doi:10.1021/acs.jpclett.3c01707.
LibreCat: https://research-explorer.ista.ac.at/record/14261
DOI: 10.1021/acs.jpclett.3c01707
WoS: 001048165800001
PMID: 37566743