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.
4171 Publications
2020 | Conference Paper | IST-REx-ID: 8623 | 
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 | Book Chapter | IST-REx-ID: 10865 |
S. Chakraborty, M. Prabhakaran, and D. Wichs, “Witness maps and applications,” in Public-Key Cryptography, vol. 12110, A. Kiayias, Ed. Cham: Springer Nature, 2020, pp. 220–246.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 7611 |
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 |
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
2020 | Journal Article | IST-REx-ID: 7697 |
Y. Zhang, C. Hartinger, X. Wang, and J. Friml, “Directional auxin fluxes in plants by intramolecular domain‐domain co‐evolution of PIN auxin transporters,” New Phytologist, vol. 227, no. 5. Wiley, pp. 1406–1416, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC