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.
8018 Publications
2022 | Conference Paper | IST-REx-ID: 11775 | 
Abstract monitors for quantitative specifications
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
View
| Files available
| DOI
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
2022 | Journal Article | IST-REx-ID: 11783 |
Low-energy spectrum and dynamics of the weakly interacting Bose gas
L. Bossmann, Journal of Mathematical Physics 63 (2022).
View
| Files available
| DOI
| arXiv
L. Bossmann, Journal of Mathematical Physics 63 (2022).
2022 | Conference Paper | IST-REx-ID: 11812 |
Fully dynamic four-vertex subgraph counting
K. Hanauer, M.H. Henzinger, Q.C. Hua, in:, 1st Symposium on Algorithmic Foundations of Dynamic Networks, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
View
| DOI
| Download Published Version (ext.)
| arXiv
K. Hanauer, M.H. Henzinger, Q.C. Hua, in:, 1st Symposium on Algorithmic Foundations of Dynamic Networks, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Conference Paper | IST-REx-ID: 11808 |
Recent advances in fully dynamic graph algorithms
K. Hanauer, M.H. Henzinger, C. Schulz, in:, 1st Symposium on Algorithmic Foundations of Dynamic Networks, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
View
| DOI
| Download Published Version (ext.)
| arXiv
K. Hanauer, M.H. Henzinger, C. Schulz, in:, 1st Symposium on Algorithmic Foundations of Dynamic Networks, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Journal Article | IST-REx-ID: 11842 |
Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities
S. Hensel, A. Marveggio, Journal of Mathematical Fluid Mechanics 24 (2022).
View
| Files available
| DOI
| arXiv
S. Hensel, A. Marveggio, Journal of Mathematical Fluid Mechanics 24 (2022).
2022 | Journal Article | IST-REx-ID: 11841
Adsorption free energy predicts amyloid protein nucleation rates
Z. Toprakcioglu, A. Kamada, T.C.T. Michaels, M. Xie, J. Krausser, J. Wei, A. Šarić, M. Vendruscolo, T.P.J. Knowles, Proceedings of the National Academy of Sciences of the United States of America 119 (2022).
View
| Files available
| DOI
Z. Toprakcioglu, A. Kamada, T.C.T. Michaels, M. Xie, J. Krausser, J. Wei, A. Šarić, M. Vendruscolo, T.P.J. Knowles, Proceedings of the National Academy of Sciences of the United States of America 119 (2022).
2022 | Conference Paper | IST-REx-ID: 11839 |
Almost-orthogonal layers for efficient general-purpose Lipschitz networks
B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365.
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365.
2022 | Journal Article | IST-REx-ID: 11843 |
Type 1 piliated uropathogenic Escherichia coli hijack the host immune response by binding to CD14
K. Tomasek, A.F. Leithner, I. Glatzová, M.S. Lukesch, C.C. Guet, M.K. Sixt, ELife 11 (2022).
View
| Files available
| DOI
K. Tomasek, A.F. Leithner, I. Glatzová, M.S. Lukesch, C.C. Guet, M.K. Sixt, ELife 11 (2022).
2022 | Conference Paper | IST-REx-ID: 11844 |
Near-optimal leader election in population protocols on graphs
D.-A. Alistarh, J. Rybicki, S. Voitovych, in:, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, 2022, pp. 246–256.
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, J. Rybicki, S. Voitovych, in:, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, 2022, pp. 246–256.
2022 | Journal Article | IST-REx-ID: 11858 |
Nonlinear parabolic stochastic evolution equations in critical spaces part II
A. Agresti, M. Veraar, Journal of Evolution Equations 22 (2022).
View
| Files available
| DOI
A. Agresti, M. Veraar, Journal of Evolution Equations 22 (2022).