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

Nafria R, Genç A, Ibáñez M, Arbiol J, Ramírez De La Piscina P, Homs N, Cabot A. 2016. Co Cu nanoparticles synthesis by galvanic replacement and phase rearrangement during catalytic activation. Langmuir. 32(9), 2267–2276.
LibreCat: https://research-explorer.ista.ac.at/record/368
DOI: 10.1021/acs.langmuir.5b04622

Luo Z, Márti Sánchez S, Nafria R, Joshua G, De La Mata M, Guardia P, Flox C, Martínez Boubeta C, Simeonidis K, Llorca J, Morante J, Arbiol J, Ibáñez M, Cabot A. 2016. Fe3O4@NiFexOy nanoparticles with enhanced electrocatalytic properties for oxygen evolution in carbonate electrolyte. ACS Applied Materials and Interfaces. 8(43), 29461–29469.
LibreCat: https://research-explorer.ista.ac.at/record/371
DOI: 10.1021/acsami.6b09888

Shavel A, Ibáñez M, Luo Z, De Roo J, Carrete A, Dimitrievska M, Genç A, Meyns M, Pérez Rodríguez A, Kovalenko M, Arbol J, Cabot A. 2016. Scalable heating-up synthesis of monodisperse Cu2ZnSn nanocrystals. Chemistry of Materials. 28(3), 720–726.
LibreCat: https://research-explorer.ista.ac.at/record/379
DOI: 10.1021/acs.chemmater.5b03417

Luo Z, Irtem E, Ibanez M, Nafria R, Márti Sánchez S, Genç A, De La Mata M, Liu Y, Cadavid D, Llorca J, Arbiol J, Andreu T, Morante J, Cabot A. 2016. Mn3O4@CoMn2O4–CoxOy nanoparticles: Partial cation exchange synthesis and electrocatalytic properties toward the oxygen reduction and evolution reactions. ACS Applied Materials and Interfaces. 8, 17435–17444.
LibreCat: https://research-explorer.ista.ac.at/record/382
DOI: 10.1021/acsami.6b02786

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

Jiang Y, Liu H, Kong H, Wang R, Hosseini M, Sun J, Sha L. 2016. Use runtime verification to improve the quality of medical care practice. Proceedings of the 38th International Conference on Software Engineering Companion . ICSE: International Conference on Software Engineering, Proceedings International Conference on Software Engineering, , 112–121.
LibreCat: https://research-explorer.ista.ac.at/record/479
DOI: 10.1145/2889160.2889233

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

von Wangenheim D, Fangerau J, Schmitz A, Smith R, Leitte H, Stelzer E, Maizel A. 2016. Rules and self-organizing properties of post-embryonic plant organ cell division patterns. Current Biology. 26(4), 439–449.
LibreCat: https://research-explorer.ista.ac.at/record/526
DOI: 10.1016/j.cub.2015.12.047

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

Chatterjee K, Chmelik M, Davies J. 2016. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2016, 3225–3232.
LibreCat: https://research-explorer.ista.ac.at/record/1166

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