Please note that IST 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.

6393 Publications


2020 | Journal Article | IST-REx-ID: 8271
He P, Zhang Y, Xiao G. 2020. Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. 13(9), 1238–1240.
View | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with lexicographic reachability-safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8283 | OA
Chen H, Lai L, Li L, Liu L, Jakada BH, Huang Y, He Q, Chai M, Niu X, Qin Y. 2020. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 21(16), 5272.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8284 | OA
Steiner J, Sazanov LA. 2020. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 9, e59407.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8285 | OA
Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. 2020. Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. 125(4), 043202.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8286 | OA
Alistarh D-A, Nadiradze G, Sabour A. 2020. Dynamic averaging load balancing on cycles. 47th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming , LIPIcs, vol. 168, 7.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. Proceedings of the International Conference on Embedded Software. EMSOFT: International Conference on Embedded Software.
View | Files available | arXiv
 

2020 | Scientific Software | IST-REx-ID: 8294 | OA
Hauschild R. 2020. RGtracker, IST Austria, 10.15479/AT:ISTA:8294.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8307 | OA
Stewart A, Kokoris Kogias E. GRANDPA: A Byzantine finality gadget. arXiv, 2007.01560.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8308 | OA
Brighi P, Abanin DA, Serbyn M. 2020. Stability of mobility edges in disordered interacting systems. Physical Review B. 102(6), 060202(R).
View | Files available | DOI
 

Search

Filter Publications