Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




5064 Publications

2020 | Conference Paper | IST-REx-ID: 7966 | OA
B. Auerbach, F. Giacon, and E. Kiltz, “Everybody’s a target: Scalability in public-key encryption,” in Advances in Cryptology – EUROCRYPT 2020, 2020, vol. 12107, pp. 475–506.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2020 | Conference Paper | IST-REx-ID: 8623 | OA
T. A. Henzinger and N. E. Sarac, “Monitorability under assumptions,” in Runtime Verification, Los Angeles, CA, United States, 2020, vol. 12399, pp. 3–18.
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Conference Paper | IST-REx-ID: 8732
A. M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, and T. Wiedera, “Inserting one edge into a simple drawing is hard,” in Graph-Theoretic Concepts in Computer Science, Leeds, United Kingdom, 2020, vol. 12301, pp. 325–338.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 7611 | OA
S. A. E. Rademacher, “Central limit theorem for Bose gases interacting through singular potentials,” Letters in Mathematical Physics, vol. 110. Springer Nature, pp. 2143–2174, 2020.
[Published Version] View | Files available | DOI | WoS
 
2020 | Journal Article | IST-REx-ID: 7236 | OA
C. Baskett, L. Schroeder, M. G. Weber, and D. W. Schemske, “Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair,” Ecological Monographs, vol. 90, no. 1. Wiley, 2020.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications