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.
4962 Publications
2020 | Conference Paper | IST-REx-ID: 8623 |
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
[Submitted Version]
View
| Files available
| DOI
| WoS
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
2020 | Conference Paper | IST-REx-ID: 8732
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.
View
| DOI
A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.
2020 | Journal Article | IST-REx-ID: 7611 |
Central limit theorem for Bose gases interacting through singular potentials
S.A.E. Rademacher, Letters in Mathematical Physics 110 (2020) 2143–2174.
[Published Version]
View
| Files available
| DOI
| WoS
S.A.E. Rademacher, Letters in Mathematical Physics 110 (2020) 2143–2174.
2020 | Journal Article | IST-REx-ID: 7236 |
Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair
C. Baskett, L. Schroeder, M.G. Weber, D.W. Schemske, Ecological Monographs 90 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
C. Baskett, L. Schroeder, M.G. Weber, D.W. Schemske, Ecological Monographs 90 (2020).
2020 | Journal Article | IST-REx-ID: 7697 |
Directional auxin fluxes in plants by intramolecular domain‐domain co‐evolution of PIN auxin transporters
Y. Zhang, C. Hartinger, X. Wang, J. Friml, New Phytologist 227 (2020) 1406–1416.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Zhang, C. Hartinger, X. Wang, J. Friml, New Phytologist 227 (2020) 1406–1416.