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.
10503 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14518 | 
Avni, Guy, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, and Dorde Zikelic. “Reachability Poorman Discrete-Bidding Games.” In Frontiers in Artificial Intelligence and Applications, 372:141–48. IOS Press, 2023. https://doi.org/10.3233/FAIA230264.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14317 |
Akshay, S., Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” In International Conference on Computer Aided Verification, 13966:86–112. Springer Nature, 2023. 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, Matin, Krishnendu Chatterjee, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.” In 21st International Symposium on Automated Technology for Verification and Analysis, 14215:357–79. Springer Nature, 2023. 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, Michelle X. “Advances in Efficiency and Privacy in Payment Channel Network Analysis.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14506.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14243 |
Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Bidding Graph Games with Partially-Observable Budgets.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:5464–71, 2023. 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, Zeta, Tomasz Lizurej, Tomasz Michalak, and Michelle X Yeo. “Lightning Creation Games.” In 43rd International Conference on Distributed Computing Systems, 2023:603–13. IEEE, 2023. 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, Victoria. “Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12826.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14539 |
Zikelic, Dorde. “Automated Verification and Control of Infinite State Stochastic Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14539.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12885 |
Calcabrini, Mariano. “Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12885.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 13074 |
Krumes, Alexandra. “Efficiency and Generalization of Sparse Neural Networks.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13074.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14778 |
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” Formal Aspects of Computing. Association for Computing Machinery, 2023. https://doi.org/10.1145/3585391.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13053 |
Krumes, Alexandra, Adrian Vladu, Eldar Kurtic, Christoph Lampert, and Dan-Adrian Alistarh. “CrAM: A Compression-Aware Minimizer.” In 11th International Conference on Learning Representations . OpenReview, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14651 |
Arathoon, Louise S. “Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14651.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12732 |
Brighi, Pietro. “Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12732.
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14058 |
Puixeu Sala, Gemma. “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, 2023. https://doi.org/10.15479/at:ista:14058.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 12817 |
Danzl, Johann G. “Research Data for the Publication ‘Dense 4D Nanoscale Reconstruction of Living Brain Tissue.’” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12817.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14770
Danzl, Johann G, and Philipp Velicky. “LIONESS Enables 4D Nanoscale Reconstruction of Living Brain Tissue.” Nature Methods. Springer Nature, 2023. https://doi.org/10.1038/s41592-023-01937-5.
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13267 |
Velicky, Philipp, Eder Miguel Villalba, Julia M Michalska, Julia Lyudchik, Donglai Wei, Zudi Lin, Jake Watson, et al. “Dense 4D Nanoscale Reconstruction of Living Brain Tissue.” Nature Methods. Springer Nature, 2023. 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, Ryuichi. “Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13173.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14323 |
Kuzmicz-Kowalska, Katarzyna. “Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14323.
[Published Version]
View
| Files available
| DOI