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.
10505 Publications
2024 | Published | Conference Paper | IST-REx-ID: 17099 | 
Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, in:, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, in:, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18755 |
Strongly secure universal thresholdizer
E. Ebrahimi, A. Yadav, in:, 30th International Conference on the Theory and Application of Cryptology and Information Security, Springer Nature, 2024, pp. 207–239.
[Preprint]
View
| DOI
| Download Preprint (ext.)
E. Ebrahimi, A. Yadav, in:, 30th International Conference on the Theory and Application of Cryptology and Information Security, Springer Nature, 2024, pp. 207–239.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18753 |
On heroes in digraphs with forbidden induced forests
A. Carbonero, H. Koerts, B. Moore, S. Spirkl, European Journal of Combinatorics 125 (2024).
View
| DOI
| Download None (ext.)
| arXiv
A. Carbonero, H. Koerts, B. Moore, S. Spirkl, European Journal of Combinatorics 125 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18779 |
A novel image segmentation method based on spatial autocorrelation identifies A-type potassium channel clusters in the thalamus
C. Dávid, K. Giber, M.K. Szigeti, M. Köllő, Z. Nusser, L. Acsady, ELife 12 (2024).
[Published Version]
View
| Files available
| DOI
C. Dávid, K. Giber, M.K. Szigeti, M. Köllő, Z. Nusser, L. Acsady, ELife 12 (2024).
2024 | Published | Journal Article | IST-REx-ID: 10018 |
Integral points on singular del Pezzo surfaces
U. Derenthal, F.A. Wilsch, Journal of the Institute of Mathematics of Jussieu 23 (2024) 1259–1294.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
U. Derenthal, F.A. Wilsch, Journal of the Institute of Mathematics of Jussieu 23 (2024) 1259–1294.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 10045 |
Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, Mathematical Programming (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Dvorak, V. Kolmogorov, Mathematical Programming (2024).
2024 | Published | Journal Article | IST-REx-ID: 9651 |
Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, Geometriae Dedicata 218 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dymond, V. Kaluza, Geometriae Dedicata 218 (2024).
2024 | Published | Journal Article | IST-REx-ID: 12738 |
Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design 63 (2024) 40–80.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design 63 (2024) 40–80.
2024 | Published | Journal Article | IST-REx-ID: 13129 |
Bias in the representative volume element method: Periodize the ensemble instead of its realizations
N. Clozeau, M. Josien, F. Otto, Q. Xu, Foundations of Computational Mathematics 24 (2024) 1305–1387.
[Published Version]
View
| Files available
| DOI
| WoS
N. Clozeau, M. Josien, F. Otto, Q. Xu, Foundations of Computational Mathematics 24 (2024) 1305–1387.
2024 | Published | Journal Article | IST-REx-ID: 13182 |
Geometric characterization of the persistence of 1D maps
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology 8 (2024) 1101–1119.
[Published Version]
View
| Files available
| DOI
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology 8 (2024) 1101–1119.
2024 | Published | Journal Article | IST-REx-ID: 13974 |
The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, Discrete and Computational Geometry 72 (2024) 831–848.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, Discrete and Computational Geometry 72 (2024) 831–848.
2024 | Published | Thesis | IST-REx-ID: 18135 |
Energies of dilute Fermi gases and universalities in BCS theory
A.B. Lauritsen, Energies of Dilute Fermi Gases and Universalities in BCS Theory, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
A.B. Lauritsen, Energies of Dilute Fermi Gases and Universalities in BCS Theory, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 14463 |
Chromosomal inversion polymorphisms are widespread across the species ranges of rough periwinkles (Littorina saxatilis and L. arcana)
J. Reeve, R.K. Butlin, E.L. Koch, S. Stankowski, R. Faria, Molecular Ecology 33 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Reeve, R.K. Butlin, E.L. Koch, S. Stankowski, R. Faria, Molecular Ecology 33 (2024).
2024 | Published | Journal Article | IST-REx-ID: 14542 |
Universality in low-dimensional BCS theory
S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics 36 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics 36 (2024).
2024 | Published | Journal Article | IST-REx-ID: 12486 |
Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations
A. Agresti, Stochastics and Partial Differential Equations: Analysis and Computations 12 (2024) 1907–1981.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Agresti, Stochastics and Partial Differential Equations: Analysis and Computations 12 (2024) 1907–1981.
2024 | Published | Journal Article | IST-REx-ID: 14734
Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4
S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods 8 (2024).
View
| DOI
| PubMed | Europe PMC
S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods 8 (2024).
2024 | Published | Journal Article | IST-REx-ID: 15313 |
Dynamics and scaling of internally cooled convection
L.N. Agasthya, C.J. Muller, Communications in Nonlinear Science and Numerical Simulation 134 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
L.N. Agasthya, C.J. Muller, Communications in Nonlinear Science and Numerical Simulation 134 (2024).
2024 | Published | Journal Article | IST-REx-ID: 14797 |
Annealed quantitative estimates for the quadratic 2D-discrete random matching problem
N. Clozeau, F. Mattesini, Probability Theory and Related Fields 190 (2024) 485–541.
[Published Version]
View
| Files available
| DOI
| arXiv
N. Clozeau, F. Mattesini, Probability Theory and Related Fields 190 (2024) 485–541.
2024 | Published | Journal Article | IST-REx-ID: 14934 |
A discovery tour in random Riemannian geometry
L. Dello Schiavo, E. Kopfer, K.T. Sturm, Potential Analysis 61 (2024) 501–553.
[Published Version]
View
| Files available
| DOI
| arXiv
L. Dello Schiavo, E. Kopfer, K.T. Sturm, Potential Analysis 61 (2024) 501–553.
2024 | Published | Journal Article | IST-REx-ID: 15098 |
Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions
A. Agresti, E. Luongo, Mathematische Annalen 390 (2024) 2727–2766.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Agresti, E. Luongo, Mathematische Annalen 390 (2024) 2727–2766.