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 | 
Henzinger, Thomas A, and Naci E Sarac. “Monitorability under Assumptions.” In Runtime Verification, 12399:3–18. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-60508-7_1.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Book Chapter | IST-REx-ID: 10865 |
Chakraborty, Suvradip, Manoj Prabhakaran, and Daniel Wichs. “Witness Maps and Applications.” In Public-Key Cryptography, edited by A Kiayias, 12110:220–46. LNCS. Cham: Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45374-9_8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 7611 |
Rademacher, Simone Anna Elvira. “Central Limit Theorem for Bose Gases Interacting through Singular Potentials.” Letters in Mathematical Physics. Springer Nature, 2020. https://doi.org/10.1007/s11005-020-01286-w.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 7236 |
Baskett, Carina, Lucy Schroeder, Marjorie G. Weber, and Douglas W. Schemske. “Multiple Metrics of Latitudinal Patterns in Insect Pollination and Herbivory for a Tropical‐temperate Congener Pair.” Ecological Monographs. Wiley, 2020. https://doi.org/10.1002/ecm.1397.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 7697 |
Zhang, Yuzhou, Corinna Hartinger, Xiaojuan Wang, and Jiří Friml. “Directional Auxin Fluxes in Plants by Intramolecular Domain‐domain Co‐evolution of PIN Auxin Transporters.” New Phytologist. Wiley, 2020. https://doi.org/10.1111/nph.16629.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC