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.

5497 Publications


2019 | Journal Article | IST-REx-ID: 7340   OA
Amin-Wetzel, Niko Paresh, et al. “Unstructured Regions in IRE1α Specify BiP-Mediated Destabilisation of the Luminal Domain Dimer and Repression of the UPR.” ELife, vol. 8, e50793, eLife Sciences Publications, 2019, doi:10.7554/eLife.50793.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 5945
Petkova, Mariela D., et al. “Optimal Decoding of Cellular Identities in a Genetic Network.” Cell, vol. 176, no. 4, Cell Press, 2019, p. 844–855.e15, doi:10.1016/j.cell.2019.01.007.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5678   OA
Edelsbrunner, Herbert, and Anton Nikitenko. “Poisson–Delaunay Mosaics of Order K.” Discrete and Computational Geometry, vol. 62, no. 4, Springer, 2019, pp. 865–878, doi:10.1007/s00454-018-0049-2.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5856   OA
Moser, Thomas, and Robert Seiringer. “Energy Contribution of a Point-Interacting Impurity in a Fermi Gas.” Annales Henri Poincare, vol. 20, no. 4, Springer, 2019, pp. 1325–1365, doi:10.1007/s00023-018-00757-0.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6380   OA
Chatterjee, Krishnendu, et al. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 53, ACM, 2019, doi:10.1145/3290366.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6455
Telley, L., et al. “Temporal Patterning of Apical Progenitors and Their Daughter Neurons in the Developing Neocortex.” Science, vol. 364, no. 6440, eaav2522, AAAS, 2019, doi:10.1126/science.aav2522.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6462   OA
Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6493   OA
Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6563   OA
Filakovský, Marek, and Lukas Vokřínek. “Are Two given Maps Homotopic? An Algorithmic Viewpoint.” Foundations of Computational Mathematics, Springer Nature, 2019, doi:10.1007/s10208-019-09419-x.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6056   OA
Chatterjee, Krishnendu, et al. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.” IEEE International Conference on Blockchain and Cryptocurrency, 8751326, IEEE, 2019, doi:10.1109/BLOC.2019.8751326.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6885   OA
Chatterjee, Krishnendu, et al. Long-Run Average Behavior of Vector Addition Systems with States. Vol. 140, 27, 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örg, et al. “Nuclear Positioning Facilitates Amoeboid Migration along the Path of Least Resistance.” Nature, vol. 568, Springer Nature, 2019, pp. 546–50, doi:10.1038/s41586-019-1087-5.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7232
Ferrere, Thomas, et al. “Mixed-Time Signal Temporal Logic.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11750, Springer Nature, 2019, pp. 59–75, doi:10.1007/978-3-030-29662-9_4.
View | DOI
 

2019 | Thesis | IST-REx-ID: 7186   OA
Schwayer, Cornelia. 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 | Journal Article | IST-REx-ID: 6486
Kühnen, Jakob, et al. “Relaminarization of Pipe Flow by Means of 3D-Printed Shaped Honeycombs.” Journal of Fluids Engineering, vol. 141, no. 11, ASME, 2019, p. 111105, doi:10.1115/1.4043494.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7275   OA
Mourad, Eléonore, et al. “Singlet Oxygen from Cation Driven Superoxide Disproportionation and Consequences for Aprotic Metal–O2 Batteries.” Energy & Environmental Science, vol. 12, no. 8, RSC, 2019, pp. 2559–68, doi:10.1039/c9ee01453e.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7282
Freunberger, Stefan Alexander. “Interphase Identity Crisis.” Nature Chemistry, vol. 11, no. 9, Springer Nature, 2019, pp. 761–63, doi:10.1038/s41557-019-0311-0.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7422   OA
Sokolowski, Thomas R., et al. “EGFRD in All Dimensions.” The Journal of Chemical Physics, vol. 150, no. 5, AIP Publishing, 2019, p. 054108, doi:10.1063/1.5064867.
View | DOI | Download (ext.) | arXiv
 

2019 | Book Chapter | IST-REx-ID: 7410
Bruce, Ashley E. E., and Carl-Philipp J. Heisenberg. “Mechanisms of Zebrafish Epiboly: A Current View.” Gastrulation: From Embryonic Pattern to Form, edited by Lilianna Solnica-Krezel, vol. 136, Elsevier, 2019, pp. 319–41, doi:10.1016/bs.ctdb.2019.07.001.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7395   OA
Letts, James A., et al. “Structures of Respiratory Supercomplex I+III2 Reveal Functional and Conformational Crosstalk.” Molecular Cell, vol. 75, no. 6, Cell Press, 2019, p. 1131–1146.e6, doi:10.1016/j.molcel.2019.07.022.
View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed