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.




4841 Publications

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
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.)
 
2023 | Epub ahead of print | Conference Paper | IST-REx-ID: 15023 | OA
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
 
2023 | Research Data Reference | IST-REx-ID: 15027 | OA
aggregation_data
S. Curk, (2023).
[Published Version] View | Files available | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Submitted | Preprint | IST-REx-ID: 15039 | OA
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 9651 | OA
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
 
2023 | Published | Journal Article | IST-REx-ID: 9652 | OA
Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 10145 | OA
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
 
2023 | Published | Journal Article | IST-REx-ID: 10173 | OA
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
 
2023 | Published | Journal Article | IST-REx-ID: 10405 | OA
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
 
2023 | Published | Journal Article | IST-REx-ID: 10550 | OA
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
 
2023 | Published | Journal Article | IST-REx-ID: 10551 | OA
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
 
2023 | Published | Journal Article | IST-REx-ID: 10770 | OA
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
 
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
 
2023 | Published | Journal Article | IST-REx-ID: 13200 | OA
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
 
2023 | Published | Thesis | IST-REx-ID: 13175 | OA
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 7577 | OA
Weak convergence for variational inequalities with inertial-type method
Y. Shehu, O.S. Iyiola, Applicable Analysis 101 (2022) 192–216.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 7791 | OA
When different norms lead to same billiard trajectories?
A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312.
[Published Version] View | Files available | DOI | arXiv
 
2022 | Published | Preprint | IST-REx-ID: 8125 | OA
High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating
W.F. Podlaski, E.J. Agnes, T.P. Vogels, BioRxiv (2022).
[Preprint] View | DOI | Download Preprint (ext.)
 
2022 | Published | Journal Article | IST-REx-ID: 12243 | OA
Directional extremal statistics for Ginibre eigenvalues
G. Cipolloni, L. Erdös, D.J. Schröder, Y. Xu, Journal of Mathematical Physics 63 (2022).
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed