Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4863 Publications
2018 |
Published |
Journal Article |
IST-REx-ID: 14 |
S. Hille, M. Akhmanova, M. Glanc, A. J. Johnson, and J. Friml, “Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation,” International Journal of Molecular Sciences, vol. 19, no. 11. MDPI, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 140 |
G. Frehse, M. Giacobbe, and T. A. Henzinger, “Space-time interpolants,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 468–486.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 141 |
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: 142 |
H. Kong, E. Bartocci, and T. A. Henzinger, “Reachable set over-approximation for nonlinear systems using piecewise barrier tubes,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 449–467.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 143 |
T. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, D. Velan, and F. Zuleger, “Efficient algorithms for asymptotic bounds on termination time in VASS,” presented at the LICS: Logic in Computer Science, Oxford, United Kingdom, 2018, vol. F138033, pp. 185–194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 145 |
S. M. Truckenbrodt et al., “Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission,” The EMBO Journal, vol. 37, no. 15. Wiley, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 |
Published |
Journal Article |
IST-REx-ID: 146 |
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: 147 |
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 |
Thesis | PhD |
IST-REx-ID: 539 |
A. Hurny, “Identification and characterization of novel auxin-cytokinin cross-talk components,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Journal Article |
IST-REx-ID: 54
D. C. Nunes Pinheiro and Y. Bellaïche, “Mechanical force-driven adherents junction remodeling and epithelial dynamics,” Developmental Cell, vol. 47, no. 1. Cell Press, pp. 3–19, 2018.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 542 |
R. K. Kelemen and B. Vicoso, “Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver,” Genetics, vol. 208, no. 1. Genetics Society of America, pp. 365–375, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 543 |
M. J. Chalk, O. Marre, and G. Tkačik, “Toward a unified theory of efficient, predictive, and sparse coding,” PNAS, vol. 115, no. 1. National Academy of Sciences, pp. 186–191, 2018.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 544 |
A. György et al., “Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues,” G3: Genes, Genomes, Genetics, vol. 8, no. 3. Genetics Society of America, pp. 845–857, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Technical Report |
IST-REx-ID: 5457 |
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous, Cost analysis of nondeterministic probabilistic programs. IST Austria, 2018.
[Published Version]
View
| Files available
2018 |
Published |
Journal Article |
IST-REx-ID: 55 |
C. Pull, S. Metzler, E. Naderlinger, and S. Cremer, “Protection against the lethal side effects of social immunity in ants,” Current Biology, vol. 28, no. 19. Cell Press, pp. R1139–R1140, 2018.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 554 |
M. M. Napiórkowski, R. Reuvers, and J. Solovej, “The Bogoliubov free energy functional II: The dilute Limit,” Communications in Mathematical Physics, vol. 360, no. 1. Springer, pp. 347–403, 2018.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 |
Published |
Journal Article |
IST-REx-ID: 555 |
R. Richter, N. S. Baranova, A. Day, and J. Kwok, “Glycosaminoglycans in extracellular matrix organisation: Are concepts from soft matter physics key to understanding the formation of perineuronal nets?,” Current Opinion in Structural Biology, vol. 50. Elsevier, pp. 65–74, 2018.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 556 |
D. Betea, J. Bouttier, P. Nejjar, and M. Vuletic, “The free boundary Schur process and applications I,” Annales Henri Poincare, vol. 19, no. 12. Springer Nature, pp. 3663–3742, 2018.
[Published Version]
View
| Files available
| DOI
| arXiv