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.

11980 Publications


2026 | Published | Journal Article | IST-REx-ID: 22404 | OA
Longitudinal conductivity at integer quantum Hall transitions
G. Marcelli, L. Pigozzi, M. Porta, Letters in Mathematical Physics 116 (2026).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 22607 | PlanS
Duality theory in linear optimization and its extensions -- formally verified
M. Dvorak, V. Kolmogorov, Annals of Formalized Mathematics 2 (2026).
[Published Version] View | Files available | DOI | arXiv
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22602 | OA
Ion transfer during ionomer contact electrification: Binding affinity controls charging
J.R. Hoffman Jr, S.A. Freunberger, S.R. Waitukaitis, Angewandte Chemie International Edition (2026).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2026 | Published | Thesis | PhD | IST-REx-ID: 21393 | OA
Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids
M. Dvorak, Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 

2026 | Published | Journal Article | IST-REx-ID: 19860 | OA | PlanS
Eight-partitioning points in 3D, and efficiently too
B. Aronov, A. Basit, I. Ramesh, G. Tasinato, U. Wagner, Discrete & Computational Geometry 75 (2026) 1331–1355.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22408 | OA | PlanS
Quasi-solitons in Rydberg atom chains
A. Kerschbaumer, J.-Y.M. Desaules, M. Ljubotina, M. Serbyn, Nature Communications (2026).
[Published Version] View | DOI | Download Published Version (ext.)
 

2026 | Published | Journal Article | IST-REx-ID: 22101 | OA
The effect of the fitness gradient on fixation probability
J. Svoboda, H. Nemati, J. Tkadlec, K. Kaveh, K. Chatterjee, Nature Communications 17 (2026).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2026 | Published | Thesis | MS | IST-REx-ID: 22399 | OA
Studying the evolutionary systems biology of the lac operon
A. Spasić, Studying the Evolutionary Systems Biology of the Lac Operon, Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 

2026 | Published | Journal Article | IST-REx-ID: 18706 | OA | PlanS
Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs
L. Portinale, F. Quattrocchi, European Journal of Applied Mathematics 37 (2026) 614–642.
[Published Version] View | Files available | DOI | WoS
 

2025 | Published | Conference Paper | IST-REx-ID: 22007 | OA
Time-space tradeoffs of truncation with preprocessing
K.Z. Pietrzak, P. Wang, in:, 6th Conference on Information-Theoretic Cryptography, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | Cryptology ePrint
 

2025 | Published | Journal Article | IST-REx-ID: 22032 | OA
Scaling-critical well-posedness for continuum Calogero–Moser models on the line
R. Killip, T. Laurens, M. Vişan, Communications of the American Mathematical Society 5 (2025) 284–320.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 22036 | OA
Dispersive decay for the mass-critical nonlinear Schrödinger equation
C. Fan, R. Killip, M. Vişan, Z. Zhao, Mathematische Zeitschrift 311 (2025).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 12662 | OA | PlanS
Generalization in multi-objective machine learning
P. Súkeník, C. Lampert, Neural Computing and Applications 37 (2025) 24669–24683.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20820 | OA
EvoPress: Accurate dynamic model compression via evolutionary search
O. Sieberling, D. Kuznedelev, E. Kurtic, D.-A. Alistarh, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 55556–55590.
[Published Version] View | Files available | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20821 | OA
Layer-wise quantization for quantized optimistic dual averaging
A.D. Nguyen, I. Markov, F.Z. Wu, A. Ramezani-Kebrya, K. Antonakopoulos, D.-A. Alistarh, V. Cevher, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 46026–46072.
[Published Version] View | Files available | arXiv
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20839 | OA
Sets with arbitrary Hausdorff and packing scales in infinite dimensional Banach spaces
M. Helfter, Journal of Fractal Geometry (2025).
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Research Data | IST-REx-ID: 20842 | OA
Research Data for: 'One-milligram torsional pendulum toward experiments at the quantum-gravity interface'
S. Agafonova, (2025).
[Published Version] View | Files available | DOI
 

2025 | Published | Conference Paper | IST-REx-ID: 20845 | OA
Zeroizing attacks against evasive and circular evasive LWE
S. Agrawal, A. Modi, A. Yadav, S. Yamada, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 259–290.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20846 | OA
Constrained verifiable random functions without obfuscation and friends
N. Brandt, M. Cueto Noval, C.U. Günther, A. Ünal, S. Wohnig, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 478–511.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 20847 | OA | PlanS
Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter
E. Fitzgerald, C. Clavaud, D. Das, I.C. Lenton, S.R. Waitukaitis, Physical Review E 112 (2025).
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed