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.
4995 Publications
2017 | Conference Paper | IST-REx-ID: 1194 | 
Chatterjee K, Novotný P, Zikelic D. 2017. Stochastic invariants for probabilistic termination. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 52, 145–160.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Book Chapter | IST-REx-ID: 545 |
Mazur E, Friml J. 2017.Vascular tissue development and regeneration in the model plant arabidopsis. In: Plant Engineering. Agricultural and Biological Sciences, , 113–140.
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 621 |
Beattie RJ, Hippenmeyer S. 2017. Mechanisms of radial glia progenitor cell lineage progression. FEBS letters. 591(24), 3993–4008.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Thesis | IST-REx-ID: 839 |
Hahn D. 2017. Brittle fracture simulation with boundary elements for computer graphics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 614 |
Fraisse C, Picard MAL, Vicoso B. 2017. The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W. Nature Communications. 8(1), 1486.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC