Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
239 Publications
2023 | Thesis | IST-REx-ID: 12716 |
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
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12846 |
Chern, A., & Ishida, S. (n.d.). Area formula for spherical polygons via prequantization. arXiv. https://doi.org/10.48550/arXiv.2303.14555
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13053 |
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 .
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 12826 |
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
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12467 |
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
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 13292 |
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
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12545 |
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12723 |
Volosniev, A., Shiva Kumar, A., Lorenc, D., Ashourishokri, Y., Zhumekenov, A. A., Bakr, O. M., … Alpichshev, Z. (2023). Spin-electric coupling in lead halide perovskites. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.130.106901
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12724 |
Volosniev, A., Shiva Kumar, A., Lorenc, D., Ashourishokri, Y., Zhumekenov, A., Bakr, O. M., … Alpichshev, Z. (2023). Effective model for studying optical properties of lead halide perovskites. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.107.125201
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13166 |
Vetrova, A. A., Kupaeva, D. M., Kizenko, A., Lebedeva, T. S., Walentek, P., Tsikolia, N., & Kremnyov, S. V. (2023). The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-023-35979-8
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13138 |
Orlov, P., Tiutiakina, A., Sharipov, R., Petrova, E., Gritsev, V., & Kurlov, D. V. (2023). Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.107.184312
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Thesis | IST-REx-ID: 13074 |
Peste, E.-A. (2023). Efficiency and generalization of sparse neural networks. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13074
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12521 |
Mrnjavac, A., Khudiakova, K., Barton, N. H., & Vicoso, B. (2023). Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution. Evolution Letters. Oxford University Press. https://doi.org/10.1093/evlett/qrac004
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12762 |
Lombardi, F., Pepic, S., Shriki, O., Tkačik, G., & De Martino, D. (2023). Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain. Nature Computational Science. Springer Nature. https://doi.org/10.1038/s43588-023-00410-9
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Thesis | IST-REx-ID: 13175 |
Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13175
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12900
Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12900
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13310 |
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14261 |
Gamper, J., Kluibenschedl, F., Weiss, A. K. H., & Hofer, T. S. (2023). 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. American Chemical Society. https://doi.org/10.1021/acs.jpclett.3c01707
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 12732 |
Brighi, P. (2023). Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12732
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13120 |
Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15
[Published Version]
View
| Files available
| DOI
| arXiv