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.
10945 Publications
2023 | Published | Conference Paper | IST-REx-ID: 13292 | 
Henzinger, Thomas A., et al. “Regular Methods for Operator Precedence Languages.” 50th International Colloquium on Automata, Languages, and Programming, vol. 261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20, doi:10.4230/LIPIcs.ICALP.2023.129.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Thesis | IST-REx-ID: 13286 |
Valentini, Marco. Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13286.
[Published Version]
View
| Files available
| DOI
2023 | Draft | Preprint | IST-REx-ID: 13312 |
Valentini, Marco, et al. “Radio Frequency Driven Superconducting Diode and Parity Conserving Cooper Pair Transport in a Two-Dimensional Germanium Hole Gas.” ArXiv, 2306.07109, doi:10.48550/arXiv.2306.07109.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14086 |
Henzinger, Monika, et al. “Faster Submodular Maximization for Several Classes of Matroids.” 50th International Colloquium on Automata, Languages, and Programming, vol. 261, 74, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ICALP.2023.74.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14084 |
Harris, David G., and Vladimir Kolmogorov. “Parameter Estimation for Gibbs Distributions.” 50th International Colloquium on Automata, Languages, and Programming, vol. 261, 72, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ICALP.2023.72.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13967 |
Kretinsky, Jan, et al. “Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.” 38th Annual ACM/IEEE Symposium on Logic in Computer Science, vol. 2023, Institute of Electrical and Electronics Engineers, 2023, doi:10.1109/LICS56636.2023.10175771.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14405 |
Bartocci, Ezio, et al. “Hypernode Automata.” 34th International Conference on Concurrency Theory, vol. 279, 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.CONCUR.2023.21.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14374 |
Roos, Barbara. Boundary Superconductivity in BCS Theory. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14374.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13207 |
Hainzl, Christian, et al. “Boundary Superconductivity in the BCS Model.” Journal of Spectral Theory, vol. 12, no. 4, EMS Press, 2023, pp. 1507–1540, doi:10.4171/JST/439.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
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, doi:10.15479/14539.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14587 |
Marveggio, Alice. Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14587.
[Published Version]
View
| Files available
| DOI
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, doi:10.15479/at:ista:14651.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14923 |
Fu, Teng, et al. “Mismatched Estimation of Non-Symmetric Rank-One Matrices Corrupted by Structured Noise.” Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 1178–83, doi:10.1109/isit54713.2023.10206671.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 17078 |
Dass, Avinash Vicholous, et al. “RNA Oligomerisation without Added Catalyst from 2′,3′‐cyclic Nucleotides by Drying at Air-Water Interfaces.” ChemSystemsChem, vol. 5, no. 1, e202200026, Wiley, 2023, doi:10.1002/syst.202200026.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 19471 |
Douglass, Amelia M., et al. “Neural Basis for Fasting Activation of the Hypothalamic–Pituitary–Adrenal Axis.” Nature, vol. 620, no. 7972, Springer Nature, 2023, pp. 154–62, doi:10.1038/s41586-023-06358-0.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 19487 |
Chan, Stephanie. “Integral Points on Cubic Twists of Mordell Curves.” Mathematische Annalen, vol. 388, no. 3, Springer Nature, 2023, pp. 2275–88, doi:10.1007/s00208-023-02578-x.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12709 |
Corbet, René, et al. “Computing the Multicover Bifiltration.” Discrete and Computational Geometry, vol. 70, Springer Nature, 2023, pp. 376–405, doi:10.1007/s00454-022-00476-8.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14780 |
Ding, Xiucai, and Hong Chang Ji. “Spiked Multiplicative Random Matrices and Principal Components.” Stochastic Processes and Their Applications, vol. 163, Elsevier, 2023, pp. 25–60, doi:10.1016/j.spa.2023.05.009.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Submitted | Conference Paper | IST-REx-ID: 14974 |
Zhang, Cheng, et al. “Causality in the Time of LLMs: Round Table Discussion Results of CLeaR 2023.” 2nd Conference on Causal Learning and Reasoning.
[Submitted Version]
View
| Files available
2023 | Published | Thesis | IST-REx-ID: 12726
Riedl, Michael. Synchronization in Collectively Moving Active Matter. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12726.
View
| Files available
| DOI