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 | 
Assume-guarantee synthesis for digital contract signing
K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.
2013 | Published | Journal Article | IST-REx-ID: 2837 |
The local semicircle law for a general class of random matrices
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.
[Published Version]
View
| Files available
| DOI
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.
2013 | Published | Conference (Editor) | IST-REx-ID: 2885
Mathematical and Engineering Methods in Computer Science
A. Kucera, T.A. Henzinger, J. Nesetril, T. Vojnar, D. Antos, eds., Mathematical and Engineering Methods in Computer Science, Springer, 2013.
View
| DOI
A. Kucera, T.A. Henzinger, J. Nesetril, T. Vojnar, D. Antos, eds., Mathematical and Engineering Methods in Computer Science, Springer, 2013.
2013 | Published | Journal Article | IST-REx-ID: 3116
Code aware resource management
K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, V. Raman, Formal Methods in System Design 42 (2013) 142–174.
View
| DOI
K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, V. Raman, Formal Methods in System Design 42 (2013) 142–174.
2013 | Published | Journal Article | IST-REx-ID: 528
Local auxin sources orient the apical basal axis in arabidopsis embryos
H. Robert, P. Grones, A. Stepanova, L. Robles, A. Lokerse, J. Alonso, D. Weijers, J. Friml, Current Biology 23 (2013) 2506–2512.
View
| DOI
H. Robert, P. Grones, A. Stepanova, L. Robles, A. Lokerse, J. Alonso, D. Weijers, J. Friml, Current Biology 23 (2013) 2506–2512.
2013 | Published | Journal Article | IST-REx-ID: 7595
Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development
Y. Tang, S. Tan, H. Xue, Acta Biochimica et Biophysica Sinica 45 (2013) 549–560.
View
| DOI
| PubMed | Europe PMC
Y. Tang, S. Tan, H. Xue, Acta Biochimica et Biophysica Sinica 45 (2013) 549–560.
2013 | Published | Journal Article | IST-REx-ID: 8461
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
J.D. Haller, P. Schanda, Journal of Biomolecular NMR 57 (2013) 263–280.
View
| DOI
J.D. Haller, P. Schanda, Journal of Biomolecular NMR 57 (2013) 263–280.
2012 | Published | Journal Article | IST-REx-ID: 3160
Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.
View
| DOI
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.
2012 | Published | Journal Article | IST-REx-ID: 3166 |
Amino acid fermentation at the origin of the genetic code
H. de Vladar, Biology Direct 7 (2012).
[Published Version]
View
| Files available
| DOI
H. de Vladar, Biology Direct 7 (2012).
2012 | Published | Book Chapter | IST-REx-ID: 18737 |
The Formation of the First Massive Black Holes
Z. Haiman, in:, T. Wiklind, B. Mobasher, V. Brumm (Eds.), The First Galaxies, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 293–341.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Haiman, in:, T. Wiklind, B. Mobasher, V. Brumm (Eds.), The First Galaxies, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 293–341.
2012 | Published | Journal Article | IST-REx-ID: 1055
Bulla in the lung
B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
View
| DOI
B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
2012 | Published | Conference Paper | IST-REx-ID: 497 |
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
2012 | Published | Journal Article | IST-REx-ID: 11751
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
[Preprint]
View
| DOI
| arXiv
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
2012 | Published | Journal Article | IST-REx-ID: 17613 |
Gas pile-up, gap overflow and Type 1.5 migration in circumbinary discs: Application to supermassive black hole binaries
B. Kocsis, Z. Haiman, A. Loeb, Monthly Notices of the Royal Astronomical Society 427 (2012) 2680–2700.
[Published Version]
View
| DOI
| Download Published Version (ext.)
B. Kocsis, Z. Haiman, A. Loeb, Monthly Notices of the Royal Astronomical Society 427 (2012) 2680–2700.
2012 | Published | Conference Paper | IST-REx-ID: 17651
Self-regulating the early growth of black holes through global warming
Z. Haiman, T. Tanaka, R. Perna, in:, AIP Conference Proceedings, American Institute of Physics, 2012, pp. 303–308.
View
| DOI
| Download None (ext.)
Z. Haiman, T. Tanaka, R. Perna, in:, AIP Conference Proceedings, American Institute of Physics, 2012, pp. 303–308.
2012 | Published | Journal Article | IST-REx-ID: 17678 |
Evidence of Gunn–Peterson damping wings in high-z quasar spectra: Strengthening the case for incomplete reionization at z ∼ 6–7
J. Schroeder, A. Mesinger, Z. Haiman, Monthly Notices of the Royal Astronomical Society 428 (2012) 3058–3071.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Schroeder, A. Mesinger, Z. Haiman, Monthly Notices of the Royal Astronomical Society 428 (2012) 3058–3071.
2012 | Published | Journal Article | IST-REx-ID: 17705 |
X-ray emission from high-redshift miniquasars: Self-regulating the population of massive black holes through global warming
T. Tanaka, R. Perna, Z. Haiman, Monthly Notices of the Royal Astronomical Society 425 (2012) 2974–2987.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Tanaka, R. Perna, Z. Haiman, Monthly Notices of the Royal Astronomical Society 425 (2012) 2974–2987.
2012 | Published | Book Chapter | IST-REx-ID: 2399
Cold quantum gases and bose einstein condensation
R. Seiringer, in:, V. Rivasseau, R. Seiringer, J. Solovej, T. Spencer (Eds.), Quantum Many Body Systems, Springer, 2012, pp. 55–92.
View
| DOI
R. Seiringer, in:, V. Rivasseau, R. Seiringer, J. Solovej, T. Spencer (Eds.), Quantum Many Body Systems, Springer, 2012, pp. 55–92.
2012 | Published | Journal Article | IST-REx-ID: 2771
Anderson localization at band edges for random magnetic fields
L. Erdös, D. Hasler, Journal of Statistical Physics 146 (2012) 900–923.
View
| DOI
L. Erdös, D. Hasler, Journal of Statistical Physics 146 (2012) 900–923.
2012 | Published | Journal Article | IST-REx-ID: 2773
A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).
View
| DOI
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).