Please note that IST 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.

5429 Publications

2019 | Conference Paper | IST-REx-ID: 6885   OA
Chatterjee K, Henzinger TA, Otop J. Long-run average behavior of vector addition systems with states. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.27
View | Files available | DOI

2019 | Journal Article | IST-REx-ID: 6328
Renkawitz J, Kopf A, Stopp JA, et al. Nuclear positioning facilitates amoeboid migration along the path of least resistance. Nature. 2019;568:546-550. doi:10.1038/s41586-019-1087-5
View | Files available | DOI

2019 | Journal Article | IST-REx-ID: 6900   OA
Cepeda Humerez SA, Ruess J, Tkačik G. Estimating information in time-varying signals. PLoS computational biology. 2019;15(9):e1007290. doi:10.1371/journal.pcbi.1007290
View | Files available | DOI | PubMed | Europe PMC

2019 | Conference Paper | IST-REx-ID: 7232
Ferrere T, Maler O, Nickovic D. Mixed-time signal temporal logic. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 11750. Springer Nature; 2019:59-75. doi:10.1007/978-3-030-29662-9_4
View | DOI

2019 | Thesis | IST-REx-ID: 7186   OA
Schwayer C. Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow. IST Austria; 2019. doi:10.15479/AT:ISTA:7186
View | Files available | DOI

2019 | Research Data | IST-REx-ID: 7016   OA
Tomanek I. Data for the Paper “Gene Amplification as a Form of Population-Level Gene Expression Regulation.” IST Austria; 2019. doi:10.15479/AT:ISTA:7016
View | Files available | DOI

2019 | Journal Article | IST-REx-ID: 6486
Kühnen J, Scarselli D, Hof B. Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. 2019;141(11):111105. doi:10.1115/1.4043494
View | Files available | DOI | Download (ext.) | arXiv

2019 | Journal Article | IST-REx-ID: 7275   OA
Mourad E, Petit YK, Spezia R, et al. Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries. Energy & Environmental Science. 2019;12(8):2559-2568. doi:10.1039/c9ee01453e
View | Files available | DOI

2019 | Journal Article | IST-REx-ID: 7282
Freunberger SA. Interphase identity crisis. Nature Chemistry. 2019;11(9):761-763. doi:10.1038/s41557-019-0311-0
View | DOI

2019 | Journal Article | IST-REx-ID: 7422   OA
Sokolowski TR, Paijmans J, Bossen L, et al. eGFRD in all dimensions. The Journal of Chemical Physics. 2019;150(5):054108. doi:10.1063/1.5064867
View | DOI | Download (ext.) | arXiv

2019 | Book Chapter | IST-REx-ID: 7410
Bruce AEE, Heisenberg C-PJ. Mechanisms of zebrafish epiboly: A current view. In: Solnica-Krezel L, ed. Gastrulation: From Embryonic Pattern to Form. Vol 136. Current Topics in Developmental Biology. Elsevier; 2019:319-341. doi:10.1016/bs.ctdb.2019.07.001
View | DOI

2019 | Journal Article | IST-REx-ID: 7395   OA
Letts JA, Fiedorczuk K, Degliesposti G, Skehel M, Sazanov LA. Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk. Molecular Cell. 2019;75(6):1131-1146.e6. doi:10.1016/j.molcel.2019.07.022
View | Files available | DOI | PubMed | Europe PMC

2019 | Conference Paper | IST-REx-ID: 6378   OA
Chatterjee K, Goharshady AK, Pourdamghani A. Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part F147772. ACM; 2019:374-381. doi:10.1145/3297280.3297319
View | Files available | DOI

2019 | Journal Article | IST-REx-ID: 6366   OA
Bellstaedt J, Trenner J, Lippmann R, et al. A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls. Plant Physiology. 2019;180(2):757-766. doi:10.1104/pp.18.01377
View | DOI | Download (ext.) | PubMed | Europe PMC

2019 | Journal Article | IST-REx-ID: 7415
Morandell J, Nicolas A, Schwarz LA, Novarino G. S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism. European Neuropsychopharmacology. 2019;29(Supplement 6):S11-S12. doi:10.1016/j.euroneuro.2019.09.040
View | DOI

2019 | Book Chapter | IST-REx-ID: 7453
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. Continuous-time models for system design and analysis. In: Computing and Software Science. Vol 10000. Springer Nature; 2019:452-477. doi:10.1007/978-3-319-91908-9_22
View | DOI

2019 | Conference Paper | IST-REx-ID: 6676   OA
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. Why extension-based proofs fail. In: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing. ACM Press; 2019:986-996. doi:10.1145/3313276.3316407
View | DOI | Download (ext.) | arXiv

2019 | Journal Article | IST-REx-ID: 27   OA
Amberg N, Laukoter S, Hippenmeyer S. Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry. 2019;149(1):12-26. doi:10.1111/jnc.14601
View | Files available | DOI

2019 | Journal Article | IST-REx-ID: 301   OA
Gerencser M, Gyöngy I. A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and their Applications. 2019;129(3):995-1012. doi:10.1016/
View | DOI | Download (ext.) | arXiv

2019 | Journal Article | IST-REx-ID: 5908
Lee E, Vanneste S, Pérez-Sancho J, et al. Ionic stress enhances ER–PM connectivity via phosphoinositide-associated SYT1 contact site expansion in Arabidopsis. Proceedings of the National Academy of Sciences of the United States of America. 2019;116(4):1420-1429. doi:10.1073/pnas.1818099116
View | DOI


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed