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.




2886 Publications

2020 | Conference Paper | IST-REx-ID: 7346 | OA
Schmid L, Chatterjee K, Schmid S. 2020. The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game. Proceedings of the 23rd International Conference on Principles of Distributed Systems. OPODIS: International Conference on Principles of Distributed Systems, LIPIcs, vol. 153.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7348 | OA
Ferrere T, Henzinger TA, Kragl B. 2020. Monitoring event frequencies. 28th EACSL Annual Conference on Computer Science Logic. CSL: Computer Science Logic, LIPIcs, vol. 152.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7350 | OA
Nibau C, Gallemi M, Dadarou D, Doonan JH, Cavallari N. 2020. Thermo-sensitive alternative splicing of FLOWERING LOCUS M is modulated by cyclin-dependent kinase G2. Frontiers in Plant Science. 10.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7364 | OA
Lopez Alonso JM, Feldmann D, Rampp M, Vela-Martín A, Shi L, Avila M. 2020. nsCouette – A high-performance code for direct numerical simulations of turbulent Taylor–Couette flow. SoftwareX. 11.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7389 | OA
Geher GP, Titkos T, Virosztek D. 2020. Isometric study of Wasserstein spaces - the real line. Transactions of the American Mathematical Society. 373(8), 5855–5883.
View | DOI | Download Preprint (ext.) | arXiv
 

Search

Display / Sort

Citation Style: IST Annual Report

Export / Embed