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 | 
Regular methods for operator precedence languages
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
2023 | Published | Thesis | IST-REx-ID: 13286 |
Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
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
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.
2023 | Draft | Preprint | IST-REx-ID: 13312 |
Radio frequency driven superconducting diode and parity conserving Cooper pair transport in a two-dimensional germanium hole gas
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.A. Servin, K. Aggarwal, M. Janik, T. Adletzberger, R.S. Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.A. Servin, K. Aggarwal, M. Janik, T. Adletzberger, R.S. Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
2023 | Published | Conference Paper | IST-REx-ID: 14086 |
Faster submodular maximization for several classes of matroids
M. Henzinger, P. Liu, J. Vondrák, D.W. Zheng, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Henzinger, P. Liu, J. Vondrák, D.W. Zheng, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14084 |
Parameter estimation for Gibbs distributions
D.G. Harris, V. Kolmogorov, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
D.G. Harris, V. Kolmogorov, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 13967 |
Stopping criteria for value iteration on stochastic games with quantitative objectives
J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14405 |
Hypernode automata
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Thesis | IST-REx-ID: 14374 |
Boundary superconductivity in BCS theory
B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 13207 |
Boundary superconductivity in the BCS model
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
2023 | Published | Thesis | IST-REx-ID: 14539 |
Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 14587 |
Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
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
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.
2023 | Published | Thesis | IST-REx-ID: 14651 |
Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus
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
L.S. Arathoon, Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus, Institute of Science and Technology Austria, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14923 |
Mismatched estimation of non-symmetric rank-one matrices corrupted by structured noise
T. Fu, Y. Liu, J. Barbier, M. Mondelli, S. Liang, T. Hou, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 1178–1183.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Fu, Y. Liu, J. Barbier, M. Mondelli, S. Liang, T. Hou, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 1178–1183.
2023 | Published | Journal Article | IST-REx-ID: 17078 |
RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces
A.V. Dass, S. Wunnava, J. Langlais, B. von der Esch, M. Krusche, L. Ufer, N. Chrisam, R.C.A. Dubini, F. Gartner, S. Angerpointner, C.F. Dirscherl, P. Rovo, C.B. Mast, J.E. Šponer, C. Ochsenfeld, E. Frey, D. Braun, ChemSystemsChem 5 (2023).
[Published Version]
View
| Files available
| DOI
A.V. Dass, S. Wunnava, J. Langlais, B. von der Esch, M. Krusche, L. Ufer, N. Chrisam, R.C.A. Dubini, F. Gartner, S. Angerpointner, C.F. Dirscherl, P. Rovo, C.B. Mast, J.E. Šponer, C. Ochsenfeld, E. Frey, D. Braun, ChemSystemsChem 5 (2023).
2023 | Published | Journal Article | IST-REx-ID: 19471 |
Neural basis for fasting activation of the hypothalamic–pituitary–adrenal axis
A.M. Douglass, J.M. Resch, J.C. Madara, H. Kucukdereli, O. Yizhar, A. Grama, M. Yamagata, Z. Yang, B.B. Lowell, Nature 620 (2023) 154–162.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
A.M. Douglass, J.M. Resch, J.C. Madara, H. Kucukdereli, O. Yizhar, A. Grama, M. Yamagata, Z. Yang, B.B. Lowell, Nature 620 (2023) 154–162.
2023 | Published | Journal Article | IST-REx-ID: 19487 |
Integral points on cubic twists of Mordell curves
S. Chan, Mathematische Annalen 388 (2023) 2275–2288.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Chan, Mathematische Annalen 388 (2023) 2275–2288.
2023 | Published | Journal Article | IST-REx-ID: 12709 |
Computing the multicover bifiltration
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, Discrete and Computational Geometry 70 (2023) 376–405.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, Discrete and Computational Geometry 70 (2023) 376–405.
2023 | Published | Journal Article | IST-REx-ID: 14780 |
Spiked multiplicative random matrices and principal components
X. Ding, H.C. Ji, Stochastic Processes and Their Applications 163 (2023) 25–60.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
X. Ding, H.C. Ji, Stochastic Processes and Their Applications 163 (2023) 25–60.
2023 | Submitted | Conference Paper | IST-REx-ID: 14974 |
Causality in the time of LLMs: Round table discussion results of CLeaR 2023
C. Zhang, D. Janzing, M. van der Schaar, F. Locatello, P. Spirtes, K. Zhang, B. Schölkopf, C. Uhler, in:, 2nd Conference on Causal Learning and Reasoning, n.d.
[Submitted Version]
View
| Files available
C. Zhang, D. Janzing, M. van der Schaar, F. Locatello, P. Spirtes, K. Zhang, B. Schölkopf, C. Uhler, in:, 2nd Conference on Causal Learning and Reasoning, n.d.
2023 | Published | Thesis | IST-REx-ID: 12726
Synchronization in collectively moving active matter
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.