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 | 
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M.H. Henzinger, M. Joglekar, N. Shah, Formal Methods in System Design 42 (2013) 301–327.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M.H. Henzinger, M. Joglekar, N. Shah, Formal Methods in System Design 42 (2013) 301–327.
2013 | Journal Article | IST-REx-ID: 342
Metal ions to control the morphology of semiconductor nanoparticles: Copper selenide nanocubes
W. Li, R. Zamani, M. Ibáñez, D. Cadavid, A. Shavel, J. Morante, J. Arbiol, A. Cabot, Journal of the American Chemical Society 135 (2013) 4664–4667.
View
| DOI
W. Li, R. Zamani, M. Ibáñez, D. Cadavid, A. Shavel, J. Morante, J. Arbiol, A. Cabot, Journal of the American Chemical Society 135 (2013) 4664–4667.
2013 | Journal Article | IST-REx-ID: 343
Core shell nanoparticles as building blocks for the bottom-up production of functional nanocomposites: PbTe PbS thermoelectric properties
M. Ibáñez, R. Zamani, S. Gorsse, J. Fan, S. Ortega, D. Cadavid, J. Morante, J. Arbiol, A. Cabot, ACS Nano 7 (2013) 2573–2586.
View
| DOI
M. Ibáñez, R. Zamani, S. Gorsse, J. Fan, S. Ortega, D. Cadavid, J. Morante, J. Arbiol, A. Cabot, ACS Nano 7 (2013) 2573–2586.
2013 | Journal Article | IST-REx-ID: 351
Antimony-based ligand exchange to promote crystallization in spray-deposited Cu2ZnSnSe4 solar cells
A. Carrete, A. Shavel, X. Fontané, J. Montserrat, J. Fan, M. Ibáñez, E. Saucedo, A. Pérez Rodríguez, A. Cabot, Journal of the American Chemical Society 135 (2013) 15982–15985.
View
| DOI
A. Carrete, A. Shavel, X. Fontané, J. Montserrat, J. Fan, M. Ibáñez, E. Saucedo, A. Pérez Rodríguez, A. Cabot, Journal of the American Chemical Society 135 (2013) 15982–15985.
2013 | Journal Article | IST-REx-ID: 353
CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents
W. Li, R. Zamani, P. Rivera Gil, B. Pelaz, M. Ibáñez, D. Cadavid, A. Shavel, R. Alvarez Puebla, W. Parak, J. Arbiol, A. Cabot, Journal of the American Chemical Society 135 (2013) 7098–7101.
View
| DOI
W. Li, R. Zamani, P. Rivera Gil, B. Pelaz, M. Ibáñez, D. Cadavid, A. Shavel, R. Alvarez Puebla, W. Parak, J. Arbiol, A. Cabot, Journal of the American Chemical Society 135 (2013) 7098–7101.