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.
4938 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 | Research Data | IST-REx-ID: 5562 |
O. Marre, G. Tkačik, D. Amodei, E. Schneidman, W. Bialek, and M. Berry, “Multi-electrode array recording from salamander retinal ganglion cells.” Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5561 |
D. Kainmueller, F. Jug, C. Rother, and G. Meyers, “Graph matching problems for annotating C. Elegans.” Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI