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.
636 Publications
2023 | Research Data Reference | IST-REx-ID: 14995 | 
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
2023 | Epub ahead of print | Conference Paper | IST-REx-ID: 15023 |
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
2023 | Research Data Reference | IST-REx-ID: 15027 |
aggregation_data
S. Curk, (2023).
[Published Version]
View
| Files available
| Download Published Version (ext.)
S. Curk, (2023).
2023 | Research Data Reference | IST-REx-ID: 15035 |
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Chalupa, T.A. Henzinger, (2023).
2023 | Submitted | Preprint | IST-REx-ID: 15039 |
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, ArXiv (n.d.).
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 9651 |
Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, Geometriae Dedicata (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
M. Dymond, V. Kaluza, Geometriae Dedicata (2023).
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: 10145 |
Ergodic decomposition of Dirichlet forms via direct integrals and applications
L. Dello Schiavo, Potential Analysis 58 (2023) 573–615.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Dello Schiavo, Potential Analysis 58 (2023) 573–615.
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 | Thesis | IST-REx-ID: 12900
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 13200 |
Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action
L. Qiu, R. Sahu, W.J. Hease, G.M. Arnold, J.M. Fink, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
L. Qiu, R. Sahu, W.J. Hease, G.M. Arnold, J.M. Fink, Nature Communications 14 (2023).
2023 | Published | Thesis | IST-REx-ID: 13175 |
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.