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.
5270 Publications
2018 |Published| Conference Paper | IST-REx-ID: 297 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. Brázdil, K. Chatterjee, J. Kretinsky, and V. Toman, “Strategy representation by decision trees in reactive synthesis,” presented at the TACAS 2018: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 2018, vol. 10805, pp. 385–407.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Conference Paper | IST-REx-ID: 141 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, M. H. Henzinger, V. Loitzenbauer, S. Oraee, and V. Toman, “Symbolic algorithms for graphs and Markov decision processes with fairness objectives,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10982, pp. 178–197.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Conference Paper | IST-REx-ID: 298 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. F. Alwen, J. Blocki, and K. Z. Pietrzak, “Sustained space complexity,” presented at the Eurocrypt 2018: Advances in Cryptology, Tel Aviv, Israel, 2018, vol. 10821, pp. 99–130.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 36 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L. Vu, T. Zhu, I. Verstraeten, B. Van De Cotte, K. Gevaert, and I. De Smet, “Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated interconversion of phosphoforms,” Journal of Experimental Botany, vol. 69, no. 19. Oxford University Press, pp. 4609–4624, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 326 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Sawada, R. Kawakami, R. Shigemoto, and T. Nemoto, “Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices,” European Journal of Neuroscience, vol. 47, no. 9. Wiley, pp. 1033–1042, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 5770 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Qu et al., “Structure and architecture of immature and mature murine leukemia virus capsids,” Proceedings of the National Academy of Sciences, vol. 115, no. 50. Proceedings of the National Academy of Sciences, pp. E11751–E11760, 2018.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 608 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Avni and O. Kupferman, “Synthesis from component libraries with costs,” Theoretical Computer Science, vol. 712. Elsevier, pp. 50–72, 2018.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2018 |Published| Journal Article | IST-REx-ID: 148 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nishiyama T, Sakayama H, De Vries J, Buschmann H, Saint Marcoux D, Ullrich K, Haas F, Vanderstraeten L, Becker D, Lang D, Vosolsobě S, Rombauts S, Wilhelmsson P, Janitza P, Kern R, Heyl A, Rümpler F, Calderón Villalobos L, Clay J, Skokan R, Toyoda A, Suzuki Y, Kagoshima H, Schijlen E, Tajeshwar N, Catarino B, Hetherington A, Saltykova A, Bonnot C, Breuninger H, Symeonidi A, Radhakrishnan G, Van Nieuwerburgh F, Deforce D, Chang C, Karol K, Hedrich R, Ulvskov P, Glöckner G, Delwiche C, Petrášek J, Van De Peer Y, Friml J, Beilby M, Dolan L, Kohara Y, Sugano S, Fujiyama A, Delaux PM, Quint M, Theissen G, Hagemann M, Harholt J, Dunand C, Zachgo S, Langdale J, Maumus F, Van Der Straeten D, Gould SB, Rensing S. 2018. The Chara genome: Secondary complexity and implications for plant terrestrialization. Cell. 174(2), 448–464.e24.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 403 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
N. Cavallari, C. Nibau, A. Fuchs, D. Dadarou, A. Barta, and J. Doonan, “The cyclin‐dependent kinase G group defines a thermo‐sensitive alternative splicing circuit modulating the expression of Arabidopsis ATU 2AF 65A,” The Plant Journal, vol. 94, no. 6. Wiley, pp. 1010–1022, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Conference Paper | IST-REx-ID: 156 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. Ferrere, “The compound interest in relaxing punctuality,” presented at the FM: International Symposium on Formal Methods, Oxford, UK, 2018, vol. 10951, pp. 147–164.
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 104 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D. Seitner, S. Uhse, M. C. Gallei, and A. Djamei, “The core effector Cce1 is required for early infection of maize by Ustilago maydis,” Molecular Plant Pathology, vol. 19, no. 10. Wiley, pp. 2277–2287, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 40 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
N. H. Barton, “The consequences of an introgression event,” Molecular Ecology, vol. 27, no. 24. Wiley, pp. 4973–4975, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 5861 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. H. Alanko and M. K. Sixt, “The cell sets the tone,” eLife, vol. 7. eLife Sciences Publications, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 147 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
U. Kania et al., “The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes,” The Plant Cell, vol. 30, no. 10. Oxford University Press, pp. 2553–2572, 2018.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 146 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
C. L. Shi et al., “The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling,” Nature Plants, vol. 4, no. 8. Nature Publishing Group, pp. 596–604, 2018.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 293 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Hoffman, C. Hilbe, and M. Nowak, “The signal-burying game can explain why we obscure positive traits and good deeds,” Nature Human Behaviour, vol. 2. Nature Publishing Group, pp. 397–404, 2018.
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 455 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
N. P. Benedikter, J. Sok, and J. Solovej, “The Dirac–Frenkel principle for reduced density matrices and the Bogoliubov–de Gennes equations,” Annales Henri Poincare, vol. 19, no. 4. Birkhäuser, pp. 1167–1214, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 314 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Bauer et al., “The science of living matter for tomorrow,” Cell Systems, vol. 6, no. 4. Cell Press, pp. 400–402, 2018.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 565 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
B. Charlesworth and N. H. Barton, “The spread of an inversion with migration and selection,” Genetics, vol. 208, no. 1. Genetics , pp. 377–382, 2018.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC