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.
2770 Publications
2020 | Thesis | IST-REx-ID: 7258
Scarselli D. New Approaches to Reduce Friction in Turbulent Pipe Flow. IST Austria; 2020. doi:10.15479/AT:ISTA:7258
View
| Files available
| DOI
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