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 |
Chatterjee, Krishnendu, et al. Stochastic Invariants for Probabilistic Termination. Vol. 52, no. 1, ACM, 2017, pp. 145–60, doi:10.1145/3009837.3009873.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Book Chapter | IST-REx-ID: 545 |
Mazur, Ewa, and Jiří Friml. “Vascular Tissue Development and Regeneration in the Model Plant Arabidopsis.” Plant Engineering, edited by Snježana Jurić, InTech, 2017, pp. 113–40, doi:10.5772/intechopen.69712.
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 621 |
Beattie, Robert J., and Simon Hippenmeyer. “Mechanisms of Radial Glia Progenitor Cell Lineage Progression.” FEBS Letters, vol. 591, no. 24, Wiley-Blackwell, 2017, pp. 3993–4008, doi:10.1002/1873-3468.12906.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Research Data | IST-REx-ID: 5562 |
Marre, Olivier, et al. Multi-Electrode Array Recording from Salamander Retinal Ganglion Cells. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:61.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5561 |
Kainmueller, Dagmar, et al. Graph Matching Problems for Annotating C. Elegans. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:57.
[Published Version]
View
| Files available
| DOI