Hinton, James, et al. “The Rate of Quasiparticle Recombination Probes the Onset of Coherence in Cuprate Superconductors.”10.1038/srep23610__Scientific Reports, vol. 6, Nature Publishing Group, 2016, doi:10.1038/srep23610.
LibreCat: https://research-explorer.ista.ac.at/record/390
DOI: 10.1038/srep23610

De Roo, Jonathan, et al. “Highly Dynamic Ligand Binding and Light Absorption Coefficient of Cesium Lead Bromide Perovskite Nanocrystals.”10.1021/acsnano.5b06295__ACS Nano, vol. 10, no. 2, American Chemical Society, 2016, pp. 2071–81, doi:10.1021/acsnano.5b06295.
LibreCat: https://research-explorer.ista.ac.at/record/363
DOI: 10.1021/acsnano.5b06295

Meyn, Michaela, et al. “Polymer Enhanced Stability of Inorganic Perovskite Nanocrystals and Their Application in Color Conversion LEDs.”10.1021/acsami.6b02529__ACS Applied Materials and Interfaces, vol. 8, no. 30, American Chemical Society, 2016, pp. 19579–86, doi:10.1021/acsami.6b02529.
LibreCat: https://research-explorer.ista.ac.at/record/366
DOI: 10.1021/acsami.6b02529

Nafria, Raquel, et al. “Co Cu Nanoparticles Synthesis by Galvanic Replacement and Phase Rearrangement during Catalytic Activation.”10.1021/acs.langmuir.5b04622__Langmuir, vol. 32, no. 9, American Chemical Society, 2016, pp. 2267–76, doi:10.1021/acs.langmuir.5b04622.
LibreCat: https://research-explorer.ista.ac.at/record/368
DOI: 10.1021/acs.langmuir.5b04622

Luo, Zhishan, et al. “Fe3O4@NiFexOy Nanoparticles with Enhanced Electrocatalytic Properties for Oxygen Evolution in Carbonate Electrolyte.”10.1021/acsami.6b09888__ACS Applied Materials and Interfaces, vol. 8, no. 43, American Chemical Society, 2016, pp. 29461–69, doi:10.1021/acsami.6b09888.
LibreCat: https://research-explorer.ista.ac.at/record/371
DOI: 10.1021/acsami.6b09888

Shavel, Alexey, et al. “Scalable Heating-up Synthesis of Monodisperse Cu2ZnSn Nanocrystals.”10.1021/acs.chemmater.5b03417__Chemistry of Materials, vol. 28, no. 3, American Chemical Society, 2016, pp. 720–26, doi:10.1021/acs.chemmater.5b03417.
LibreCat: https://research-explorer.ista.ac.at/record/379
DOI: 10.1021/acs.chemmater.5b03417

Luo, Zhishan, et al. “Mn3O4@CoMn2O4–CoxOy Nanoparticles: Partial Cation Exchange Synthesis and Electrocatalytic Properties toward the Oxygen Reduction and Evolution Reactions.”10.1021/acsami.6b02786__ACS Applied Materials and Interfaces, vol. 8, American Chemical Society, 2016, pp. 17435–44, doi:10.1021/acsami.6b02786.
LibreCat: https://research-explorer.ista.ac.at/record/382
DOI: 10.1021/acsami.6b02786

Mahmood, Fahad, et al. “Selective Scattering between Floquet Bloch and Volkov States in a Topological Insulator.”10.1038/nphys3609__Nature Physics, vol. 12, no. 4, Nature Publishing Group, 2016, pp. 306–10, doi:10.1038/nphys3609.
LibreCat: https://research-explorer.ista.ac.at/record/389
DOI: 10.1038/nphys3609

Willmann, Katharina, et al. “Expanding the Interactome of the Noncanonical NF-9aB Signaling Pathway.”10.1021/acs.jproteome.5b01004__Journal of Proteome Research, vol. 15, no. 9, American Chemical Society, 2016, pp. 2900–09, doi:10.1021/acs.jproteome.5b01004.
LibreCat: https://research-explorer.ista.ac.at/record/460
DOI: 10.1021/acs.jproteome.5b01004

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. Vol. 285, IOS Press, 2016, pp. 1432–39, 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

Jiang, Yu, et al. “Use Runtime Verification to Improve the Quality of Medical Care Practice.”10.1145/2889160.2889233__Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–21, doi:10.1145/2889160.2889233.
LibreCat: https://research-explorer.ista.ac.at/record/479
DOI: 10.1145/2889160.2889233

Chatterjee, Krishnendu, and Laurent Doyen. Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Vol. 05-08-July-2016, IEEE, 2016, pp. 247–56, doi:10.1145/2933575.2934513.
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

von Wangenheim, Daniel, et al. “Rules and Self-Organizing Properties of Post-Embryonic Plant Organ Cell Division Patterns.”10.1016/j.cub.2015.12.047__Current Biology, vol. 26, no. 4, Cell Press, 2016, pp. 439–49, doi:10.1016/j.cub.2015.12.047.
LibreCat: https://research-explorer.ista.ac.at/record/526
DOI: 10.1016/j.cub.2015.12.047

Burton, Benjamin, et al. Finding Non-Orientable Surfaces in 3-Manifolds. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 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, Krishnendu, et al. “What Is Decidable about Partially Observable Markov Decision Processes with <9-Regular Objectives.”10.1016/j.jcss.2016.02.009__Journal of Computer and System Sciences, vol. 82, no. 5, Elsevier, 2016, pp. 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, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.”10.1016/j.artint.2016.01.007__Artificial Intelligence, vol. 234, Elsevier, 2016, pp. 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, Krishnendu, et al. 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

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.
LibreCat: https://research-explorer.ista.ac.at/record/1166

Pavlogiannis, Andreas, et al. 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, et al. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5446