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.
6985 Publications
2017 |Published| Journal Article | IST-REx-ID: 10418 | 
Mciver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, and Joost P Katoen. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017. https://doi.org/10.1145/3158121.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 |Published| Book Chapter | IST-REx-ID: 1075 |
Wenzl, Bernhard. “An American in Allied-Occupied Austria: John Dos Passos Reports on "The Vienna Frontier"” In Austria and America: 20th-Century Cross-Cultural Encounters, edited by Joshua Parker and Ralph Poole, 15:73–80. LIT Verlag Berlin-Münster-Wien-Zürich-London, 2017.
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.” In Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 3–11. ACM, 2017. https://doi.org/10.1145/3040718.3040729.
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 1175 |
Alwen, Joel F, Susanna De Rezende, Jakob Nordstrom, and Marc Vinyals. “Cumulative Space in Black-White Pebbling and Resolution.” edited by Christos Papadimitriou, 67:38:1-38-21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.ITCS.2017.38.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 1191 |
Kollár, Richard, and Sebastian Novak. “Existence of Traveling Waves for the Generalized F–KPP Equation.” Bulletin of Mathematical Biology. Springer, 2017. https://doi.org/10.1007/s11538-016-0244-3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2017 |Published| Journal Article | IST-REx-ID: 1211 |
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. Springer, 2017. https://doi.org/10.1007/s10955-016-1672-z.
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 123 |
Waitukaitis, Scott R, Antal Zuiderwijk, Anton Souslov, Corentin Coulais, and Martin Van Hecke. “Coupling the Leidenfrost Effect and Elastic Deformations to Power Sustained Bouncing.” Nature Physics. Nature Publishing Group, 2017. https://doi.org/10.1038/nphys4194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 1113 |
Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity.” Journal of Graph Algorithms and Applications. Brown University, 2017. https://doi.org/10.7155/jgaa.00408.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 169 |
Browning, Timothy D, Vinay Kumaraswamy, and Rapael Steiner. “Twisted Linnik Implies Optimal Covering Exponent for S3.” International Mathematics Research Notices. Oxford University Press, 2017. https://doi.org/10.1093/imrn/rnx116.
View
| DOI
| Download None (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 172 |
Browning, Timothy D, and Damaris Schindler. “Strong Approximation and a Conjecture of Harpaz and Wittenberg.” International Mathematics Research Notices. Oxford University Press, 2017. https://doi.org/10.1093/imrn/rnx252.
View
| DOI
| Download None (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 391
Xu, Yishuai, Janet Chiu, Lin Miao, Haowei He, Zhanybek Alpichshev, Aharon Kapitulnik, Rudro Biswas, and Lewis Wray. “Disorder Enabled Band Structure Engineering of a Topological Insulator Surface.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/ncomms14081.
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 393 |
Alpichshev, Zhanybek, Edbert Sie, Fahad Mahmood, Gang Cao, and Nuh Gedik. “Origin of the Exciton Mass in the Frustrated Mott Insulator Na2IrO3.” Physical Review B. American Physical Society, 2017. https://doi.org/10.1103/PhysRevB.96.235141.
View
| DOI
| Download None (ext.)
2017 |Published| Journal Article | IST-REx-ID: 392 |
Vishik, Inna, Fahad Mahmood, Zhanybek Alpichshev, Nuh Gedik, Joshu Higgins, and Richard Greene. “Ultrafast Dynamics in the Presence of Antiferromagnetic Correlations in Electron Doped Cuprate La2 XCexCuO4±δ.” Physical Review B. American Physical Society, 2017. https://doi.org/10.1103/PhysRevB.95.115125.
View
| DOI
| Download None (ext.)
2017 |Published| Journal Article | IST-REx-ID: 443 |
Hardie, Rae, Ellen Van Dam, Mark Cowley, Ting Han, Seher Balaban, Marina Pajic, Mark Pinese, et al. “Mitochondrial Mutations and Metabolic Adaptation in Pancreatic Cancer.” Cancer & Metabolism. BioMed Central, 2017. https://doi.org/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.” In Mechanisms of Primary Energy Transduction in Biology , edited by Mårten Wikström, 25–59. Mechanisms of Primary Energy Transduction in Biology . Royal Society of Chemistry, 2017. https://doi.org/10.1039/9781788010405-00025.
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 445 |
Serbyn, Maksym, and Dimitry Abanin. “Loschmidt Echo in Many Body Localized Phases.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2017. https://doi.org/10.1103/PhysRevB.96.014202.
View
| DOI
| Download (ext.)
2017 |Published| Journal Article | IST-REx-ID: 452
Bächer, Moritz, Bernd Bickel, Emily Whiting, and Olga Sorkine Hornung. “Spin It: Optimizing Moment of Inertia for Spinnable Objects.” Communications of the ACM. ACM, 2017. https://doi.org/10.1145/3068766.
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 453 |
Fallesen, Todd, Johanna Roostalu, Christian F Düllberg, Gunnar Pruessner, and Thomas Surrey. “Ensembles of Bidirectional Kinesin Cin8 Produce Additive Forces in Both Directions of Movement.” Biophysical Journal. Biophysical Society, 2017. https://doi.org/10.1016/j.bpj.2017.09.006.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 464 |
Chatterjee, Krishnendu, Monika H Henzinger, and Veronika Loitzenbauer. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science. International Federation of Computational Logic, 2017. https://doi.org/10.23638/LMCS-13(3:26)2017.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 470 |
Jeschke, Stefan, and Chris Wojtan. “Water Wave Packets.” ACM Transactions on Graphics. ACM, 2017. https://doi.org/10.1145/3072959.3073678.
[Published Version]
View
| Files available
| DOI