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.
10718 Publications
2024 | Published | Journal Article | IST-REx-ID: 18451 |

Zhou, Yu, Protein cage directed assembly of binary nanoparticle superlattices. Advanced Science 11 (45). 2024
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Conference Paper | IST-REx-ID: 18913 |

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
2024 | Published | Conference Paper | IST-REx-ID: 17126 |

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.)
2024 | Published | Journal Article | IST-REx-ID: 17330 |

Resch, N., Yuan, C., & Zhang, Y. (2024). Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/TIT.2024.3430842
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17225 |

Li, V. (2024). Towards a quantum entanglement enhanced atom interferomter. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17225
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18910 |

Schanda, P., & Haran, G. (2024). NMR and single-molecule FRET insights into fast protein motions and their relation to function. Annual Review of Biophysics. Annual Reviews. https://doi.org/10.1146/annurev-biophys-070323-022428
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17325 |

Lo, W. C., Krasnopeeva, E., & Pilizota, T. (2024). Bacterial Electrophysiology. Annual Review of Biophysics. Annual Reviews. https://doi.org/10.1146/annurev-biophys-030822-032215
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 14797 |

Clozeau, N., & Mattesini, F. (2024). Annealed quantitative estimates for the quadratic 2D-discrete random matching problem. Probability Theory and Related Fields. Springer Nature. https://doi.org/10.1007/s00440-023-01254-0
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18443 |

Sisak, M. A. (2024). T-dual branes on hyperkähler manifolds. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18443
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 15334 |

Abels, H., Fei, M., & Moser, M. (2024). Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. Calculus of Variations and Partial Differential Equations. Springer Nature. https://doi.org/10.1007/s00526-024-02715-7
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 12485 |

Agresti, A., & Veraar, M. (2024). The critical variational setting for stochastic evolution equations. Probability Theory and Related Fields. Springer Nature. https://doi.org/10.1007/s00440-023-01249-x
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17462 |

Clozeau, N., & Wang, L. (2024). Artificial boundary conditions for random elliptic systems with correlated coefficient field. Multiscale Modeling and Simulation. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/23M1603819
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17372 |

Agresti, A., & Veraar, M. (2024). Reaction-diffusion equations with transport noise and critical superlinear diffusion: Global well-posedness of weakly dissipative systems. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/23M1562482
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17481 |

Fischer, J. L., & Marveggio, A. (2024). Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. Annales de l’Institut Henri Poincare C. EMS Press. https://doi.org/10.4171/AIHPC/109
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17435 |

André, J., D’Andrea, F., Drobinski, P., & Muller, C. J. (2024). Regimes of precipitation change over Europe and the Mediterranean. Journal of Geophysical Research: Atmospheres. Wiley. https://doi.org/10.1029/2023JD040413
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18521 |

Bonakdarpour, B., Momtaz, A., Nickovic, D., & Sarac, N. E. (2024). Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. In 24th International Conference on Runtime Verification (Vol. 15191, pp. 282–301). Istanbul, Turkey: Springer Nature. https://doi.org/10.1007/978-3-031-74234-7_18
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18068 |

Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). Strategic dominance: A new preorder for nondeterministic processes. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.29
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17327 |

Cano, F., Henzinger, T. A., Könighofer, B., Kueffner, K., & Mallik, K. (2024). Abstraction-based decision making for statistical properties. In 9th International Conference on Formal Structures for Computation and Deduction (Vol. 299). Tallinn, Estonia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSCD.2024.2
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 14400 |

Majumdar, R., Mallik, K., Schmuck, A. K., & Soudjani, S. (2024). Symbolic control for stochastic systems via finite parity games. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2023.101430
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv