Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2781 Publications
2020 | Conference Paper | IST-REx-ID: 7272 | 
Arbel-Raviv M, Brown TA, Morrison A. Getting to the root of concurrent binary search tree performance. In: Proceedings of the 2018 USENIX Annual Technical Conference, USENIX ATC 2018. USENIX Association; 2020:295-306.
View
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 7339 |
Piriya Ananda Babu L, Wang HY, Eguchi K, Guillaud L, Takahashi T. Microtubule and actin differentially regulate synaptic vesicle cycling to maintain high-frequency neurotransmission. Journal of neuroscience. 2020;40(1):131-142. doi:10.1523/JNEUROSCI.1571-19.2019
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 7346 |
Schmid L, Chatterjee K, Schmid S. The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game. In: Proceedings of the 23rd International Conference on Principles of Distributed Systems. Vol 153. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.OPODIS.2019.21
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 7348 |
Ferrere T, Henzinger TA, Kragl B. Monitoring event frequencies. In: 28th EACSL Annual Conference on Computer Science Logic. Vol 152. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.CSL.2020.20
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 7350 |
Nibau C, Gallemi M, Dadarou D, Doonan JH, Cavallari N. Thermo-sensitive alternative splicing of FLOWERING LOCUS M is modulated by cyclin-dependent kinase G2. Frontiers in Plant Science. 2020;10. doi:10.3389/fpls.2019.01680
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7364 |
Lopez Alonso JM, Feldmann D, Rampp M, Vela-Martín A, Shi L, Avila M. nsCouette – A high-performance code for direct numerical simulations of turbulent Taylor–Couette flow. SoftwareX. 2020;11. doi:10.1016/j.softx.2019.100395
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 7369 |
Cubero RJ, Marsili M, Roudi Y. Multiscale relevance and informative encoding in neuronal spike trains. Journal of Computational Neuroscience. 2020. doi:10.1007/s10827-020-00740-x
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7388 |
Gerencser M. Nondivergence form quasilinear heat equations driven by space-time white noise. Annales de l’Institut Henri Poincaré C, Analyse non linéaire. doi:10.1016/j.anihpc.2020.01.003
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Book Chapter | IST-REx-ID: 74 |
Akopyan A, Karasev R. Gromov’s waist of non-radial Gaussian measures and radial non-Gaussian measures. In: Klartag B, Milman E, eds. Geometric Aspects of Functional Analysis. Vol 2256. LNM. Springer Nature; 2020:1-27. doi:10.1007/978-3-030-36020-7_1
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 7426
Garcia Soto M, Prabhakar P. Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. 2020;36(5):100856. doi:10.1016/j.nahs.2020.100856
View
| DOI