Burnett, L. (2023). 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.https://doi.org/10.15479/at:ista:12716 
LibreCat: https://research-explorer.ista.ac.at/record/12716
DOI: 10.15479/at:ista:12716

Chalupa, M., &; Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_32 
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32

Chern, A., &; Ishida, S. (n.d.). Area formula for spherical polygons via prequantization. arXiv.https://doi.org/10.48550/arXiv.2303.14555 
LibreCat: https://research-explorer.ista.ac.at/record/12846
DOI: 10.48550/arXiv.2303.14555
arXiv: 2303.14555

Chalupa, M., Mühlböck, F., Muroya Lei, S., &; Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30826-0_15 
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 10.1007/978-3-031-30826-0_15

Chalupa, M., Mühlböck, F., Muroya Lei, S., &; Henzinger, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:12407 
LibreCat: https://research-explorer.ista.ac.at/record/12407
DOI: 10.15479/AT:ISTA:12407

Currin, C., &; Beyer, C. (2023). Altered childhood brain development in autism and epilepsy. In B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health (1st ed., pp. 86–98). Elsevier.https://doi.org/10.1016/b978-0-12-818872-9.00129-1 
LibreCat: https://research-explorer.ista.ac.at/record/12866
DOI: 10.1016/b978-0-12-818872-9.00129-1

Zhao, L., Yang, Y., Chen, J., Lin, X., Zhang, H., Wang, H.,https://doi.org/10.1186/s13059-022-02844-2__Xiao, J. (2023). Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat. Genome Biology. Springer Nature.https://doi.org/10.1186/s13059-022-02844-2 
LibreCat: https://research-explorer.ista.ac.at/record/12668
DOI: 10.1186/s13059-022-02844-2
PMID: 36639687

Lieutier, A., &; Wintraecken, M. (2023). Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 1768–1776). Orlando, FL, United States: Association for Computing Machinery.https://doi.org/10.1145/3564246.3585113 
LibreCat: https://research-explorer.ista.ac.at/record/13048
DOI: 10.1145/3564246.3585113
arXiv: 2303.04014

Peste, E.-A., Vladu, A., Kurtic, E., Lampert, C., &; Alistarh, D.-A. (n.d.). CrAM: A Compression-Aware Minimizer. In 11th International Conference on Learning Representations . Kigali, Rwanda .
LibreCat: https://research-explorer.ista.ac.at/record/13053
arXiv: 2207.14200

Hoffmann, C., Hubádek, P., Kamath, C., &; Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-31368-4_19 
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 10.1007/978-3-031-31368-4_19

Chatterjee, K., Henzinger, T. A., Lechner, M., &; Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems  (Vol. 13993, pp. 3–25). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30823-9_1 
LibreCat: https://research-explorer.ista.ac.at/record/13142
DOI: 10.1007/978-3-031-30823-9_1

Anand, A., Mallik, K., Nayak, S. P., &; Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_15 
LibreCat: https://research-explorer.ista.ac.at/record/13141
DOI: 10.1007/978-3-031-30820-8_15

Pokusaeva, V. (2023). Neural control of optic flow-based navigation in Drosophila melanogaster. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12826 
LibreCat: https://research-explorer.ista.ac.at/record/12826
DOI: 10.15479/at:ista:12826

Edelsbrunner, H., &; Osang, G. F. (2023). A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. Springer Nature.https://doi.org/10.1007/s00453-022-01027-6 
LibreCat: https://research-explorer.ista.ac.at/record/12086
DOI: 10.1007/s00453-022-01027-6
WoS: 000846967100001

Dello Schiavo, L., &; Wirth, M. (2023). Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. Springer Nature.https://doi.org/10.1007/s00028-022-00859-7 
LibreCat: https://research-explorer.ista.ac.at/record/12104
DOI: 10.1007/s00028-022-00859-7
WoS: 000906214600004

GOSWAMI, B. B. (2023). Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. Springer Nature.https://doi.org/10.1007/s00382-022-06337-7 
LibreCat: https://research-explorer.ista.ac.at/record/11434
DOI: 10.1007/s00382-022-06337-7
WoS: 000803119400002

Henzinger, T. A., Mazzocchi, N. A., &; Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature.https://doi.org/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

Koval, N., Khalanskiy, D., &; Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. Association for Computing Machinery .https://doi.org/10.1145/3591230 
LibreCat: https://research-explorer.ista.ac.at/record/13179
DOI: 10.1145/3591230

Browning, T. D., Lyczak, J., &; Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. Involve. Mathematical Sciences Publishers.https://doi.org/10.2140/involve.2023.16.331 
LibreCat: https://research-explorer.ista.ac.at/record/13180
DOI: 10.2140/involve.2023.16.331
arXiv: 2203.06881

Elefante, S., Stadlbauer, S., Alexander, M. F., &; Schlögl, A. (n.d.). Cryo-EM software packages: A sys-admins point of view. In ASHP - Austrian-Slovenian HPC Meeting 2023 (pp. 42–42). Maribor, Slovenia: EuroCC.
LibreCat: https://research-explorer.ista.ac.at/record/13162

Schlögl, A., Elefante, S., &; Hodirnau, V.-V. (n.d.). Running Windows-applications on a Linux HPC cluster using WINE. In ASHP - Austrian-Slovenian HPC Meeting 2023 (pp. 59–59). Maribor, Slovenia: EuroCC.
LibreCat: https://research-explorer.ista.ac.at/record/13161

Wei, Y., Volosniev, A., Lorenc, D., Zhumekenov, A. A., Bakr, O. M., Lemeshko, M., &; Alpichshev, Z. (2023). Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. American Chemical Society.https://doi.org/10.1021/acs.jpclett.3c01158 
LibreCat: https://research-explorer.ista.ac.at/record/13251
DOI: 10.1021/acs.jpclett.3c01158
WoS: 001022811500001
arXiv: 2304.14198

Henzinger, T. A., Kebis, P., Mazzocchi, N. A., &; Sarac, N. E. (2023). Regular methods for operator precedence languages. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/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

Tucci, G., De Nicola, S., Wald, S., &; Gambassi, A. (2023). Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. SciPost Foundation.https://doi.org/10.21468/scipostphyscore.6.2.029 
LibreCat: https://research-explorer.ista.ac.at/record/13277
DOI: 10.21468/scipostphyscore.6.2.029
arXiv: 2211.01923

Rammelmüller, L., Huber, D., &; Volosniev, A. (2023). A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. SciPost Foundation.https://doi.org/10.21468/scipostphyscodeb.12 
LibreCat: https://research-explorer.ista.ac.at/record/13276
DOI: 10.21468/scipostphyscodeb.12
arXiv: 2202.04603

Rammelmüller, L., Huber, D., &; Volosniev, A. (2023). Codebase release 1.0 for FermiFCI. SciPost Foundation.https://doi.org/10.21468/scipostphyscodeb.12-r1.0 
LibreCat: https://research-explorer.ista.ac.at/record/13275
DOI: 10.21468/scipostphyscodeb.12-r1.0

De Jode, A., Le Moan, A., Johannesson, K., Faria, R., Stankowski, S., Westram, A. M.,https://doi.org/10.1111/eva.13428__Fraisse, C. (2023). Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. Wiley.https://doi.org/10.1111/eva.13428 
LibreCat: https://research-explorer.ista.ac.at/record/11479
DOI: 10.1111/eva.13428
WoS: 000815663700001

Gómez, A., &; Oliveira, G. (2023). New approaches to epidemic modeling on networks. Scientific Reports. Springer Nature.https://doi.org/10.1038/s41598-022-19827-9 
LibreCat: https://research-explorer.ista.ac.at/record/12329
DOI: 10.1038/s41598-022-19827-9
WoS: 001003345000051

Wilsch, F. A. (2023). Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. Oxford Academic.https://doi.org/10.1093/imrn/rnac048 
LibreCat: https://research-explorer.ista.ac.at/record/9034
DOI: 10.1093/imrn/rnac048
WoS: 000773116000001
arXiv: 1901.08503

Viljakainen, L., Fürst, M., Grasse, A. V., Jurvansuu, J., Oh, J., Tolonen, L.,https://doi.org/10.3389/fmicb.2023.1119002__Cremer, S. (2023). Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. Frontiers.https://doi.org/10.3389/fmicb.2023.1119002 
LibreCat: https://research-explorer.ista.ac.at/record/12469
DOI: 10.3389/fmicb.2023.1119002
WoS: 000961542100001
PMID: PPR559293 

Boissonnat, J.-D., Dyer, R., Ghosh, A., &; Wintraecken, M. (2023). Local criteria for triangulating general manifolds. Discrete &; Computational Geometry. Springer Nature.https://doi.org/10.1007/s00454-022-00431-7 
LibreCat: https://research-explorer.ista.ac.at/record/12287
DOI: 10.1007/s00454-022-00431-7
WoS: 000862193600001

Hof, B. (2023). Directed percolation and the transition to turbulence. Nature Reviews Physics. Springer Nature.https://doi.org/10.1038/s42254-022-00539-y 
LibreCat: https://research-explorer.ista.ac.at/record/12165
DOI: 10.1038/s42254-022-00539-y
WoS: 000890148700002

Fäßler, F., Javoor, M., &; Schur, F. K. (2023). Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. Portland Press.https://doi.org/10.1042/bst20220221 
LibreCat: https://research-explorer.ista.ac.at/record/12421
DOI: 10.1042/bst20220221
WoS: 000926043100001

Marensi, E., Yalniz, G., Hof, B., &; Budanur, N. B. (2023). Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2022.1001 
LibreCat: https://research-explorer.ista.ac.at/record/12105
DOI: 10.1017/jfm.2022.1001
WoS: 000903336600001
arXiv: 2101.07516

Bolnick, D. I., Hund, A. K., Nosil, P., Peng, F., Ravinet, M., Stankowski, S.,https://doi.org/10.1093/evolut/qpac004__Yukilevich, R. (2023). A multivariate view of the speciation continuum. Evolution: International Journal of Organic Evolution. Oxford University Press.https://doi.org/10.1093/evolut/qpac004 
LibreCat: https://research-explorer.ista.ac.at/record/12514
DOI: 10.1093/evolut/qpac004
WoS: 001021686300024
PMID: 36622661

Forghani, M., Claramunt, C., Karimipour, F., &; Heiler, G. (2023). Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic. In 2022 IEEE International Conference on Data Mining Workshops. Orlando, FL, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/icdmw58026.2022.00093 
LibreCat: https://research-explorer.ista.ac.at/record/12548
DOI: 10.1109/icdmw58026.2022.00093
WoS: 000971492200145

Krokhin, A., Oprsal, J., Wrochna, M., &; divný, S. (2023). Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing. Society for Industrial &; Applied Mathematics.https://doi.org/10.1137/20m1378223 
LibreCat: https://research-explorer.ista.ac.at/record/12563
DOI: 10.1137/20m1378223
WoS: 000955000000001
arXiv: 2003.11351

Rojas Vega, M. N., De Castro, P., &; Soto, R. (2023). Wetting dynamics by mixtures of fast and slow self-propelled particles. Physical Review E. American Physical Society.https://doi.org/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

Balestrieri, F. (2023). Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/proc/15239 
LibreCat: https://research-explorer.ista.ac.at/record/12427
DOI: 10.1090/proc/15239
WoS: 000898440000001

Villalba Requena, A., &; Hippenmeyer, S. (2023). Going back in time with TEMPO. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2023.01.006 
LibreCat: https://research-explorer.ista.ac.at/record/12542
DOI: 10.1016/j.neuron.2023.01.006
WoS: 000994473300001

Mrestani, A., Lichter, K., Sirén, A. L., Heckmann, M., Paul, M. M., &; Pauli, M. (2023). Single-molecule localization microscopy of presynaptic active zones in Drosophila melanogaster after rapid cryofixation. International Journal of Molecular Sciences. MDPI.https://doi.org/10.3390/ijms24032128 
LibreCat: https://research-explorer.ista.ac.at/record/12567
DOI: 10.3390/ijms24032128
WoS: 000930324700001

Alistarh, D.-A., Ellen, F., &; Rybicki, J. (2023). Wait-free approximate agreement on graphs. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2023.113733 
LibreCat: https://research-explorer.ista.ac.at/record/12566
DOI: 10.1016/j.tcs.2023.113733
WoS: 000934262700001

Dubief, Y., Terrapon, V. E., &; Hof, B. (2023). Elasto-inertial turbulence. Annual Review of Fluid Mechanics. Annual Reviews.https://doi.org/10.1146/annurev-fluid-032822-025933 
LibreCat: https://research-explorer.ista.ac.at/record/12681
DOI: 10.1146/annurev-fluid-032822-025933
WoS: 000915418100026

Avila, M., Barkley, D., &; Hof, B. (2023). Transition to turbulence in pipe flow. Annual Review of Fluid Mechanics. Annual Reviews.https://doi.org/10.1146/annurev-fluid-120720-025957 
LibreCat: https://research-explorer.ista.ac.at/record/12682
DOI: 10.1146/annurev-fluid-120720-025957
WoS: 000915418100023

Araújo, N. A. M., Janssen, L. M. C., Barois, T., Boffetta, G., Cohen, I., Corbetta, A.,https://doi.org/10.1039/d2sm01562e__Volpe, G. (2023). Steering self-organisation through confinement. Soft Matter. Royal Society of Chemistry.https://doi.org/10.1039/d2sm01562e 
LibreCat: https://research-explorer.ista.ac.at/record/12708
DOI: 10.1039/d2sm01562e
WoS: 000940388100001
arXiv: 2204.10059

Cheng, B., Hamel, S., &; Bethkenhagen, M. (2023). Thermodynamics of diamond formation from hydrocarbon mixtures in planets. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-023-36841-1 
LibreCat: https://research-explorer.ista.ac.at/record/12702
DOI: 10.1038/s41467-023-36841-1
WoS: 000939678300002
PMID: 36843123

Bernabeu, E., Mccartney, D. L., Gadd, D. A., Hillary, R. F., Lu, A. T., Murphy, L.,https://doi.org/10.1186/s13073-023-01161-y__Marioni, R. E. (2023). Refining epigenetic prediction of chronological and biological age. Genome Medicine. Springer Nature.https://doi.org/10.1186/s13073-023-01161-y 
LibreCat: https://research-explorer.ista.ac.at/record/12719
DOI: 10.1186/s13073-023-01161-y
WoS: 000940286600001

Lechner, M., Amini, A., Rus, D., &; Henzinger, T. A. (2023). Revisiting the adversarial robustness-accuracy tradeoff in robot learning. IEEE Robotics and Automation Letters. Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/LRA.2023.3240930 
LibreCat: https://research-explorer.ista.ac.at/record/12704
DOI: 10.1109/LRA.2023.3240930
WoS: 000936534100012
arXiv: 2204.07373

García-Romero, Á., Waters, J. E., Jethwa, R. B., Bond, A. D., Colebatch, A. L., García-Rodríguez, R., &; Wright, D. S. (2023). Highly adaptive nature of group 15 tris(quinolyl) ligandsstudies with coinage metals. Inorganic Chemistry. American Chemical Society.https://doi.org/10.1021/acs.inorgchem.3c00057 
LibreCat: https://research-explorer.ista.ac.at/record/12737
DOI: 10.1021/acs.inorgchem.3c00057
WoS: 000956110300001
PMID: 36883367

Volosniev, A., Shiva Kumar, A., Lorenc, D., Ashourishokri, Y., Zhumekenov, A. A., Bakr, O. M.,https://doi.org/10.1103/physrevlett.130.106901__Alpichshev, Z. (2023). Spin-electric coupling in lead halide perovskites. Physical Review Letters. American Physical Society.https://doi.org/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