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: 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
2016 | Journal Article | IST-REx-ID: 7297 |
Freunberger, Stefan Alexander. “Batteries: Charging Ahead Rationally.” Nature Energy. Springer Nature, 2016. https://doi.org/10.1038/nenergy.2016.74.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7599 |
Tang, Yong, Chun-Yan Zhao, Shutang Tan, and Hong-Wei Xue. “Arabidopsis Type II Phosphatidylinositol 4-Kinase PI4Kγ5 Regulates Auxin Biosynthesis and Leaf Margin Development through Interacting with Membrane-Bound Transcription Factor ANAC078.” PLOS Genetics. Public Library of Science, 2016. https://doi.org/10.1371/journal.pgen.1006252.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7737 |
Zhu, Zhihong, Futao Zhang, Han Hu, Andrew Bakshi, Matthew Richard Robinson, Joseph E Powell, Grant W Montgomery, et al. “Integration of Summary Data from GWAS and EQTL Studies Predicts Complex Trait Gene Targets.” Nature Genetics. Springer Nature, 2016. https://doi.org/10.1038/ng.3538.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 786 |
Alistarh, Dan-Adrian, Keren Censor Hillel, and Nir Shavit. “Are Lock Free Concurrent Algorithms Practically Wait Free .” Journal of the ACM. ACM, 2016. https://doi.org/10.1145/2903136.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 8020 |
Barron, H.C., Tim P Vogels, U.E. Emir, T.R. Makin, J. O’Shea, S. Clare, S. Jbabdi, R.J. Dolan, and T.E.J. Behrens. “Unmasking Latent Inhibitory Connections in Human Cortex to Reveal Dormant Cortical Memories.” Neuron. Elsevier, 2016. https://doi.org/10.1016/j.neuron.2016.02.031.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC