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.

9084 Publications


2023 | Conference Paper | IST-REx-ID: 13221 | OA
Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14406 | OA
Generalized surface multifractality in two-dimensional disordered systems
S. Babkin, J.F. Karcher, I.S. Burmistrov, A.D. Mirlin, Physical Review B 108 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14410
On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift
P. Tomaszewska, C. Lampert, in:, International Workshop on Reproducible Research in Pattern Recognition, Springer Nature, 2023, pp. 67–73.
View | DOI
 

2023 | Conference Paper | IST-REx-ID: 14405 | OA
Hypernode automata
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14408 | OA
Mesoscopic central limit theorem for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2023).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications