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.
487 Publications
2013 | Published | Journal Article | IST-REx-ID: 2836 | 
Chatterjee K, Raman V. 2013. Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing. 26(4), 825–859.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2837 |
Erdös L, Knowles A, Yau H, Yin J. 2013. The local semicircle law for a general class of random matrices. Electronic Journal of Probability. 18(59), 1–58.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7595
Tang Y, Tan S, Xue H. 2013. Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development. Acta Biochimica et Biophysica Sinica. 45(7), 549–560.
View
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 8461
Haller JD, Schanda P. 2013. Amplitudes and time scales of picosecond-to-microsecond motion in proteins studied by solid-state NMR: a critical evaluation of experimental approaches and application to crystalline ubiquitin. Journal of Biomolecular NMR. 57(3), 263–280.
View
| DOI
2012 | Published | Journal Article | IST-REx-ID: 3166 |
de Vladar H. 2012. Amino acid fermentation at the origin of the genetic code. Biology Direct. 7, 6.
[Published Version]
View
| Files available
| DOI
2012 | Published | Book Chapter | IST-REx-ID: 18737 |
Haiman Z. 2012.The Formation of the First Massive Black Holes. In: The First Galaxies. Astrophysics and Space Science Library, , 293–341.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Conference Paper | IST-REx-ID: 497 |
Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations. EACSL: European Association for Computer Science Logic, LIPIcs, vol. 16, 167–182.
[Published Version]
View
| Files available
| DOI
2012 | Published | Journal Article | IST-REx-ID: 17613 |
Kocsis B, Haiman Z, Loeb A. 2012. 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. 427(3), 2680–2700.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 17651
Haiman Z, Tanaka T, Perna R. 2012. Self-regulating the early growth of black holes through global warming. AIP Conference Proceedings. FIRST STARS IV - From Hayashi to the Future vol. 1480, 303–308.
View
| DOI
| Download None (ext.)
2012 | Published | Journal Article | IST-REx-ID: 17678 |
Schroeder J, Mesinger A, Haiman Z. 2012. 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. 428(4), 3058–3071.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 17705 |
Tanaka T, Perna R, Haiman Z. 2012. 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. 425(4), 2974–2987.
[Published Version]
View
| DOI
| Download Published Version (ext.)