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.
503 Publications
2016 |Published| Technical Report | IST-REx-ID: 5445 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. Quantitative Interprocedural Analysis. IST Austria, 2016, doi:10.15479/AT:IST-2016-523-v1-1.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1166
Chatterjee, Krishnendu, et al. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, vol. 2016, AAAI Press, 2016, pp. 3225–32.
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5449 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis, Andreas, et al. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016, doi:10.15479/AT:IST-2016-648-v1-1.
[Updated Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5446 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anonymous, 1, et al. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5447 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anonymous, 1, et al. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-749-v3-1.
[Published Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5451 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2016-728-v1-1.
[Published Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5448 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anonymous, 1, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 5771 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mattei, Simone, et al. “Retrovirus Maturation—an Extraordinary Structural Transformation.” Current Opinion in Virology, vol. 18, no. 6, Elsevier, 2016, pp. 27–35, doi:10.1016/j.coviro.2016.02.008.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 5806
Biswas, Ranita, and Partha Bhowmick. “On Functionality of Quadraginta Octants of Naive Sphere with Application to Circle Drawing.” Discrete Geometry for Computer Imagery, vol. 9647, Springer Nature, 2016, pp. 256–67, doi:10.1007/978-3-319-32360-2_20.
View
| DOI
2016 |Published| Book Chapter | IST-REx-ID: 5805
Sen, Nabhasmita, et al. “On Some Local Topological Properties of Naive Discrete Sphere.” Computational Topology in Image Context, vol. 9667, Springer Nature, 2016, pp. 253–64, doi:10.1007/978-3-319-39441-1_23.
View
| DOI
2016 |Published| Book Chapter | IST-REx-ID: 5809
Biswas, Ranita, et al. “On the Connectivity and Smoothness of Discrete Spherical Circles.” Combinatorial Image Analysis, vol. 9448, Springer Nature, 2016, pp. 86–100, doi:10.1007/978-3-319-26145-4_7.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 588
Hosten, Onur, et al. “Measurement Noise 100 Times Lower than the Quantum-Projection Limit Using Entangled Atoms.” Nature, vol. 529, no. 7587, Nature Publishing Group, 2016, pp. 505–08, doi:10.1038/nature16176.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 587 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hosten, Onur, et al. “Quantum Phase Magnification.” Science, vol. 352, no. 6293, American Association for the Advancement of Science, 2016, pp. 1552–55, doi:10.1126/science.aaf3397.
View
| DOI
| Download (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 592
Engelsen, Nils, et al. Engineering Spin Squeezed States for Quantum-Enhanced Atom Interferometry. IEEE, 2016.
View
| Download None (ext.)
2016 |Published| Journal Article | IST-REx-ID: 602
Bernecky, Carrie, et al. “Structure of Transcribing Mammalian RNA Polymerase II.” Nature, vol. 529, no. 7587, Nature Publishing Group, 2016, pp. 551–54, doi:10.1038/nature16482.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 6732 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mondelli, Marco, et al. “Unified Scaling of Polar Codes: Error Exponent, Scaling Exponent, Moderate Deviations, and Error Floors.” IEEE Transactions on Information Theory, vol. 62, no. 12, IEEE, 2016, pp. 6698–712, doi:10.1109/tit.2016.2616117.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 6733 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kudekar, Shrinivas, et al. “Comparing the Bit-MAP and Block-MAP Decoding Thresholds of Reed-Muller Codes on BMS Channels.” 2016 IEEE International Symposium on Information Theory , IEEE, 2016, pp. 1755–59, doi:10.1109/isit.2016.7541600.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 6770
Mondelli, Marco, et al. “Reed-Muller Codes: Thresholds and Weight Distribution.” 24th International Zurich Seminar on Communications, ETH Zürich, 2016, p. 50, doi:10.3929/ETHZ-A-010646484.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 7068 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Moll, Philip J. W., et al. “Magnetic Torque Anomaly in the Quantum Limit of Weyl Semimetals.” Nature Communications, vol. 7, 12492, Springer Nature, 2016, doi:10.1038/ncomms12492.
[Published Version]
View
| Files available
| DOI