Bright M, Browning TD, Loughran D. 2016. Failures of weak approximation in families. Compositio Mathematica. 152(7), 1435–1475.
LibreCat: https://research-explorer.ista.ac.at/record/264
DOI: 10.1112/S0010437X16007405

Krenn S, Pietrzak KZ, Wadia A, Wichs D. 2016. A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. 25(3), 567–605.
LibreCat: https://research-explorer.ista.ac.at/record/1479
DOI: 10.1007/s00037-015-0120-9

Meyn M, Perálvarez M, Heuer Jungemann A, Hertog W, Ibáñez M, Nafria R, Genç A, Arbiol J, Kovalenko M, Carreras J, Cabot A, Kanaras A. 2016. Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs. ACS Applied Materials and Interfaces. 8(30), 19579–19586.
LibreCat: https://research-explorer.ista.ac.at/record/366
DOI: 10.1021/acsami.6b02529

Mahmood F, Chan C, Alpichshev Z, Gardner D, Lee Y, Lee P, Gedik N. 2016. Selective scattering between Floquet Bloch and Volkov states in a topological insulator. Nature Physics. 12(4), 306–310.
LibreCat: https://research-explorer.ista.ac.at/record/389
DOI: 10.1038/nphys3609

Willmann K, Sacco R, Martins R, Garncarz W, Krolo A, Knapp S, Bennett K, Boztug K. 2016. Expanding the interactome of the noncanonical NF-;aB signaling pathway. Journal of Proteome Research. 15(9), 2900–2909.
LibreCat: https://research-explorer.ista.ac.at/record/460
DOI: 10.1021/acs.jproteome.5b01004

Chatterjee K, Ibsen-Jensen R. 2016. The complexity of deciding legality of a single step of magic: The gathering. ECAI: European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 285, 1432–1439.
LibreCat: https://research-explorer.ista.ac.at/record/478
DOI: 10.3233/978-1-61499-672-9-1432

Chatterjee K, Doyen L. 2016. Perfect-information stochastic games with generalized mean-payoff objectives. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, vol. 05-08-July-2016, 247–256.
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

Burton B, de Mesmay AN, Wagner U. 2016. Finding non-orientable surfaces in 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 24.1-24.15.
LibreCat: https://research-explorer.ista.ac.at/record/1379
DOI: 10.4230/LIPIcs.SoCG.2016.24

Chatterjee K, Chmelik M, Tracol M. 2016. What is decidable about partially observable Markov decision processes with <9-regular objectives. Journal of Computer and System Sciences. 82(5), 878–911.
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. 2016. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 234, 26–48.
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. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
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. 2016. Amplification on undirected population structures: Comets beat stars, IST Austria, 22p.
LibreCat: https://research-explorer.ista.ac.at/record/5449
DOI: 10.15479/AT:IST-2016-648-v1-1

Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.
LibreCat: https://research-explorer.ista.ac.at/record/5446

Anonymous 1, Anonymous 2, Anonymous 3. 2016. Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds, IST Austria, 20p.
LibreCat: https://research-explorer.ista.ac.at/record/5447

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 34p.
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. 2016. Strong amplifiers of natural selection, IST Austria, 34p.
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. 2016. Data-centric dynamic partial order reduction, IST Austria, 20p.
LibreCat: https://research-explorer.ista.ac.at/record/5448
arXiv: 1610.01188

Mattei S, Schur FK, Briggs JA. 2016. Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. 18(6), 27–35.
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. 2016. Quantum phase magnification. Science. 352(6293), 1552–1555.
LibreCat: https://research-explorer.ista.ac.at/record/587
DOI: 10.1126/science.aaf3397

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