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.

8978 Publications


2020 | Conference Paper | IST-REx-ID: 8623 | OA
Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification. RV: Runtime Verification, LNCS, vol. 12399, 3–18.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8732
Arroyo Guevara AM, Klute F, Parada I, Seidel R, Vogtenhuber B, Wiedera T. 2020. Inserting one edge into a simple drawing is hard. Graph-Theoretic Concepts in Computer Science. WG: Workshop on Graph-Theoretic Concepts in Computer Science, LNCS, vol. 12301, 325–338.
View | DOI
 

2020 | Book Chapter | IST-REx-ID: 10865 | OA
Chakraborty S, Prabhakaran M, Wichs D. 2020.Witness maps and applications. In: Public-Key Cryptography. vol. 12110, 220–246.
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7611 | OA
Rademacher SAE. 2020. Central limit theorem for Bose gases interacting through singular potentials. Letters in Mathematical Physics. 110, 2143–2174.
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 7236 | OA
Baskett C, Schroeder L, Weber MG, Schemske DW. 2020. Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair. Ecological Monographs. 90(1), e01397.
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 7697 | OA
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. 227(5), 1406–1416.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8765 | OA
Schreck C, Wojtan C. 2020. A practical method for animating anisotropic elastoplastic materials. Computer Graphics Forum. 39(2), 89–99.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8057 | OA
Bouchal R, Li Z, Bongu C, Le Vot S, Berthelot R, Rotenberg B, Favier F, Freunberger SA, Salanne M, Fontaine O. 2020. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie. 132(37), 16047–16051.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7343 | OA
Milutinovic B, Stock M, Grasse AV, Naderlinger E, Hilbe C, Cremer S. 2020. Social immunity modulates competition between coinfecting pathogens. Ecology Letters. 23(3), 565–574.
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8099 | OA
Gammerdinger WJ, Toups MA, Vicoso B. 2020. Disagreement in FST estimators: A case study from  sex chromosomes. Molecular Ecology Resources. 20(6), 1517–1525.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications