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.
437 Publications
2013 | Published | Journal Article | IST-REx-ID: 2836 | 
K. Chatterjee and V. Raman, “Assume-guarantee synthesis for digital contract signing,” Formal Aspects of Computing, vol. 26, no. 4. Springer, pp. 825–859, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2837 |
L. Erdös, A. Knowles, H. Yau, and J. Yin, “The local semicircle law for a general class of random matrices,” Electronic Journal of Probability, vol. 18, no. 59. Institute of Mathematical Statistics, pp. 1–58, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 352
D. Cadavid, M. Ibáñez, A. Shavel, O. Durá, M. López De La Torre, and A. Cabot, “Organic ligand displacement by metal salts to enhance nanoparticle functionality: Thermoelectric properties of Ag inf 2 inf Te,” Journal of Materials Chemistry A, vol. 1, no. 15. Royal Society of Chemistry, pp. 4864–4870, 2013.
View
| DOI
2012 | Published | Journal Article | IST-REx-ID: 493 |
M. Tangermann et al., “Review of the BCI competition IV,” Frontiers in Neuroscience, vol. 6. Frontiers Research Foundation, 2012.
[Published Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 497 |
K. Chatterjee, S. Chaubal, and P. Kamath, “Faster algorithms for alternating refinement relations,” presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France, 2012, vol. 16, pp. 167–182.
[Published Version]
View
| Files available
| DOI
2012 | Published | Journal Article | IST-REx-ID: 17613 |
B. Kocsis, Z. Haiman, and A. Loeb, “Gas pile-up, gap overflow and Type 1.5 migration in circumbinary discs: Application to supermassive black hole binaries,” Monthly Notices of the Royal Astronomical Society, vol. 427, no. 3. Oxford University Press, pp. 2680–2700, 2012.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 17651
Z. Haiman, T. Tanaka, and R. Perna, “Self-regulating the early growth of black holes through global warming,” in AIP Conference Proceedings, Kyoto, Japan, 2012, vol. 1480, pp. 303–308.
View
| DOI
| Download None (ext.)
2012 | Published | Journal Article | IST-REx-ID: 17678 |
J. Schroeder, A. Mesinger, and Z. Haiman, “Evidence of Gunn–Peterson damping wings in high-z quasar spectra: Strengthening the case for incomplete reionization at z ∼ 6–7,” Monthly Notices of the Royal Astronomical Society, vol. 428, no. 4. Oxford University Press, pp. 3058–3071, 2012.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 17705 |
T. Tanaka, R. Perna, and Z. Haiman, “X-ray emission from high-redshift miniquasars: Self-regulating the population of massive black holes through global warming,” Monthly Notices of the Royal Astronomical Society, vol. 425, no. 4. Oxford University Press, pp. 2974–2987, 2012.
[Published Version]
View
| DOI
| Download Published Version (ext.)