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.
10717 Publications
2024 | Published | Conference Paper | IST-REx-ID: 18913 | 
An empirical study of consensus protocols’ DoS resilience
Giuliari, Giacomo, An empirical study of consensus protocols’ DoS resilience. Proceedings of the 19th ACM Asia Conference on Computer and Communications Security. 2024
[Published Version]
View
| Files available
| DOI
Giuliari, Giacomo, An empirical study of consensus protocols’ DoS resilience. Proceedings of the 19th ACM Asia Conference on Computer and Communications Security. 2024
2024 | Published | Conference Paper | IST-REx-ID: 17126 |
Lower bounds for lattice-based compact functional encryption
Tairi, Erkan, Lower bounds for lattice-based compact functional encryption. Advances in Cryptology – EUROCRYPT 2024 14652. 2024
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
Tairi, Erkan, Lower bounds for lattice-based compact functional encryption. Advances in Cryptology – EUROCRYPT 2024 14652. 2024
2024 | Published | Conference Paper | IST-REx-ID: 18922
Computing the 3-edge-connected components of directed graphs in linear time
Georgiadis, Loukas, Computing the 3-edge-connected components of directed graphs in linear time. 65th Annual Symposium on Foundations of Computer Science. 2024
View
| DOI
Georgiadis, Loukas, Computing the 3-edge-connected components of directed graphs in linear time. 65th Annual Symposium on Foundations of Computer Science. 2024
2024 | Published | Journal Article | IST-REx-ID: 17330 |
Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery
N. Resch, C. Yuan, Y. Zhang, IEEE Transactions on Information Theory 70 (2024) 6211–6238.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
N. Resch, C. Yuan, Y. Zhang, IEEE Transactions on Information Theory 70 (2024) 6211–6238.
2024 | Published | Thesis | IST-REx-ID: 17225 |
Towards a quantum entanglement enhanced atom interferomter
V. Li, Towards a Quantum Entanglement Enhanced Atom Interferomter, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
V. Li, Towards a Quantum Entanglement Enhanced Atom Interferomter, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 18910 |
NMR and single-molecule FRET insights into fast protein motions and their relation to function
P. Schanda, G. Haran, Annual Review of Biophysics 53 (2024) 247–273.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
P. Schanda, G. Haran, Annual Review of Biophysics 53 (2024) 247–273.
2024 | Published | Journal Article | IST-REx-ID: 17325 |
Bacterial Electrophysiology
W.C. Lo, E. Krasnopeeva, T. Pilizota, Annual Review of Biophysics 53 (2024) 487–510.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
W.C. Lo, E. Krasnopeeva, T. Pilizota, Annual Review of Biophysics 53 (2024) 487–510.
2024 | Published | Journal Article | IST-REx-ID: 14797 |
Annealed quantitative estimates for the quadratic 2D-discrete random matching problem
N. Clozeau, F. Mattesini, Probability Theory and Related Fields 190 (2024) 485–541.
[Published Version]
View
| Files available
| DOI
| arXiv
N. Clozeau, F. Mattesini, Probability Theory and Related Fields 190 (2024) 485–541.
2024 | Published | Thesis | IST-REx-ID: 18443 |
T-dual branes on hyperkähler manifolds
M.A. Sisak, T-Dual Branes on Hyperkähler Manifolds, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M.A. Sisak, T-Dual Branes on Hyperkähler Manifolds, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 15334 |
Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility
H. Abels, M. Fei, M. Moser, Calculus of Variations and Partial Differential Equations 63 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
H. Abels, M. Fei, M. Moser, Calculus of Variations and Partial Differential Equations 63 (2024).
2024 | Published | Journal Article | IST-REx-ID: 12485 |
The critical variational setting for stochastic evolution equations
A. Agresti, M. Veraar, Probability Theory and Related Fields 188 (2024) 957–1015.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Agresti, M. Veraar, Probability Theory and Related Fields 188 (2024) 957–1015.
2024 | Published | Journal Article | IST-REx-ID: 17462 |
Artificial boundary conditions for random elliptic systems with correlated coefficient field
N. Clozeau, L. Wang, Multiscale Modeling and Simulation 22 (2024) 973–1029.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Clozeau, L. Wang, Multiscale Modeling and Simulation 22 (2024) 973–1029.
2024 | Published | Journal Article | IST-REx-ID: 17372 |
Reaction-diffusion equations with transport noise and critical superlinear diffusion: Global well-posedness of weakly dissipative systems
A. Agresti, M. Veraar, SIAM Journal on Mathematical Analysis 56 (2024) 4870–4927.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Agresti, M. Veraar, SIAM Journal on Mathematical Analysis 56 (2024) 4870–4927.
2024 | Published | Journal Article | IST-REx-ID: 17481 |
Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
[Published Version]
View
| Files available
| DOI
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
2024 | Published | Journal Article | IST-REx-ID: 17435 |
Regimes of precipitation change over Europe and the Mediterranean
J. André, F. D’Andrea, P. Drobinski, C.J. Muller, Journal of Geophysical Research: Atmospheres 129 (2024).
[Published Version]
View
| Files available
| DOI
J. André, F. D’Andrea, P. Drobinski, C.J. Muller, Journal of Geophysical Research: Atmospheres 129 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
[Published Version]
View
| Files available
| DOI
| arXiv
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
2024 | Published | Conference Paper | IST-REx-ID: 18068 |
Strategic dominance: A new preorder for nondeterministic processes
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17327 |
Abstraction-based decision making for statistical properties
F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, 9th International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, 9th International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Journal Article | IST-REx-ID: 14400 |
Symbolic control for stochastic systems via finite parity games
R. Majumdar, K. Mallik, A.K. Schmuck, S. Soudjani, Nonlinear Analysis: Hybrid Systems 51 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R. Majumdar, K. Mallik, A.K. Schmuck, S. Soudjani, Nonlinear Analysis: Hybrid Systems 51 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 17413 |
Certifying phase abstraction
N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303.
[Published Version]
View
| Files available
| DOI
| arXiv
N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303.