Y. Liu et al., “Colloidal AgSbSe2 nanocrystals: surface analysis, electronic doping and processing into thermoelectric nanomaterials,” Journal of Materials Chemistry C, vol. 4. Royal Society of Chemistry, pp. 4756–4762, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/381
DOI: 10.1039/c6tc00893c

Y. Liu et al., “Thermoelectric properties of semiconductor-metal composites produced by particle blending,” Applied Physics Letters, vol. 4. American Institute of Physics, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/383
DOI: https://doi.org/10.1063/1.4961679

J. Hinton et al., “The rate of quasiparticle recombination probes the onset of coherence in cuprate superconductors,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/390
DOI: 10.1038/srep23610

J. De Roo et al., “Highly dynamic ligand binding and light absorption coefficient of cesium lead bromide perovskite nanocrystals,” ACS Nano, vol. 10, no. 2. American Chemical Society, pp. 2071–2081, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/363
DOI: 10.1021/acsnano.5b06295

M. Meyn et al., “Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs,” ACS Applied Materials and Interfaces, vol. 8, no. 30. American Chemical Society, pp. 19579–19586, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/366
DOI: 10.1021/acsami.6b02529

R. Nafria et al., “Co Cu nanoparticles synthesis by galvanic replacement and phase rearrangement during catalytic activation,” Langmuir, vol. 32, no. 9. American Chemical Society, pp. 2267–2276, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/368
DOI: 10.1021/acs.langmuir.5b04622

Z. Luo et al., “Fe3O4@NiFexOy nanoparticles with enhanced electrocatalytic properties for oxygen evolution in carbonate electrolyte,” ACS Applied Materials and Interfaces, vol. 8, no. 43. American Chemical Society, pp. 29461–29469, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/371
DOI: 10.1021/acsami.6b09888

A. Shavel et al., “Scalable heating-up synthesis of monodisperse Cu2ZnSn nanocrystals,” Chemistry of Materials, vol. 28, no. 3. American Chemical Society, pp. 720–726, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/379
DOI: 10.1021/acs.chemmater.5b03417

Z. Luo et al., “Mn3O4@CoMn2O4–CoxOy nanoparticles: Partial cation exchange synthesis and electrocatalytic properties toward the oxygen reduction and evolution reactions,” ACS Applied Materials and Interfaces, vol. 8. American Chemical Society, pp. 17435–17444, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/382
DOI: 10.1021/acsami.6b02786

F. Mahmood et al., “Selective scattering between Floquet Bloch and Volkov states in a topological insulator,” Nature Physics, vol. 12, no. 4. Nature Publishing Group, pp. 306–310, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/389
DOI: 10.1038/nphys3609

K. Willmann et al., “Expanding the interactome of the noncanonical NF-;aB signaling pathway,” Journal of Proteome Research, vol. 15, no. 9. American Chemical Society, pp. 2900–2909, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/460
DOI: 10.1021/acs.jproteome.5b01004

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

Y. Jiang et al., “Use runtime verification to improve the quality of medical care practice,” in Proceedings of the 38th International Conference on Software Engineering Companion , Austin, TX, USA, 2016, pp. 112–121.
LibreCat: https://research-explorer.ista.ac.at/record/479
DOI: 10.1145/2889160.2889233

K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

D. von Wangenheim et al., “Rules and self-organizing properties of post-embryonic plant organ cell division patterns,” Current Biology, vol. 26, no. 4. Cell Press, pp. 439–449, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/526
DOI: 10.1016/j.cub.2015.12.047

B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.
LibreCat: https://research-explorer.ista.ac.at/record/1379
DOI: 10.4230/LIPIcs.SoCG.2016.24

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

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

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

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