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.

5789 Publications


2023 | Journal Article | IST-REx-ID: 13234 | OA
Into the unknown: Active monitoring of neural networks (extended version)
K. Kueffner, A. Lukina, C. Schilling, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 25 (2023) 575–592.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14036 | OA
Protein dynamics detected by magic-angle spinning relaxation dispersion NMR
F. Napoli, L.M. Becker, P. Schanda, Current Opinion in Structural Biology 82 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14043 | OA
A combinatorial cut-toggling algorithm for solving Laplacian linear systems
M.H. Henzinger, B. Jin, R. Peng, D.P. Williamson, Algorithmica 85 (2023) 2680–3716.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14087 | OA
Spontaneous flows and dynamics of full-integer topological defects in polar active matter
J. Rønning, J.B. Renaud, A. Doostmohammadi, L. Angheluta, Soft Matter 39 (2023) 7513–7527.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13319 | OA
Derivations and KMS-symmetric quantum Markov semigroups
M. Vernooij, M. Wirth, Communications in Mathematical Physics 403 (2023) 381–416.
[Published Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications