Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5751 Publications
2020 | Conference Paper | IST-REx-ID: 7348 | 
Monitoring event frequencies
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
| arXiv
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Journal Article | IST-REx-ID: 7350 |
Thermo-sensitive alternative splicing of FLOWERING LOCUS M is modulated by cyclin-dependent kinase G2
C. Nibau, M. Gallemi, D. Dadarou, J.H. Doonan, N. Cavallari, Frontiers in Plant Science 10 (2020).
View
| Files available
| DOI
C. Nibau, M. Gallemi, D. Dadarou, J.H. Doonan, N. Cavallari, Frontiers in Plant Science 10 (2020).
2020 | Journal Article | IST-REx-ID: 7364 |
nsCouette – A high-performance code for direct numerical simulations of turbulent Taylor–Couette flow
J.M. Lopez Alonso, D. Feldmann, M. Rampp, A. Vela-Martín, L. Shi, M. Avila, SoftwareX 11 (2020).
View
| Files available
| DOI
| arXiv
J.M. Lopez Alonso, D. Feldmann, M. Rampp, A. Vela-Martín, L. Shi, M. Avila, SoftwareX 11 (2020).
2020 | Journal Article | IST-REx-ID: 7369 |
Multiscale relevance and informative encoding in neuronal spike trains
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience (2020).
View
| Files available
| DOI
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience (2020).
2020 | Journal Article | IST-REx-ID: 7388 |
Nondivergence form quasilinear heat equations driven by space-time white noise
M. Gerencser, Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire (n.d.).
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Gerencser, Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire (n.d.).