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.
6127 Publications
2023 | Published | Conference Paper | IST-REx-ID: 13292 | 
T. A. Henzinger, P. Kebis, N. A. Mazzocchi, and N. E. Sarac, “Regular methods for operator precedence languages,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261, p. 129:1--129:20.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Thesis | IST-REx-ID: 13286 |
M. Valentini, “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.
[Published Version]
View
| Files available
| DOI
2023 | Draft | Preprint | IST-REx-ID: 13312 |
M. Valentini et al., “Radio frequency driven superconducting diode and parity conserving Cooper pair transport in a two-dimensional germanium hole gas,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14086 |
M. Henzinger, P. Liu, J. Vondrák, and D. W. Zheng, “Faster submodular maximization for several classes of matroids,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14084 |
D. G. Harris and V. Kolmogorov, “Parameter estimation for Gibbs distributions,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13967 |
J. Kretinsky, T. Meggendorfer, and M. Weininger, “Stopping criteria for value iteration on stochastic games with quantitative objectives,” in 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, MA, United States, 2023, vol. 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14374 |
B. Roos, “Boundary superconductivity in BCS theory,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13207 |
C. Hainzl, B. Roos, and R. Seiringer, “Boundary superconductivity in the BCS model,” Journal of Spectral Theory, vol. 12, no. 4. EMS Press, pp. 1507–1540, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14539 |
D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14587 |
A. Marveggio, “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.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14651 |
L. S. Arathoon, “Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14923 |
T. Fu, Y. Liu, J. Barbier, M. Mondelli, S. Liang, and T. Hou, “Mismatched estimation of non-symmetric rank-one matrices corrupted by structured noise,” in Proceedings of 2023 IEEE International Symposium on Information Theory, Taipei, Taiwan, 2023, pp. 1178–1183.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 17078 |
A. V. Dass et al., “RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces,” ChemSystemsChem, vol. 5, no. 1. Wiley, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12709 |
R. Corbet, M. Kerber, M. Lesnick, and G. F. Osang, “Computing the multicover bifiltration,” Discrete and Computational Geometry, vol. 70. Springer Nature, pp. 376–405, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14780 |
X. Ding and H. C. Ji, “Spiked multiplicative random matrices and principal components,” Stochastic Processes and their Applications, vol. 163. Elsevier, pp. 25–60, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Thesis | IST-REx-ID: 12726
M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14530 |
M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023.
[Updated Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12787 |
J. Svoboda, J. Tkadlec, K. Kaveh, and K. Chatterjee, “Coexistence times in the Moran process with environmental heterogeneity,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 479, no. 2271. The Royal Society, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Research Data Reference | IST-REx-ID: 14812 |
S. Stankowski, “Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14919 |
T. Shaw, P. Buri, M. McCarthy, E. Miles, and F. Pellicciotti, “Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)