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.




6293 Publications

2023 | Published | Conference Paper | IST-REx-ID: 15023 | OA
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. 2023. Compositional policy learning in stochastic control systems with formal guarantees. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, NeurIPS, .
[Published Version] View | Files available | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 15027 | OA
Curk S. 2023. aggregation_data, Figshare.
[Published Version] View | Files available | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers, Zenodo, 10.5281/ZENODO.8191723.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Draft | Preprint | IST-REx-ID: 15039 | OA
Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv, 2311.06103.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 15173 | OA
Kwan MA, Sah A, Sawhney M. 2023. Enumerating matroids and linear spaces. Comptes Rendus Mathematique. 361(G2), 565–575.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Poster | IST-REx-ID: 15292 | OA
Chen Y-L, Ly M, Wojtan C. 2023. Unified treatment of contact, friction and shock-propagation in rigid body animation, ACM,p.
View | Files available | DOI
 
2023 | Published | Conference Paper | IST-REx-ID: 15363 | OA
Safaryan M, Krumes A, Alistarh D-A. 2023. Knowledge distillation performs partial variance reduction. 36th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, NeurIPS, vol. 36.
[Published Version] View | Files available | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 15364 | OA
Charikar M, Hu L, Henzinger M, Vötsch M, Waingarten E. 2023. Simple, scalable and effective clustering via one-dimensional projections. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, NeurIPS, vol. 36.
[Published Version] View | Files available | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 10770 | OA
Graham T, Kleshnina M, Filar JA. 2023. Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. 13, 231–264.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 11434
GOSWAMI BB. 2023. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 60, 427–442.
View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 10145 | OA
Dello Schiavo L. 2023. Ergodic decomposition of Dirichlet forms via direct integrals and applications. Potential Analysis. 58, 573–615.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 10173 | OA
Clozeau N. 2023. Optimal decay of the parabolic semigroup in stochastic homogenization  for correlated coefficient fields. Stochastics and Partial Differential Equations: Analysis and Computations. 11, 1254–1378.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 10405 | OA
Cipolloni G, Erdös L, Schröder DJ. 2023. Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices. Communications on Pure and Applied Mathematics. 76(5), 946–1034.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 10550 | OA
Fellner K, Fischer JL, Kniely M, Tang BQ. 2023. Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion. Journal of Nonlinear Science. 33, 66.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 10551 | OA
Cornalba F, Fischer JL. 2023. The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. 247(5), 76.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 17074 | OA
Brooks M, Seiringer R. 2023. Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases. Probability and Mathematical Physics. 3(4), 939–1000.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 17079 | OA
Serebryakov A, Simm N, Dubach G. 2023. Characteristic polynomials of random truncations: Moments, duality and asymptotics. Random Matrices: Theory and Applications. 12(01), 2250049.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Submitted | Preprint | IST-REx-ID: 17100 | OA
Giambartolomei G, Frederik Mallmann-Trenn FM-T, Saona Urmeneta RJ. Prophet inequalities: Separating random order from order selection. arXiv, 2304.04024.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Draft | Preprint | IST-REx-ID: 17173 | OA
Reker J. Multi-point functional central limit theorem for Wigner Matrices. arXiv, 2307.11028.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Draft | Preprint | IST-REx-ID: 17174 | OA
Erdös L, Henheik SJ, Reker J, Riabov V. Prethermalization for deformed Wigner Matrices. arXiv, 2310.06677.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed