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.
237 Publications
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
2023 | Thesis | IST-REx-ID: 13081
Bocanegra, L. (2023). Epithelial dynamics during mouse neural tube development. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13081
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12349 |
Gupta, D., Mlynarski, W. F., Sumser, A. L., Symonova, O., Svaton, J., & Jösch, M. A. (2023). Panoramic visual statistics shape retina-wide organization of receptive fields. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/s41593-023-01280-0
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 12370 |
Gupta, D., Sumser, A. L., & Jösch, M. A. (2023). Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12370
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 13331 |
Köse, S. (2023). Exterior algebra and combinatorics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13331
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12680 |
Ivanov, G., & Köse, S. (2023). Erdős-Ko-Rado and Hilton-Milner theorems for two-forms. Discrete Mathematics. Elsevier. https://doi.org/10.1016/j.disc.2023.113363
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv