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.
4934 Publications
2023 | Journal Article | IST-REx-ID: 14558
Deterministic near-optimal approximation algorithms for dynamic set cover
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
View
| DOI
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
2023 | Conference Paper | IST-REx-ID: 14559
Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
View
| DOI
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
2023 | Journal Article | IST-REx-ID: 14554 | 
The regularised inertial Dean' Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime
F. Cornalba, T. Shardlow, ESAIM: Mathematical Modelling and Numerical Analysis 57 (2023) 3061–3090.
[Published Version]
View
| Files available
| DOI
F. Cornalba, T. Shardlow, ESAIM: Mathematical Modelling and Numerical Analysis 57 (2023) 3061–3090.
2023 | Journal Article | IST-REx-ID: 14556 |
How chromosomal inversions reorient the evolutionary process
E.L. Berdan, N.H. Barton, R. Butlin, B. Charlesworth, R. Faria, I. Fragata, K.J. Gilbert, P. Jay, M. Kapun, K.E. Lotterhos, C. Mérot, E. Durmaz Mitchell, M. Pascual, C.L. Peichel, M. Rafajlović, A.M. Westram, S.W. Schaeffer, K. Johannesson, T. Flatt, Journal of Evolutionary Biology (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
E.L. Berdan, N.H. Barton, R. Butlin, B. Charlesworth, R. Faria, I. Fragata, K.J. Gilbert, P. Jay, M. Kapun, K.E. Lotterhos, C. Mérot, E. Durmaz Mitchell, M. Pascual, C.L. Peichel, M. Rafajlović, A.M. Westram, S.W. Schaeffer, K. Johannesson, T. Flatt, Journal of Evolutionary Biology (2023).
2023 | Journal Article | IST-REx-ID: 14555 |
The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction
M. Riedl, M.K. Sixt, Frontiers in Cell and Developmental Biology 11 (2023).
[Published Version]
View
| Files available
| DOI
M. Riedl, M.K. Sixt, Frontiers in Cell and Developmental Biology 11 (2023).