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.
7060 Publications
2017 |Published| Journal Article | IST-REx-ID: 10418 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mciver, Annabelle, et al. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 33, Association for Computing Machinery, 2017, doi:10.1145/3158121.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 |Published| Book Chapter | IST-REx-ID: 1075 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wenzl, Bernhard. “An American in Allied-Occupied Austria: John Dos Passos Reports on "The Vienna Frontier"” Austria and America: 20th-Century Cross-Cultural Encounters, edited by Joshua Parker and Ralph Poole, vol. 15, LIT Verlag Berlin-Münster-Wien-Zürich-London, 2017, pp. 73–80.
View
| Files available
2017 |Published| Conference Paper | IST-REx-ID: 1112
Paixao, Tiago, and Jorge Pérez Heredia. “An Application of Stochastic Differential Equations to Evolutionary Algorithms.” Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11, doi:10.1145/3040718.3040729.
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 1175 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alwen, Joel F., et al. Cumulative Space in Black-White Pebbling and Resolution. Edited by Christos Papadimitriou, vol. 67, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21, doi:10.4230/LIPIcs.ITCS.2017.38.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 1191 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kollár, Richard, and Sebastian Novak. “Existence of Traveling Waves for the Generalized F–KPP Equation.” Bulletin of Mathematical Biology, vol. 79, no. 3, Springer, 2017, pp. 525–59, doi:10.1007/s11538-016-0244-3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2017 |Published| Journal Article | IST-REx-ID: 1211 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Budanur, Nazmi B., and Predrag Cvitanović. “Unstable Manifolds of Relative Periodic Orbits in the Symmetry Reduced State Space of the Kuramoto–Sivashinsky System.” Journal of Statistical Physics, vol. 167, no. 3–4, Springer, 2017, pp. 636–55, doi:10.1007/s10955-016-1672-z.
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 123 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Waitukaitis, Scott R., et al. “Coupling the Leidenfrost Effect and Elastic Deformations to Power Sustained Bouncing.” Nature Physics, vol. 13, no. 11, Nature Publishing Group, 2017, pp. 1095–99, doi:10.1038/nphys4194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 1113 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fulek, Radoslav, et al. “Hanani-Tutte for Radial Planarity.” Journal of Graph Algorithms and Applications, vol. 21, no. 1, Brown University, 2017, pp. 135–54, doi:10.7155/jgaa.00408.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 169 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Browning, Timothy D., et al. “Twisted Linnik Implies Optimal Covering Exponent for S3.” International Mathematics Research Notices, Oxford University Press, 2017, doi:10.1093/imrn/rnx116.
View
| DOI
| Download None (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 172 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Browning, Timothy D., and Damaris Schindler. “Strong Approximation and a Conjecture of Harpaz and Wittenberg.” International Mathematics Research Notices, Oxford University Press, 2017, doi:10.1093/imrn/rnx252.
View
| DOI
| Download None (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 391
Xu, Yishuai, et al. “Disorder Enabled Band Structure Engineering of a Topological Insulator Surface.” Nature Communications, vol. 8, Nature Publishing Group, 2017, doi:10.1038/ncomms14081.
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 393 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alpichshev, Zhanybek, et al. “Origin of the Exciton Mass in the Frustrated Mott Insulator Na2IrO3.” Physical Review B, vol. 96, no. 23, American Physical Society, 2017, doi:10.1103/PhysRevB.96.235141.
View
| DOI
| Download None (ext.)
2017 |Published| Journal Article | IST-REx-ID: 392 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vishik, Inna, et al. “Ultrafast Dynamics in the Presence of Antiferromagnetic Correlations in Electron Doped Cuprate La2 XCexCuO4±δ.” Physical Review B, vol. 95, no. 11, American Physical Society, 2017, doi:10.1103/PhysRevB.95.115125.
View
| DOI
| Download None (ext.)
2017 |Published| Journal Article | IST-REx-ID: 443 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hardie, Rae, et al. “Mitochondrial Mutations and Metabolic Adaptation in Pancreatic Cancer.” Cancer & Metabolism, vol. 5, no. 2, BioMed Central, 2017, doi:10.1186/s40170-017-0164-1.
[Published Version]
View
| Files available
| DOI
2017 |Published| Book Chapter | IST-REx-ID: 444
Sazanov, Leonid A. “Structure of Respiratory Complex I: ‘Minimal’ Bacterial and ‘de Luxe’ Mammalian Versions.” Mechanisms of Primary Energy Transduction in Biology , edited by Mårten Wikström, Royal Society of Chemistry, 2017, pp. 25–59, doi:10.1039/9781788010405-00025.
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 445 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Serbyn, Maksym, and Dimitry Abanin. “Loschmidt Echo in Many Body Localized Phases.” Physical Review B - Condensed Matter and Materials Physics, vol. 96, no. 1, American Physical Society, 2017, doi:10.1103/PhysRevB.96.014202.
View
| DOI
| Download (ext.)
2017 |Published| Journal Article | IST-REx-ID: 452
Bächer, Moritz, et al. “Spin It: Optimizing Moment of Inertia for Spinnable Objects.” Communications of the ACM, vol. 60, no. 8, ACM, 2017, pp. 92–99, doi:10.1145/3068766.
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fallesen, Todd, et al. “Ensembles of Bidirectional Kinesin Cin8 Produce Additive Forces in Both Directions of Movement.” Biophysical Journal, vol. 113, no. 9, Biophysical Society, 2017, pp. 2055–67, doi:10.1016/j.bpj.2017.09.006.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 464 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science, vol. 13, no. 3, 26, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:26)2017.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 470 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Jeschke, Stefan, and Chris Wojtan. “Water Wave Packets.” ACM Transactions on Graphics, vol. 36, no. 4, 103, ACM, 2017, doi:10.1145/3072959.3073678.
[Published Version]
View
| Files available
| DOI