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.

6436 Publications


2023 | Research Data Reference | IST-REx-ID: 14995 | OA
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Published | Conference Paper | IST-REx-ID: 15023 | OA
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, and T. A. Henzinger, “Compositional policy learning in stochastic control systems with formal guarantees,” in 37th Conference on Neural Information Processing Systems, New Orleans, LO, United States, 2023.
[Published Version] View | Files available | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 15027 | OA
S. Curk, “aggregation_data.” Figshare, 2023.
[Published Version] View | Files available | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Draft | Preprint | IST-REx-ID: 15039 | OA
B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 15173 | OA
M. A. Kwan, A. Sah, and M. Sawhney, “Enumerating matroids and linear spaces,” Comptes Rendus Mathematique, vol. 361, no. G2. Academie des Sciences, pp. 565–575, 2023.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Conference Poster | IST-REx-ID: 15292 | OA
Y.-L. Chen, M. Ly, and C. Wojtan, Unified treatment of contact, friction and shock-propagation in rigid body animation. ACM, 2023.
View | Files available | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 15363 | OA
M. Safaryan, A. Krumes, and D.-A. Alistarh, “Knowledge distillation performs partial variance reduction,” in 36th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2023, vol. 36.
[Published Version] View | Files available | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 15364 | OA
M. Charikar, L. Hu, M. Henzinger, M. Vötsch, and E. Waingarten, “Simple, scalable and effective clustering via one-dimensional projections,” in 37th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2023, vol. 36.
[Published Version] View | Files available | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 10770 | OA
T. Graham, M. Kleshnina, and J. A. Filar, “Where do mistakes lead? A survey of games with incompetent players,” Dynamic Games and Applications, vol. 13. Springer Nature, pp. 231–264, 2023.
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 11434
B. B. GOSWAMI, “Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend,” Climate Dynamics, vol. 60. Springer Nature, pp. 427–442, 2023.
View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 10145 | OA
L. Dello Schiavo, “Ergodic decomposition of Dirichlet forms via direct integrals and applications,” Potential Analysis, vol. 58. Springer Nature, pp. 573–615, 2023.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 10173 | OA
N. Clozeau, “Optimal decay of the parabolic semigroup in stochastic homogenization  for correlated coefficient fields,” Stochastics and Partial Differential Equations: Analysis and Computations, vol. 11. Springer Nature, pp. 1254–1378, 2023.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 10405 | OA
G. Cipolloni, L. Erdös, and D. J. Schröder, “Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices,” Communications on Pure and Applied Mathematics, vol. 76, no. 5. Wiley, pp. 946–1034, 2023.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 10550 | OA
K. Fellner, J. L. Fischer, M. Kniely, and B. Q. Tang, “Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion,” Journal of Nonlinear Science, vol. 33. Springer Nature, 2023.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 10551 | OA
F. Cornalba and J. L. Fischer, “The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles,” Archive for Rational Mechanics and Analysis, vol. 247, no. 5. Springer Nature, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 17074 | OA
M. Brooks and R. Seiringer, “Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases,” Probability and Mathematical Physics, vol. 3, no. 4. Mathematical Sciences Publishers, pp. 939–1000, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 17078 | OA
A. V. Dass et al., “RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces,” ChemSystemsChem, vol. 5, no. 1. Wiley, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 17079 | OA
A. Serebryakov, N. Simm, and G. Dubach, “Characteristic polynomials of random truncations: Moments, duality and asymptotics,” Random Matrices: Theory and Applications, vol. 12, no. 01. World Scientific Publishing, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Submitted | Preprint | IST-REx-ID: 17100 | OA
G. Giambartolomei, F. M.-T. Frederik Mallmann-Trenn, and R. J. Saona Urmeneta, “Prophet inequalities: Separating random order from order selection,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed