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.

4895 Publications


2021 | Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “Proving Non-Termination by Program Reversal.” In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 1033–48. Association for Computing Machinery, 2021. https://doi.org/10.1145/3453483.3454093.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9760 | OA
Sack, Stefan, and Maksym Serbyn. “Quantum Annealing Initialization of the Quantum Approximate Optimization Algorithm.” Quantum. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2021. https://doi.org/10.22331/Q-2021-07-01-491.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10414 | OA
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” In 24th International Symposium on Formal Methods, 13047:619–39. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-90870-6_33.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 14800 | OA
Chang C, Chen W, Chen Y, Chen Y, Chen Y, Ding F, Fan C, Fan HJ, Fan Z, Gong C, Gong Y, He Q, Hong X, Hu S, Hu W, Huang W, Huang Y, Ji W, Li D, Li LJ, Li Q, Lin L, Ling C, Liu M, Liu N, Liu Z, Loh KP, Ma J, Miao F, Peng H, Shao M, Song L, Su S, Sun S, Tan C, Tang Z, Wang D, Wang H, Wang J, Wang X, Wang X, Wee ATS, Wei Z, Wu Y, Wu ZS, Xiong J, Xiong Q, Xu W, Yin P, Zeng H, Zeng Z, Zhai T, Zhang H, Zhang H, Zhang Q, Zhang T, Zhang X, Zhao LD, Zhao M, Zhao W, Zhao Y, Zhou KG, Zhou X, Zhou Y, Zhu H, Zhang H, Liu Z. 2021. Recent progress on two-dimensional materials. Acta Physico-Chimica Sinica. 37(12), 2108017.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 10206 | OA
Lukina, Anna, Christian Schilling, and Thomas A Henzinger. “Into the Unknown: Active Monitoring of Neural Networks.” In 21st International Conference on Runtime Verification, 12974:42–61. Cham: Springer Nature, 2021. https://doi.org/10.1007/978-3-030-88494-9_3.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 14889 | OA
Leopold, Nikolai K, David Johannes Mitrouskas, Simone Anna Elvira Rademacher, Benjamin Schlein, and Robert Seiringer. “Landau–Pekar Equations and Quantum Fluctuations for the Dynamics of a Strongly Coupled Polaron.” Pure and Applied Analysis. Mathematical Sciences Publishers, 2021. https://doi.org/10.2140/paa.2021.3.653.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 14890 | OA
Bossmann, Lea, Sören P Petrat, Peter Pickl, and Avy Soffer. “Beyond Bogoliubov Dynamics.” Pure and Applied Analysis. Mathematical Sciences Publishers, 2021. https://doi.org/10.2140/paa.2021.3.677.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 15013 | OA
Alt, Johannes, László Erdös, and Torben H Krüger. “Spectral Radius of Random Matrices with Independent Entries.” Probability and Mathematical Physics. Mathematical Sciences Publishers, 2021. https://doi.org/10.2140/pmp.2021.2.221.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9887 | OA
Johnson, Alexander J, Dana A Dahhan, Nataliia Gnyliukh, Walter Kaufmann, Vanessa Zheden, Tommaso Costanzo, Pierre Mahou, et al. “The TPLATE Complex Mediates Membrane Bending during Plant Clathrin-Mediated Endocytosis.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2021. https://doi.org/10.1073/pnas.2113046118.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Book Chapter | IST-REx-ID: 14984
Stankowski, Sean, Daria Shipilina, and Anja M Westram. “Hybrid Zones.” In Encyclopedia of Life Sciences, Vol. 2. ELS. Wiley, 2021. https://doi.org/10.1002/9780470015902.a0029355.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications