Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5502 Publications
2023 | Published | Journal Article | IST-REx-ID: 10173 | 
Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields
N. Clozeau, Stochastics and Partial Differential Equations: Analysis and Computations 11 (2023) 1254–1378.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
N. Clozeau, Stochastics and Partial Differential Equations: Analysis and Computations 11 (2023) 1254–1378.
2023 | Published | Journal Article | IST-REx-ID: 10405 |
Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.
2023 | Published | Journal Article | IST-REx-ID: 10550 |
Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion
K. Fellner, J.L. Fischer, M. Kniely, B.Q. Tang, Journal of Nonlinear Science 33 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Fellner, J.L. Fischer, M. Kniely, B.Q. Tang, Journal of Nonlinear Science 33 (2023).
2023 | Published | Journal Article | IST-REx-ID: 10551 |
The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles
F. Cornalba, J.L. Fischer, Archive for Rational Mechanics and Analysis 247 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
F. Cornalba, J.L. Fischer, Archive for Rational Mechanics and Analysis 247 (2023).
2023 | Published | Journal Article | IST-REx-ID: 10770 |
Where do mistakes lead? A survey of games with incompetent players
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.
[Published Version]
View
| Files available
| DOI
| WoS
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.
2023 | Published | Journal Article | IST-REx-ID: 9652 |
Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
2023 | Published | Journal Article | IST-REx-ID: 8682 |
The Hasse principle for random Fano hypersurfaces
T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203.
2023 | Published | Journal Article | IST-REx-ID: 9034 |
Integral points of bounded height on a log Fano threefold
F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808.
2023 | Published | Journal Article | IST-REx-ID: 13127 |
Dynamic pathogen detection and social feedback shape collective hygiene in ants
B.E. Casillas Perez, K. Bodova, A.V. Grasse, G. Tkačik, S. Cremer, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B.E. Casillas Perez, K. Bodova, A.V. Grasse, G. Tkačik, S. Cremer, Nature Communications 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13128 |
An energy decomposition theorem for matrices and related questions
A. Mohammadi, T. Pham, Y. Wang, Canadian Mathematical Bulletin 66 (2023) 1280–1295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Mohammadi, T. Pham, Y. Wang, Canadian Mathematical Bulletin 66 (2023) 1280–1295.
2023 | Published | Journal Article | IST-REx-ID: 13134
Discrete analytical objects in the body-centered cubic grid
L. Čomić, G. Largeteau-Skapin, R. Zrour, R. Biswas, E. Andres, Pattern Recognition 142 (2023).
View
| DOI
| WoS
L. Čomić, G. Largeteau-Skapin, R. Zrour, R. Biswas, E. Andres, Pattern Recognition 142 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13135 |
Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity
A. Agresti, M. Veraar, Journal of Differential Equations 368 (2023) 247–300.
[Published Version]
View
| Files available
| DOI
| WoS
A. Agresti, M. Veraar, Journal of Differential Equations 368 (2023) 247–300.
2023 | Published | Journal Article | IST-REx-ID: 13136 |
Control of tissue dimensions in the developing neural tube and somites
T. Minchington, S. Rus, A. Kicheva, Current Opinion in Systems Biology 35 (2023).
[Published Version]
View
| Files available
| DOI
T. Minchington, S. Rus, A. Kicheva, Current Opinion in Systems Biology 35 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13138 |
Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 13139 |
Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
2023 | Published | Conference Paper | IST-REx-ID: 13141 |
Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
[Published Version]
View
| Files available
| DOI
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
2023 | Published | Conference Paper | IST-REx-ID: 13142 |
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
2023 | Published | Conference Paper | IST-REx-ID: 13143 |
Certifying giant nonprimes
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
2023 | Published | Journal Article | IST-REx-ID: 13145 |
A Mecke-type characterization of the Dirichlet–Ferguson measure
L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28 (2023) 1–12.
[Published Version]
View
| Files available
| DOI
| WoS
L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28 (2023) 1–12.
2023 | Published | Conference Abstract | IST-REx-ID: 13161 |
Running Windows-applications on a Linux HPC cluster using WINE
A. Schlögl, S. Elefante, V.-V. Hodirnau, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, 2023, pp. 59–59.
[Submitted Version]
View
| Files available
A. Schlögl, S. Elefante, V.-V. Hodirnau, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, 2023, pp. 59–59.