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.

5495 Publications


2019 | Journal Article | IST-REx-ID: 5678   OA
Edelsbrunner, Herbert, and Anton Nikitenko. “Poisson–Delaunay Mosaics of Order K.” Discrete and Computational Geometry 62, no. 4 (2019): 865–878. https://doi.org/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 20, no. 4 (2019): 1325–1365. https://doi.org/10.1007/s00023-018-00757-0.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6380   OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Nastaran Okati, and Andreas Pavlogiannis. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages 3, no. POPL (2019). https://doi.org/10.1145/3290366.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6455
Telley, L, G Agirman, J Prados, Nicole Amberg, S Fièvre, P Oberst, G Bartolini, et al. “Temporal Patterning of Apical Progenitors and Their Daughter Neurons in the Developing Neocortex.” Science 364, no. 6440 (2019). https://doi.org/10.1126/science.aav2522.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6462   OA
Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers through Quantitative Games.” In 31st International Conference on Computer-Aided Verification, 11561:630–49. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_36.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6493   OA
Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In 31st International Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019. https://doi.org/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, 2019. https://doi.org/10.1007/s10208-019-09419-x.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6056   OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.” In IEEE International Conference on Blockchain and Cryptocurrency. IEEE, 2019. https://doi.org/10.1109/BLOC.2019.8751326.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6885   OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Long-Run Average Behavior of Vector Addition Systems with States,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.27.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6328
Renkawitz, Jörg, Aglaja Kopf, Julian A Stopp, Ingrid de Vries, Meghan K. Driscoll, Jack Merrin, Robert Hauschild, et al. “Nuclear Positioning Facilitates Amoeboid Migration along the Path of Least Resistance.” Nature 568 (2019): 546–50. https://doi.org/10.1038/s41586-019-1087-5.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7232
Ferrere, Thomas, Oded Maler, and Dejan Nickovic. “Mixed-Time Signal Temporal Logic.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11750:59–75. Springer Nature, 2019. https://doi.org/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. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:7016.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6486
Kühnen, Jakob, Davide Scarselli, and Björn Hof. “Relaminarization of Pipe Flow by Means of 3D-Printed Shaped Honeycombs.” Journal of Fluids Engineering 141, no. 11 (2019): 111105. https://doi.org/10.1115/1.4043494.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7275   OA
Mourad, Eléonore, Yann K. Petit, Riccardo Spezia, Aleksej Samojlov, Francesco F. Summa, Christian Prehal, Christian Leypold, et al. “Singlet Oxygen from Cation Driven Superoxide Disproportionation and Consequences for Aprotic Metal–O2 Batteries.” Energy & Environmental Science 12, no. 8 (2019): 2559–68. https://doi.org/10.1039/c9ee01453e.
View | Files available | DOI
 

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

2019 | Journal Article | IST-REx-ID: 7422   OA
Sokolowski, Thomas R, Joris Paijmans, Laurens Bossen, Thomas Miedema, Martijn Wehrens, Nils B. Becker, Kazunari Kaizu, Koichi Takahashi, Marileen Dogterom, and Pieter Rein ten Wolde. “EGFRD in All Dimensions.” The Journal of Chemical Physics 150, no. 5 (2019): 054108. https://doi.org/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.” In Gastrulation: From Embryonic Pattern to Form, edited by Lilianna Solnica-Krezel, 136:319–41. Current Topics in Developmental Biology. Elsevier, 2019. https://doi.org/10.1016/bs.ctdb.2019.07.001.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7395   OA
Letts, James A, Karol Fiedorczuk, Gianluca Degliesposti, Mark Skehel, and Leonid A Sazanov. “Structures of Respiratory Supercomplex I+III2 Reveal Functional and Conformational Crosstalk.” Molecular Cell 75, no. 6 (2019): 1131–1146.e6. https://doi.org/10.1016/j.molcel.2019.07.022.
View | Files available | DOI | PubMed | Europe PMC
 

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

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed