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.
9087 Publications
2020 | Journal Article | IST-REx-ID: 9675
Mapping materials and molecules
B. Cheng, R.-R. Griffiths, S. Wengert, C. Kunkel, T. Stenczel, B. Zhu, V.L. Deringer, N. Bernstein, J.T. Margraf, K. Reuter, G. Csanyi, Accounts of Chemical Research 53 (2020) 1981–1991.
View
| DOI
| PubMed | Europe PMC
B. Cheng, R.-R. Griffiths, S. Wengert, C. Kunkel, T. Stenczel, B. Zhu, V.L. Deringer, N. Bernstein, J.T. Margraf, K. Reuter, G. Csanyi, Accounts of Chemical Research 53 (2020) 1981–1991.
2020 | Journal Article | IST-REx-ID: 9666 |
Predicting the phase diagram of titanium dioxide with random search and pattern recognition
A. Reinhardt, C.J. Pickard, B. Cheng, Physical Chemistry Chemical Physics 22 (2020) 12697–12705.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
A. Reinhardt, C.J. Pickard, B. Cheng, Physical Chemistry Chemical Physics 22 (2020) 12697–12705.
2020 | Journal Article | IST-REx-ID: 9671 |
Liquid water contains the building blocks of diverse ice phases
B. Monserrat, J.G. Brandenburg, E.A. Engel, B. Cheng, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
B. Monserrat, J.G. Brandenburg, E.A. Engel, B. Cheng, Nature Communications 11 (2020).
2020 | Conference Paper | IST-REx-ID: 8533 |
Simplified game of life: Algorithms and complexity
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Conference Paper | IST-REx-ID: 8534 |
Unary prime languages
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.