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 |
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.
2020 | Journal Article | IST-REx-ID: 8765 |
A practical method for animating anisotropic elastoplastic materials
C. Schreck, C. Wojtan, Computer Graphics Forum 39 (2020) 89–99.
[Submitted Version]
View
| Files available
| DOI
| WoS
C. Schreck, C. Wojtan, Computer Graphics Forum 39 (2020) 89–99.
2020 | Journal Article | IST-REx-ID: 8057 |
Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie 132 (2020) 16047–16051.
[Published Version]
View
| Files available
| DOI
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie 132 (2020) 16047–16051.
2020 | Journal Article | IST-REx-ID: 7343 |
Social immunity modulates competition between coinfecting pathogens
B. Milutinovic, M. Stock, A.V. Grasse, E. Naderlinger, C. Hilbe, S. Cremer, Ecology Letters 23 (2020) 565–574.
[Published Version]
View
| Files available
| DOI
| WoS
B. Milutinovic, M. Stock, A.V. Grasse, E. Naderlinger, C. Hilbe, S. Cremer, Ecology Letters 23 (2020) 565–574.
2020 | Journal Article | IST-REx-ID: 8099 |
Disagreement in FST estimators: A case study from sex chromosomes
W.J. Gammerdinger, M.A. Toups, B. Vicoso, Molecular Ecology Resources 20 (2020) 1517–1525.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
W.J. Gammerdinger, M.A. Toups, B. Vicoso, Molecular Ecology Resources 20 (2020) 1517–1525.
2020 | Journal Article | IST-REx-ID: 7847 |
Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie International Edition 59 (2020) 15913–1591.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie International Edition 59 (2020) 15913–1591.