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.
296 Publications
2010 | Published | Technical Report | IST-REx-ID: 5391 | 
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
2010 | Published | Book Chapter | IST-REx-ID: 5940
Instance Deadlock: A Mystery behind Frozen Programs
G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.
View
| DOI
G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.
2010 | Published | Journal Article | IST-REx-ID: 598 |
P53 activates transcription by directing structural shifts in Mediator
K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.
View
| DOI
| Download None (ext.)
K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.
2010 | Published | Journal Article | IST-REx-ID: 1721
Limbs made to measure
A. Kicheva, J. Briscoe, PLoS Biology 8 (2010).
View
| DOI
A. Kicheva, J. Briscoe, PLoS Biology 8 (2010).
2010 | Published | Journal Article | IST-REx-ID: 1722
Dynamic assignment and maintenance of positional identity in the ventral neural tube by the morphogen sonic hedgehog
É. Dessaud, V. Ribes, N. Balaskas, L. Yang, A. Pierani, A. Kicheva, B. Novitch, J. Briscoe, N. Sasai, PLoS Biology 8 (2010).
View
| DOI
É. Dessaud, V. Ribes, N. Balaskas, L. Yang, A. Pierani, A. Kicheva, B. Novitch, J. Briscoe, N. Sasai, PLoS Biology 8 (2010).
2010 | Published | Journal Article | IST-REx-ID: 1752 |
Hybrid superconductor-semiconductor devices made from self-assembled SiGe nanocrystals on silicon
G. Katsaros, P. Spathis, M. Stoffel, F. Fournel, M. Mongillo, V. Bouchiat, F. Lefloch, A. Rastelli, O. Schmidt, S. De Franceschi, Nature Nanotechnology 5 (2010) 458–464.
View
| DOI
| Download (ext.)
G. Katsaros, P. Spathis, M. Stoffel, F. Fournel, M. Mongillo, V. Bouchiat, F. Lefloch, A. Rastelli, O. Schmidt, S. De Franceschi, Nature Nanotechnology 5 (2010) 458–464.
2010 | Published | Journal Article | IST-REx-ID: 1753 |
Quantum transport in GaN/AlN double-barrier heterostructure nanowires
R. Songmuang, G. Katsaros, E. Monroy, P. Spathis, C. Bougerol, M. Mongillo, S. De Franceschi, Nano Letters 10 (2010) 3545–3550.
View
| DOI
| Download (ext.)
R. Songmuang, G. Katsaros, E. Monroy, P. Spathis, C. Bougerol, M. Mongillo, S. De Franceschi, Nano Letters 10 (2010) 3545–3550.
2010 | Published | Journal Article | IST-REx-ID: 17639 |
Supermassive black hole formation at high redshifts through a primordial magnetic field
S. Sethi, Z. Haiman, K. Pandey, The Astrophysical Journal 721 (2010) 615–621.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Sethi, Z. Haiman, K. Pandey, The Astrophysical Journal 721 (2010) 615–621.
2010 | Published | Journal Article | IST-REx-ID: 17648 |
Supermassive black hole formation by direct collapse: keeping protogalactic gas H2 free in dark matter haloes with virial temperatures T_vir > rsim10^4 K
C. Shang, G.L. Bryan, Z. Haiman, Monthly Notices of the Royal Astronomical Society 402 (2010) 1249–1262.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Shang, G.L. Bryan, Z. Haiman, Monthly Notices of the Royal Astronomical Society 402 (2010) 1249–1262.
2010 | Published | Conference Paper | IST-REx-ID: 17664 |
The origin and detection of high-redshift supermassive black holes
Z. Haiman, D.J. Whalen, V. Bromm, N. Yoshida, in:, AIP Conference Proceedings, American Institute of Physics, 2010, pp. 215–224.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Haiman, D.J. Whalen, V. Bromm, N. Yoshida, in:, AIP Conference Proceedings, American Institute of Physics, 2010, pp. 215–224.
2010 | Published | Journal Article | IST-REx-ID: 17665 |
Hydrodynamical response of a circumbinary gas disc to black hole recoil and mass loss
L.R. Corrales, Z. Haiman, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 404 (2010) 947–962.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L.R. Corrales, Z. Haiman, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 404 (2010) 947–962.
2010 | Published | Journal Article | IST-REx-ID: 17686 |
Witnessing the birth of a quasar
T. Tanaka, Z. Haiman, K. Menou, The Astronomical Journal 140 (2010) 642–651.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Tanaka, Z. Haiman, K. Menou, The Astronomical Journal 140 (2010) 642–651.
2010 | Published | Journal Article | IST-REx-ID: 17695 |
Constraining intracluster gas models with AMiBA13
S.M. Molnar, K. Umetsu, M. Birkinshaw, G. Bryan, Z. Haiman, N. Hearn, C. Shang, P.T.P. Ho, C.-W.L. Huang, P.M. Koch, Y.-W. Victor Liao, K.-Y. Lin, G.-C. Liu, H. Nishioka, F.-C. Wang, J.-H.P. Wu, The Astrophysical Journal 723 (2010) 1272–1285.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S.M. Molnar, K. Umetsu, M. Birkinshaw, G. Bryan, Z. Haiman, N. Hearn, C. Shang, P.T.P. Ho, C.-W.L. Huang, P.M. Koch, Y.-W. Victor Liao, K.-Y. Lin, G.-C. Liu, H. Nishioka, F.-C. Wang, J.-H.P. Wu, The Astrophysical Journal 723 (2010) 1272–1285.
2010 | Published | Journal Article | IST-REx-ID: 17697 |
Probing cosmology with weak lensing peak counts
J.M. Kratochvil, Z. Haiman, M. May, Physical Review D 81 (2010).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.M. Kratochvil, Z. Haiman, M. May, Physical Review D 81 (2010).
2010 | Published | Journal Article | IST-REx-ID: 1772
Cavity quantum electrodynamics with separate photon storage and qubit readout modes
P. Leek, M. Baur, J.M. Fink, R. Bianchetti, L. Steffen, S. Filipp, A. Wallraff, Physical Review Letters 104 (2010).
View
| DOI
P. Leek, M. Baur, J.M. Fink, R. Bianchetti, L. Steffen, S. Filipp, A. Wallraff, Physical Review Letters 104 (2010).
2010 | Published | Journal Article | IST-REx-ID: 1773 |
Quantum-to-classical transition in cavity quantum electrodynamics
J.M. Fink, L. Steffen, P. Studer, L. Bishop, M. Baur, R. Bianchetti, D. Bozyigit, C. Lang, S. Filipp, P. Leek, A. Wallraff, Physical Review Letters 105 (2010).
View
| DOI
| Download (ext.)
J.M. Fink, L. Steffen, P. Studer, L. Bishop, M. Baur, R. Bianchetti, D. Bozyigit, C. Lang, S. Filipp, P. Leek, A. Wallraff, Physical Review Letters 105 (2010).
2010 | Published | Journal Article | IST-REx-ID: 1774 |
Control and tomography of a three level superconducting artificial atom
R. Bianchetti, S. Filipp, M. Baur, J.M. Fink, C. Lang, L. Steffen, M. Boissonneault, A. Blais, A. Wallraff, Physical Review Letters 105 (2010).
View
| DOI
| Download (ext.)
R. Bianchetti, S. Filipp, M. Baur, J.M. Fink, C. Lang, L. Steffen, M. Boissonneault, A. Blais, A. Wallraff, Physical Review Letters 105 (2010).
2010 | Published | Journal Article | IST-REx-ID: 1800
Genetic reactivation of cone photoreceptors restores visual responses in retinitis pigmentosa
V. Busskamp, J. Duebel, D. Bálya, M. Fradot, T. Viney, S. Siegert, A. Groner, E. Cabuy, V. Forster, M. Seeliger, M. Biel, P. Humphries, M. Pâques, S. Mohand Saïd, D. Trono, K. Deisseroth, J. Sähel, S. Picaud, B. Roska, Science 329 (2010) 413–417.
View
| DOI
V. Busskamp, J. Duebel, D. Bálya, M. Fradot, T. Viney, S. Siegert, A. Groner, E. Cabuy, V. Forster, M. Seeliger, M. Biel, P. Humphries, M. Pâques, S. Mohand Saïd, D. Trono, K. Deisseroth, J. Sähel, S. Picaud, B. Roska, Science 329 (2010) 413–417.
2010 | Published | Journal Article | IST-REx-ID: 872
Measurements of spontaneous rates of mutations in the recent past and the near future
F. Kondrashov, A. Kondrashov, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1169–1176.
View
| DOI
F. Kondrashov, A. Kondrashov, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1169–1176.
2010 | Published | Journal Article | IST-REx-ID: 884
Rate of sequence divergence under constant selection
A. Kondrashov, I. Povolotskaya, D. Ivankov, F. Kondrashov, Biology Direct 5 (2010).
View
| DOI
A. Kondrashov, I. Povolotskaya, D. Ivankov, F. Kondrashov, Biology Direct 5 (2010).