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.
10502 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14317 | 
Akshay, S., Chatterjee, K., Meggendorfer, T., & Zikelic, D. (2023). MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In International Conference on Computer Aided Verification (Vol. 13966, pp. 86–112). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_5
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14559 |
Ansaripour, M., Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). Learning provably stabilizing neural controllers for discrete-time stochastic systems. In 21st International Symposium on Automated Technology for Verification and Analysis (Vol. 14215, pp. 357–379). Singapore, Singapore: Springer Nature. https://doi.org/10.1007/978-3-031-45329-8_17
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14506 |
Yeo, M. X. (2023). Advances in efficiency and privacy in payment channel network analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/14506
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14243 |
Avni, G., Jecker, I. R., & Zikelic, D. (2023). Bidding graph games with partially-observable budgets. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 5464–5471). Washington, DC, United States. https://doi.org/10.1609/aaai.v37i5.25679
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14490 |
Avarikioti, Z., Lizurej, T., Michalak, T., & Yeo, M. X. (2023). Lightning creation games. In 43rd International Conference on Distributed Computing Systems (Vol. 2023, pp. 603–613). Hong Kong, China: IEEE. https://doi.org/10.1109/ICDCS57875.2023.00037
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | 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 | Published | Thesis | IST-REx-ID: 14539 |
Zikelic, D. (2023). Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria. https://doi.org/10.15479/14539
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12885 |
Calcabrini, M. (2023). Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12885
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 13074 |
Krumes, 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 | Published | Journal Article | IST-REx-ID: 14778 |
Chatterjee, K., Kafshdar Goharshady, E., Novotný, P., Zárevúcky, J., & Zikelic, D. (2023). On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. Association for Computing Machinery. https://doi.org/10.1145/3585391
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13053 |
Krumes, A., Vladu, A., Kurtic, E., Lampert, C., & Alistarh, D.-A. (2023). CrAM: A Compression-Aware Minimizer. In 11th International Conference on Learning Representations . Kigali, Rwanda : OpenReview.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14651 |
Arathoon, L. S. (2023). Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14651
[Published Version]
View
| Files available
| DOI
2023 | Published | 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 | Published | Thesis | IST-REx-ID: 14058 |
Puixeu Sala, G. (2023). The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14058
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 12817 |
Danzl, J. G. (2023). Research data for the publication “Dense 4D nanoscale reconstruction of living brain tissue.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12817
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14770
Danzl, J. G., & Velicky, P. (2023). LIONESS enables 4D nanoscale reconstruction of living brain tissue. Nature Methods. Springer Nature. https://doi.org/10.1038/s41592-023-01937-5
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13267 |
Velicky, P., Miguel Villalba, E., Michalska, J. M., Lyudchik, J., Wei, D., Lin, Z., … Danzl, J. G. (2023). Dense 4D nanoscale reconstruction of living brain tissue. Nature Methods. Springer Nature. https://doi.org/10.1038/s41592-023-01936-6
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 13173 |
Shigemoto, R. (2023). Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13173
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14323 |
Kuzmicz-Kowalska, K. (2023). Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14323
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14032 |
Mukhopadhyay, S., Senior, J. L., Saez Mollejo, J., Puglia, D., Zemlicka, M., Fink, J. M., & Higginbotham, A. P. (2023). Superconductivity from a melted insulator in Josephson junction arrays. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02161-w
[Published Version]
View
| Files available
| DOI
| WoS