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.

9004 Publications


2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. 2020. An SMT theory of fixed-point arithmetic. Automated Reasoning. IJCAR: International Joint Conference on Automated Reasoning, LNCS, vol. 12166, 13–31.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2020 | Journal Article | IST-REx-ID: 8169
Shang H, Hess J, Pickup M, Field D, Ingvarsson PK, Liu J, Lexer C. 2020. Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group. Philosophical Transactions of the Royal Society. Series B: Biological Sciences. 375(1806), 20190544.
[Published Version] View | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8189
Yu X, Liu J, Li J, Luo Z, Zuo Y, Xing C, Llorca J, Nasiou D, Arbiol J, Pan K, Kleinhanns T, Xie Y, Cabot A. 2020. Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. Nano Energy. 77(11), 105116.
View | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8220 | OA
Corominas-Murtra B, Scheele CLGJ, Kishi K, Ellenbroek SIJ, Simons BD, Van Rheenen J, Hannezo EB. 2020. Stem cell lineage survival as a noisy competition for niche access. Proceedings of the National Academy of Sciences of the United States of America. 117(29), 16969–16975.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8199 | OA
Gulden T, Berg E, Rudner MS, Lindner N. 2020. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 9, 015.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications