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 | 
K. Chatterjee, P. Novotný, and D. Zikelic, “Stochastic invariants for probabilistic termination,” presented at the POPL: Principles of Programming Languages, Paris, France, 2017, vol. 52, no. 1, pp. 145–160.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Book Chapter | IST-REx-ID: 545 |
E. Mazur and J. Friml, “Vascular tissue development and regeneration in the model plant arabidopsis,” in Plant Engineering, S. Jurić, Ed. InTech, 2017, pp. 113–140.
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 621 |
R. J. Beattie and S. Hippenmeyer, “Mechanisms of radial glia progenitor cell lineage progression,” FEBS letters, vol. 591, no. 24. Wiley-Blackwell, pp. 3993–4008, 2017.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Thesis | IST-REx-ID: 839 |
D. Hahn, “Brittle fracture simulation with boundary elements for computer graphics,” Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 614 |
C. Fraisse, M. A. L. Picard, and B. Vicoso, “The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC