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.
2872 Publications
2020 | Conference Paper | IST-REx-ID: 7635
Koval, Nikita, Mariia Sokolova, Alexander Fedorov, Dan-Adrian Alistarh, and Dmitry Tsitelov. “Testing Concurrency on the JVM with Lincheck.” In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, 423–24. ACM, 2020. https://doi.org/10.1145/3332466.3374503.
View
| DOI
2020 | Conference Paper | IST-REx-ID: 7636
Brown, Trevor A, Aleksandar Prokopec, and Dan-Adrian Alistarh. “Non-Blocking Interpolation Search Trees with Doubly-Logarithmic Running Time.” In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, 276–91. ACM, 2020. https://doi.org/10.1145/3332466.3374542.
View
| DOI
2020 | Journal Article | IST-REx-ID: 7637 | 
Cornalba, Federico, Tony Shardlow, and Johannes Zimmer. “From Weakly Interacting Particles to a Regularised Dean-Kawasaki Model.” Nonlinearity 33, no. 2 (2020): 864–91. https://doi.org/10.1088/1361-6544/ab5174.
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 7638 |
De Nicola, Stefano, B. Doyon, and M. J. Bhaseen. “Non-Equilibrium Quantum Spin Dynamics from Classical Stochastic Processes.” Journal of Statistical Mechanics: Theory and Experiment 2020, no. 1 (2020). https://doi.org/10.1088/1742-5468/ab6093.
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 7643
Han, Huibin, Hana Rakusova, Inge Verstraeten, Yuzhou Zhang, and Jiří Friml. “SCFTIR1/AFB Auxin Signaling for Bending Termination during Shoot Gravitropism.” Plant Physiology, 2020. https://doi.org/10.1104/pp.20.00212.
View
| DOI
| PubMed | Europe PMC