Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9096 Publications
2013 | Journal Article | IST-REx-ID: 2831 | 
Chatterjee K, Henzinger MH, Joglekar M, Shah N. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 2013;42(3):301-327. doi:10.1007/s10703-012-0180-2
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 342
Li W, Zamani R, Ibáñez M, et al. Metal ions to control the morphology of semiconductor nanoparticles: Copper selenide nanocubes. Journal of the American Chemical Society. 2013;135(12):4664-4667. doi:10.1021/ja400472m
View
| DOI
2013 | Journal Article | IST-REx-ID: 343
Ibáñez M, Zamani R, Gorsse S, et al. Core shell nanoparticles as building blocks for the bottom-up production of functional nanocomposites: PbTe PbS thermoelectric properties. ACS Nano. 2013;7(3):2573-2586. doi:10.1021/nn305971v
View
| DOI
2013 | Journal Article | IST-REx-ID: 351
Carrete A, Shavel A, Fontané X, et al. Antimony-based ligand exchange to promote crystallization in spray-deposited Cu2ZnSnSe4 solar cells. Journal of the American Chemical Society. 2013;135(43):15982-15985. doi:10.1021/ja4068639
View
| DOI
2013 | Journal Article | IST-REx-ID: 353
Li W, Zamani R, Rivera Gil P, et al. CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents. Journal of the American Chemical Society. 2013;135(19):7098-7101. doi:10.1021/ja401428e
View
| DOI