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.
7047 Publications
2018 |Published| Conference Paper | IST-REx-ID: 311 | 
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Yaron Velner. “Quantitative Analysis of Smart Contracts,” 10801:739–67. Springer, 2018. https://doi.org/10.1007/978-3-319-89884-1_26.
[Published Version]
View
| Files available
| DOI
2018 |Published| Conference Paper | IST-REx-ID: 5977 |
Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Nastaran Okati. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018:4700–4707. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/653.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Conference Paper | IST-REx-ID: 6340 |
Goharshady, Amir Kafshdar, Ali Behrouz, and Krishnendu Chatterjee. “Secure Credit Reporting on the Blockchain.” In Proceedings of the IEEE International Conference on Blockchain, 1343–48. IEEE, 2018. https://doi.org/10.1109/Cybermatics_2018.2018.00231.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 6009 |
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM), 2018. https://doi.org/10.1145/3210257.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 5816 |
Hollmann, Arne, Daniel Jirovec, Maciej Kucharski, Dietmar Kissinger, Gunter Fischer, and Lars R. Schreiber. “30 GHz-Voltage Controlled Oscillator Operating at 4 K.” Review of Scientific Instruments. AIP Publishing, 2018. https://doi.org/10.1063/1.5038258.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 1013 |
Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” Physics. American Physical Society, 2017. https://doi.org/10.1103/Physics.10.32.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 103 |
Albrecht, S M, Esben Hansen, Andrew P Higginbotham, Ferdinand Kuemmeth, Thomas Jespersen, Jesper Nygård, Peter Krogstrup, Jeroen Danon, Karsten Flensberg, and Charles Marcus. “Transport Signatures of Quasiparticle Poisoning in a Majorana Island.” APS Physics, Physical Review Letters. American Physical Society, 2017. https://doi.org/10.1103/PhysRevLett.118.137701.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
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.)