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.
9087 Publications
2013 | Journal Article | IST-REx-ID: 2831 | 
Chatterjee K, Henzinger MH, Joglekar M, Shah N. 2013. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 42(3), 301–327.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 343
Ibáñez M, Zamani R, Gorsse S, Fan J, Ortega S, Cadavid D, Morante J, Arbiol J, Cabot A. 2013. Core shell nanoparticles as building blocks for the bottom-up production of functional nanocomposites: PbTe PbS thermoelectric properties. ACS Nano. 7(3), 2573–2586.
View
| DOI
2013 | Journal Article | IST-REx-ID: 351
Carrete A, Shavel A, Fontané X, Montserrat J, Fan J, Ibáñez M, Saucedo E, Pérez Rodríguez A, Cabot A. 2013. Antimony-based ligand exchange to promote crystallization in spray-deposited Cu2ZnSnSe4 solar cells. Journal of the American Chemical Society. 135(43), 15982–15985.
View
| DOI
2013 | Journal Article | IST-REx-ID: 353
Li W, Zamani R, Rivera Gil P, Pelaz B, Ibáñez M, Cadavid D, Shavel A, Alvarez Puebla R, Parak W, Arbiol J, Cabot A. 2013. CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents. Journal of the American Chemical Society. 135(19), 7098–7101.
View
| DOI
2013 | Journal Article | IST-REx-ID: 450 |
Pickup M, Field D, Rowell D, Young A. 2013. Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1750), 2058.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 476 |
Dickerson D, Bilkey D. 2013. Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience. 7(DEC).
[Published Version]
View
| Files available
| DOI