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.




2833 Publications

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: 7369 | OA
Cubero RJ, Marsili M, Roudi Y. 2020. Multiscale relevance and informative encoding in neuronal spike trains. Journal of Computational Neuroscience.
View | Files available | DOI
 
2020 | Research Data | IST-REx-ID: 7383 | OA
Grah R. 2020. Matlab scripts for the Paper: Gene Amplification as a Form of Population-Level Gene Expression regulation, IST Austria,p.
View | Files available | DOI
 

Search

Display / Sort

Citation Style: IST Annual Report

Export / Embed