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.




2782 Publications

2020 | Conference Paper | IST-REx-ID: 7272 | OA
Arbel-Raviv, Maya, Trevor A Brown, and Adam Morrison. “Getting to the Root of Concurrent Binary Search Tree Performance.” In Proceedings of the 2018 USENIX Annual Technical Conference, USENIX ATC 2018, 295–306. USENIX Association, 2020.
View | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7339 | OA
Piriya Ananda Babu, Lashmi, Han Ying Wang, Kohgaku Eguchi, Laurent Guillaud, and Tomoyuki Takahashi. “Microtubule and Actin Differentially Regulate Synaptic Vesicle Cycling to Maintain High-Frequency Neurotransmission.” Journal of Neuroscience 40, no. 1 (2020): 131–42. https://doi.org/10.1523/JNEUROSCI.1571-19.2019.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7346 | OA
Schmid, Laura, Krishnendu Chatterjee, and Stefan Schmid. “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. https://doi.org/10.4230/LIPIcs.OPODIS.2019.21.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7348 | OA
Ferrere, Thomas, Thomas A Henzinger, and Bernhard Kragl. “Monitoring Event Frequencies.” In 28th EACSL Annual Conference on Computer Science Logic, Vol. 152. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.CSL.2020.20.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7350 | OA
Nibau, Candida, Marçal Gallemi, Despoina Dadarou, John H. Doonan, and Nicola Cavallari. “Thermo-Sensitive Alternative Splicing of FLOWERING LOCUS M Is Modulated by Cyclin-Dependent Kinase G2.” Frontiers in Plant Science 10 (2020). https://doi.org/10.3389/fpls.2019.01680.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7364 | OA
Lopez Alonso, Jose M, Daniel Feldmann, Markus Rampp, Alberto Vela-Martín, Liang Shi, and Marc Avila. “NsCouette – A High-Performance Code for Direct Numerical Simulations of Turbulent Taylor–Couette Flow.” SoftwareX 11 (2020). https://doi.org/10.1016/j.softx.2019.100395.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7369 | OA
Cubero, Ryan J, Matteo Marsili, and Yasser Roudi. “Multiscale Relevance and Informative Encoding in Neuronal Spike Trains.” Journal of Computational Neuroscience, 2020. https://doi.org/10.1007/s10827-020-00740-x.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7388 | OA
Gerencser, Mate. “Nondivergence Form Quasilinear Heat Equations Driven by Space-Time White Noise.” Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire, n.d. https://doi.org/10.1016/j.anihpc.2020.01.003.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Book Chapter | IST-REx-ID: 74 | OA
Akopyan, Arseniy, and Roman Karasev. “Gromov’s Waist of Non-Radial Gaussian Measures and Radial Non-Gaussian Measures.” In Geometric Aspects of Functional Analysis, edited by Bo’az Klartag and Emanuel Milman, 2256:1–27. LNM. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-36020-7_1.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7426
Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems 36, no. 5 (2020): 100856. https://doi.org/10.1016/j.nahs.2020.100856.
View | DOI
 

Search

Filter Publications