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.

8978 Publications


2020 | Conference Paper | IST-REx-ID: 8623 | OA
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8732
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.
View | DOI
 

2020 | Book Chapter | IST-REx-ID: 10865 | OA
Witness maps and applications
S. Chakraborty, M. Prabhakaran, D. Wichs, in:, A. Kiayias (Ed.), Public-Key Cryptography, Springer Nature, Cham, 2020, pp. 220–246.
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7611 | OA
Central limit theorem for Bose gases interacting through singular potentials
S.A.E. Rademacher, Letters in Mathematical Physics 110 (2020) 2143–2174.
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 7236 | OA
Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair
C. Baskett, L. Schroeder, M.G. Weber, D.W. Schemske, Ecological Monographs 90 (2020).
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications