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.
5796 Publications
2016 | Journal Article | IST-REx-ID: 389 | 
Mahmood, Fahad, Ching Chan, Zhanybek Alpichshev, Dillon Gardner, Young Lee, Patrick Lee, and Nuh Gedik. “Selective Scattering between Floquet Bloch and Volkov States in a Topological Insulator.” Nature Physics. Nature Publishing Group, 2016. https://doi.org/10.1038/nphys3609.
View
| DOI
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 460 |
Willmann, Katharina, Roberto Sacco, Rui Martins, Wojciech Garncarz, Ana Krolo, Sylvia Knapp, Keiryn Bennett, and Kaan Boztug. “Expanding the Interactome of the Noncanonical NF-ΚB Signaling Pathway.” Journal of Proteome Research. American Chemical Society, 2016. https://doi.org/10.1021/acs.jproteome.5b01004.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 478 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding Legality of a Single Step of Magic: The Gathering,” 285:1432–39. IOS Press, 2016. https://doi.org/10.3233/978-1-61499-672-9-1432.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 480 |
Chatterjee, Krishnendu, and Laurent Doyen. “Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives,” 05-08-July-2016:247–56. IEEE, 2016. https://doi.org/10.1145/2933575.2934513.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1379 |
Burton, Benjamin, Arnaud N de Mesmay, and Uli Wagner. “Finding Non-Orientable Surfaces in 3-Manifolds,” 51:24.1-24.15. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. https://doi.org/10.4230/LIPIcs.SoCG.2016.24.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1477 |
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences. Elsevier, 2016. https://doi.org/10.1016/j.jcss.2016.02.009.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1529 |
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence. Elsevier, 2016. https://doi.org/10.1016/j.artint.2016.01.007.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Technical Report | IST-REx-ID: 5445 |
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-523-v1-1.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5449 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-648-v1-1.
[Updated Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5446 |
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5447 |
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5453 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2017-749-v3-1.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-728-v1-1.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5448 |
Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 | Journal Article | IST-REx-ID: 5771 |
Mattei, Simone, Florian KM Schur, and John AG Briggs. “Retrovirus Maturation—an Extraordinary Structural Transformation.” Current Opinion in Virology. Elsevier, 2016. https://doi.org/10.1016/j.coviro.2016.02.008.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 587 |
Hosten, Onur, Rajiv Krishnakumar, Nils Engelsen, and Mark Kasevich. “Quantum Phase Magnification.” Science. American Association for the Advancement of Science, 2016. https://doi.org/10.1126/science.aaf3397.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 6732 |
Mondelli, Marco, S. Hamed Hassani, and Rudiger L. Urbanke. “Unified Scaling of Polar Codes: Error Exponent, Scaling Exponent, Moderate Deviations, and Error Floors.” IEEE Transactions on Information Theory. IEEE, 2016. https://doi.org/10.1109/tit.2016.2616117.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 6733 |
Kudekar, Shrinivas, Santhosh Kumar, Marco Mondelli, Henry D. Pfister, and Rudiger Urbankez. “Comparing the Bit-MAP and Block-MAP Decoding Thresholds of Reed-Muller Codes on BMS Channels.” In 2016 IEEE International Symposium on Information Theory , 1755–59. IEEE, 2016. https://doi.org/10.1109/isit.2016.7541600.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 7068 |
Moll, Philip J. W., Andrew C. Potter, Nityan L. Nair, B. J. Ramshaw, Kimberly A Modic, Scott Riggs, Bin Zeng, et al. “Magnetic Torque Anomaly in the Quantum Limit of Weyl Semimetals.” Nature Communications. Springer Nature, 2016. https://doi.org/10.1038/ncomms12492.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7279 |
Mourad, Eléonore, Laura Coustan, Pierre Lannelongue, Dodzi Zigah, Ahmad Mehdi, André Vioux, Stefan Alexander Freunberger, Frédéric Favier, and Olivier Fontaine. “Biredox Ionic Liquids with Solid-like Redox Density in the Liquid State for High-Energy Supercapacitors.” Nature Materials. Springer Nature, 2016. https://doi.org/10.1038/nmat4808.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv