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.
5052 Publications
2020 | Conference Paper | IST-REx-ID: 8623 | 
Henzinger, T. A., & Sarac, N. E. (2020). Monitorability under assumptions. In Runtime Verification (Vol. 12399, pp. 3–18). Los Angeles, CA, United States: Springer Nature. 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, A. M., Klute, F., Parada, I., Seidel, R., Vogtenhuber, B., & Wiedera, T. (2020). Inserting one edge into a simple drawing is hard. In Graph-Theoretic Concepts in Computer Science (Vol. 12301, pp. 325–338). Leeds, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-60440-0_26
View
| DOI
2020 | Journal Article | IST-REx-ID: 7611 |
Rademacher, S. A. E. (2020). Central limit theorem for Bose gases interacting through singular potentials. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-020-01286-w
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 7236 |
Baskett, C., Schroeder, L., Weber, M. G., & Schemske, D. W. (2020). Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair. Ecological Monographs. Wiley. https://doi.org/10.1002/ecm.1397
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 7697 |
Zhang, Y., Hartinger, C., Wang, X., & Friml, J. (2020). Directional auxin fluxes in plants by intramolecular domain‐domain co‐evolution of PIN auxin transporters. New Phytologist. Wiley. https://doi.org/10.1111/nph.16629
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC