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.
10932 Publications
2022 | Research Data | IST-REx-ID: 12522 | 
Valentini, Marco, Pablo San-Jose, Jordi Arbiol, Sara Marti-Sanchez, and Marc Botifoll. “Data for ‘Majorana-like Coulomb Spectroscopy in the Absence of Zero Bias Peaks.’” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/AT:ISTA:12102.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 10850 |
Roos, Barbara, and Robert Seiringer. “Two-Particle Bound States at Interfaces and Corners.” Journal of Functional Analysis. Elsevier, 2022. https://doi.org/10.1016/j.jfa.2022.109455.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10791 |
Hansen, Andi H, Florian Pauler, Michael Riedl, Carmen Streicher, Anna-Magdalena Heger, Susanne Laukoter, Christoph M Sommer, et al. “Tissue-Wide Effects Override Cell-Intrinsic Gene Function in Radial Neuron Migration.” Oxford Open Neuroscience. Oxford University Press, 2022. https://doi.org/10.1093/oons/kvac009.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Conference Paper | IST-REx-ID: 12000 |
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Dorde Zikelic. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” In Proceedings of the 34th International Conference on Computer Aided Verification, 13371:55–78. Springer, 2022. https://doi.org/10.1007/978-3-031-13185-1_4.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12511 |
Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, and Thomas A Henzinger. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i7.20695.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Draft | Preprint | IST-REx-ID: 14600 |
Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2210.05308.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Draft | Preprint | IST-REx-ID: 14601 |
Zikelic, Dorde, Mathias Lechner, Krishnendu Chatterjee, and Thomas A Henzinger. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2205.11991.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11411 |
Surendranadh, Parvathy, Louise S Arathoon, Carina Baskett, David Field, Melinda Pickup, and Nicholas H Barton. “Effects of Fine-Scale Population Structure on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus.” Genetics. Oxford University Press, 2022. https://doi.org/10.1093/genetics/iyac083.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11842 |
Hensel, Sebastian, and Alice Marveggio. “Weak-Strong Uniqueness for the Navier–Stokes Equation for Two Fluids with Ninety Degree Contact Angle and Same Viscosities.” Journal of Mathematical Fluid Mechanics. Springer Nature, 2022. https://doi.org/10.1007/s00021-022-00722-2.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 18876 |
Kocsis, Peter, Peter Súkeník, Guillem Brasó, Matthias Niessner, Laura Leal-Taixé, and Ismail Elezi. “The Unreasonable Effectiveness of Fully-Connected Layers for Low-Data Regimes.” In 36th Conference on Neural Information Processing Systems, 35:1896–1908. Neural Information Processing Systems Foundation, 2022.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 19491 |
Chan, Stephanie, Peter Koymans, Djordjo Milovic, and Carlo Pagano. “The 8-Rank of the Narrow Class Group and the Negative Pell Equation.” Forum of Mathematics, Sigma. Cambridge University Press, 2022. https://doi.org/10.1017/fms.2022.40.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 19490 |
Chan, Stephanie. “Integral Points on the Congruent Number Curve.” Transactions of the American Mathematical Society. American Mathematical Society, 2022. https://doi.org/10.1090/tran/8732.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11402 |
Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” Journal of Computer and System Sciences. Elsevier, 2022. https://doi.org/10.1016/j.jcss.2022.04.003.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12129 |
Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane.” Discrete & Computational Geometry. Springer Nature, 2022. https://doi.org/10.1007/s00454-022-00436-2.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 8286 |
Alistarh, Dan-Adrian, Giorgi Nadiradze, and Amirmojtaba Sabour. “Dynamic Averaging Load Balancing on Cycles.” Algorithmica. Springer Nature, 2022. https://doi.org/10.1007/s00453-021-00905-9.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Thesis | IST-REx-ID: 10759 |
Rzadkowski, Wojciech. “Analytic and Machine Learning Approaches to Composite Quantum Impurities.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:10759.
[Published Version]
View
| Files available
| DOI
2022 | Published | Book Chapter | IST-REx-ID: 20062
Henzinger, Monika. “Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification.” In Principles of Systems Design, edited by Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, and Rupak Majumdar, 13660:292–305. LNCS. Cham: Springer Nature Switzerland, 2022. https://doi.org/10.1007/978-3-031-22337-2_14.
View
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11478 |
Bartalska, Katarina, Verena Hübschmann, Medina Korkut, Ryan J Cubero, Alessandro Venturino, Karl Rössler, Thomas Czech, and Sandra Siegert. “A Systematic Characterization of Microglia-like Cell Occurrence during Retinal Organoid Differentiation.” IScience. Elsevier, 2022. https://doi.org/10.1016/j.isci.2022.104580.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Conference Paper | IST-REx-ID: 12101 |
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Ismael R Jecker, and Jakub Svoboda. “Complexity of Spatial Games.” In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12257 |
Chatterjee, Krishnendu, Jakub Svoboda, Dorde Zikelic, Andreas Pavlogiannis, and Josef Tkadlec. “Social Balance on Networks: Local Minima and Best-Edge Dynamics.” Physical Review E. American Physical Society, 2022. https://doi.org/10.1103/physreve.106.034321.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv