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.

5439 Publications


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 | Research Data | IST-REx-ID: 7016   OA
Tomanek, Isabella. 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, 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
 

2019 | Conference Paper | IST-REx-ID: 6378   OA
Chatterjee, Krishnendu, et al. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, 2019, pp. 374–81, doi:10.1145/3297280.3297319.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6366   OA
Bellstaedt, Julia, et al. “A Mobile Auxin Signal Connects Temperature Sensing in Cotyledons with Growth Responses in Hypocotyls.” Plant Physiology, vol. 180, no. 2, ASPB, 2019, pp. 757–66, doi:10.1104/pp.18.01377.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7415
Morandell, Jasmin, et al. “S.16.05 Illuminating the Role of the E3 Ubiquitin Ligase Cullin3 in Brain Development and Autism.” European Neuropsychopharmacology, vol. 29, no. Supplement 6, Elsevier, 2019, pp. S11–12, doi:10.1016/j.euroneuro.2019.09.040.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6676   OA
Alistarh, Dan-Adrian, et al. “Why Extension-Based Proofs Fail.” Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, ACM Press, 2019, pp. 986–96, doi:10.1145/3313276.3316407.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6032   OA
Kazda, Alexandr, et al. “Even Delta-Matroids and the Complexity of Planar Boolean CSPs.” ACM Transactions on Algorithms, vol. 15, no. 2, ACM, 2019, p. 22, doi:10.1145/3230649.
View | Files available | DOI | Download (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed