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.
370 Publications
2023 | Published | Conference Poster | IST-REx-ID: 12736 | 
Aksenov, Vitaly, Trevor A Brown, Alexander Fedorov, and Ilya Kokorin. Unexpected Scaling in Path Copying Trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, 2023. https://doi.org/10.1145/3572848.3577512.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Abstract | IST-REx-ID: 14863 |
Polesello, Andrea, Caroline J Muller, Claudia Pasquero, and Agostino N. Meroni. “Intensification Mechanisms of Tropical Cyclones.” In EGU General Assembly 2023. European Geosciences Union, 2023. https://doi.org/10.5194/egusphere-egu23-6157.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12890 |
Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. “Stochastic Cellular Automaton Model of Culture Formation.” Physical Review E. American Physical Society, 2023. https://doi.org/10.1103/PhysRevE.108.054307.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2023 | Research Data | IST-REx-ID: 12869 |
Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. “Research Data for: A Stochastic Cellular Automaton Model of Culture Formation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12869.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12545 |
Rojas Vega, Mauricio Nicolas, Pablo De Castro, and Rodrigo Soto. “Wetting Dynamics by Mixtures of Fast and Slow Self-Propelled Particles.” Physical Review E. American Physical Society, 2023. https://doi.org/10.1103/PhysRevE.107.014608.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13221 |
Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Safety and Liveness of Quantitative Automata.” In 34th International Conference on Concurrency Theory, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37703-7_17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 12467 |
Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Safety and Liveness.” In 26th International Conference Foundations of Software Science and Computation Structures, 13992:349–70. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30829-1_17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Thesis | IST-REx-ID: 12716 |
Burnett, Laura. “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, 2023. https://doi.org/10.15479/at:ista:12716.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. ACM, 2023. https://doi.org/10.1145/3606037.3606836.
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 12676 |
Chatterjee, Krishnendu, Tobias Meggendorfer, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.” In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, 4590–4605. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/1.9781611977554.ch173.
[Published Version]
View
| DOI
| Download Published Version (ext.)
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 | Journal Article | IST-REx-ID: 14425 |
Zeng, Zezhu, Felix Wodaczek, Keyang Liu, Frederick Stein, Jürg Hutter, Ji Chen, and Bingqing Cheng. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-41865-8.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13049 |
Freire, Marco, Manas Bhargava, Camille Schreck, Pierre-Alexandre Hugron, Bernd Bickel, and Sylvain Lefebvre. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592411.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 12349 |
Gupta, Divyansh, Wiktor F Mlynarski, Anton L Sumser, Olga Symonova, Jan Svaton, and Maximilian A Jösch. “Panoramic Visual Statistics Shape Retina-Wide Organization of Receptive Fields.” Nature Neuroscience. Springer Nature, 2023. 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, Divyansh, Anton L Sumser, and Maximilian A Jösch. “Research Data for: Panoramic Visual Statistics Shape Retina-Wide Organization of Receptive Fields.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12370.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 12859 |
Bombari, Simone, Shayan Kiyani, and Marco Mondelli. “Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent Kernels.” In Proceedings of the 40th International Conference on Machine Learning, 202:2738–76. ML Research Press, 2023.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14735 |
Stefo, Christos, Zhuolun Xiang, and Eleftherios Kokoris Kogias. “Executing and Proving over Dirty Ledgers.” In 27th International Conference on Financial Cryptography and Data Security, 13950:3–20. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-47754-6_1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Published | Journal Article | IST-REx-ID: 13314 |
Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02218-w.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
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