Chatterjee K, Ibsen-Jensen R. The complexity of deciding legality of a single step of magic: The gathering. In: Vol 285. IOS Press; 2016:1432-1439. doi:10.3233/978-1-61499-672-9-1432
LibreCat: https://research-explorer.ista.ac.at/record/478
DOI: 10.3233/978-1-61499-672-9-1432

Chatterjee K, Doyen L. Perfect-information stochastic games with generalized mean-payoff objectives. In: Vol 05-08-July-2016. IEEE; 2016:247-256. doi:10.1145/2933575.2934513
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-manifolds. In: Vol 51. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing; 2016:24.1-24.15. doi:10.4230/LIPIcs.SoCG.2016.24
LibreCat: https://research-explorer.ista.ac.at/record/1379
DOI: 10.4230/LIPIcs.SoCG.2016.24

Chatterjee K, Chmelik M, Tracol M. What is decidable about partially observable Markov decision processes with <9-regular objectives. Journal of Computer and System Sciences. 2016;82(5):878-911. doi:10.1016/j.jcss.2016.02.009
LibreCat: https://research-explorer.ista.ac.at/record/1477
DOI: 10.1016/j.jcss.2016.02.009
arXiv: 1309.2802

Chatterjee K, Chmelik M, Gupta R, Kanodia A. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 2016;234:26-48. doi:10.1016/j.artint.2016.01.007
LibreCat: https://research-explorer.ista.ac.at/record/1529
DOI: 10.1016/j.artint.2016.01.007
arXiv: 1411.3880

Chatterjee K, Pavlogiannis A, Velner Y. Quantitative Interprocedural Analysis. IST Austria; 2016. doi:10.15479/AT:IST-2016-523-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5445
DOI: 10.15479/AT:IST-2016-523-v1-1

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria; 2016. doi:10.15479/AT:IST-2016-648-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5449
DOI: 10.15479/AT:IST-2016-648-v1-1

Anonymous 1, Anonymous 2, Anonymous 3. Termination and Worst-Case Analysis of Recursive Programs. IST Austria; 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5446

Anonymous 1, Anonymous 2, Anonymous 3. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria; 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5447

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-749-v3-1
LibreCat: https://research-explorer.ista.ac.at/record/5453
DOI: 10.15479/AT:IST-2017-749-v3-1

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2016-728-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5451
DOI: 10.15479/AT:IST-2016-728-v1-1

Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5448
arXiv: 1610.01188

Mattei S, Schur FK, Briggs JA. Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. 2016;18(6):27-35. doi:10.1016/j.coviro.2016.02.008
LibreCat: https://research-explorer.ista.ac.at/record/5771
DOI: 10.1016/j.coviro.2016.02.008

Hosten O, Krishnakumar R, Engelsen N, Kasevich M. Quantum phase magnification. Science. 2016;352(6293):1552-1555. doi:10.1126/science.aaf3397
LibreCat: https://research-explorer.ista.ac.at/record/587
DOI: 10.1126/science.aaf3397

Mondelli M, Hassani SH, Urbanke RL. Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors. IEEE Transactions on Information Theory. 2016;62(12):6698-6712. doi:10.1109/tit.2016.2616117
LibreCat: https://research-explorer.ista.ac.at/record/6732
DOI: 10.1109/tit.2016.2616117
arXiv: 1501.02444

Kudekar S, Kumar S, Mondelli M, Pfister HD, Urbankez R. Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels. In: 2016 IEEE International Symposium on Information Theory . IEEE; 2016:1755-1759. doi:10.1109/isit.2016.7541600
LibreCat: https://research-explorer.ista.ac.at/record/6733
DOI: 10.1109/isit.2016.7541600
arXiv: 1601.06048

Moll PJW, Potter AC, Nair NL, et al. Magnetic torque anomaly in the quantum limit of Weyl semimetals. Nature Communications. 2016;7. doi:10.1038/ncomms12492
LibreCat: https://research-explorer.ista.ac.at/record/7068
DOI: 10.1038/ncomms12492

Mourad E, Coustan L, Lannelongue P, et al. Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors. Nature Materials. 2016;16(4):446-453. doi:10.1038/nmat4808
LibreCat: https://research-explorer.ista.ac.at/record/7279
DOI: 10.1038/nmat4808
arXiv: 1711.11518

Freunberger SA. Batteries: Charging ahead rationally. Nature Energy. 2016;1(6). doi:10.1038/nenergy.2016.74
LibreCat: https://research-explorer.ista.ac.at/record/7297
DOI: 10.1038/nenergy.2016.74

Tang Y, Zhao C-Y, Tan S, Xue H-W. Arabidopsis type II phosphatidylinositol 4-kinase PK;35 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor AN. PLOS Genetics. 2016;12(8). doi:10.1371/journal.pgen.1006252
LibreCat: https://research-explorer.ista.ac.at/record/7599
DOI: 10.1371/journal.pgen.1006252