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.
4950 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 | Conference Paper | IST-REx-ID: 8732
Arroyo Guevara, Alan M, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber, and Tilo Wiedera. “Inserting One Edge into a Simple Drawing Is Hard.” In Graph-Theoretic Concepts in Computer Science, 12301:325–38. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-60440-0_26.
View
| DOI
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