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.

9828 Publications


2005 | Published | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. 2005. Interface-based design. Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, 83–104.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2005. Model checking discounted temporal properties. Theoretical Computer Science. 345(1), 139–170.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 575
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2005. Counterfactual quantum computation. QELS: Quantum Electronics and Laser Science, QELS, vol. 1, 365–367.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 1740
Costantini G, Rastelli A, Manzano C, Acosta Diaz P, Katsaros G, Songmuang R, Schmidt O, Von Känel H, Kern K. 2005. Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. 278(1–4), 38–45.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 1741
Denker U, Rastelli A, Stoffel M, Tersoff J, Katsaros G, Costantini G, Kern K, Jin Phillipp N, Jesson D, Schmidt O. 2005. Lateral motion of SiGe islands driven by surface-mediated alloying. Physical Review Letters. 94(21).
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 1742
Katsaros G, Costantini G, Stoffel M, Esteban R, Bittner A, Rastelli A, Denker U, Schmidt O, Kern K. 2005. Kinetic origin of island intermixing during the growth of Ge on Si (001). Physical Review B - Condensed Matter and Materials Physics. 72(19).
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 1743
Zhong Z, Katsaros G, Stoffel M, Costantini G, Kern K, Schmidt O, Jin Phillipp N, Bauer G. 2005. Periodic pillar structures by Si etching of multilayer GeSi/Si islands. Applied Physics Letters. 87(26), 1–3.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 1744
Katsaros G, Darwazeh I, Lane P. 2005. Non linear transmission effects in duobinary and dicode optical systems. IEE Proceedings - Optoelectronics. 152(6), 344–352.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 17715 | OA
Haiman Z, Cen R. 2005. Constraining reionization with the evolution of the luminosity function of Lyα emitting galaxies. The Astrophysical Journal. 623(2), 627–631.
[Published Version] View | DOI | Download Published Version (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 17720 | OA
Spiegel DS, Zamojski M, Gersch A, Donovan J, Haiman Z. 2005. Can we probe the atmospheric composition of an extrasolar planet from its reflection spectrum in a high‐magnification microlensing event? The Astrophysical Journal. 628(1), 478–486.
[Published Version] View | DOI | Download Published Version (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 17731 | OA
Kocsis B, Haiman Z, Frei Z. 2005. Can virialization shocks be detected around galaxy clusters through the Sunyaev‐Zel’dovich effect? The Astrophysical Journal. 623(2), 632–649.
[Published Version] View | DOI | Download Published Version (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 17737 | OA
Mesinger A, Perna R, Haiman Z. 2005. Constraints on the small‐scale power spectrum of density fluctuations from high‐redshift gamma‐ray bursts. The Astrophysical Journal. 623(1), 1–10.
[Published Version] View | DOI | Download Published Version (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 17761 | OA
Dijkstra M, Haiman Z, Scharf C. 2005. On detecting the X‐ray silhouette of a damped Lyα system. The Astrophysical Journal. 624(1), 85–93.
[Published Version] View | DOI | Download Published Version (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 17774 | OA
Malhotra S, Rhoads JE, Pirzkal N, Haiman Z, Xu C, Daddi E, Yan H, Bergeron LE, Wang J, Ferguson HC, Gronwall C, Koekemoer A, Kuemmel M, Moustakas LA, Panagia N, Pasquali A, Stiavelli M, Walsh J, Windhorst RA, di Serego Alighieri S. 2005. An overdensity of galaxies at z= 5.9 ± 0.2 in the Hubble Ultra Deep Field confirmed using the ACS grism. The Astrophysical Journal. 626(2), 666–679.
[Published Version] View | DOI | Download Published Version (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 17781 | OA
Rhoads JE, Panagia N, Windhorst RA, Malhotra S, Pirzkal N, Xu C, Strolger LG, Bergeron LE, Daddi E, Ferguson H, Gardner JP, Gronwall C, Haiman Z, Koekemoer A, Kummel M, Moustakas LA, Pasquali A, Riess A, di Serego Alighieri S, Stiavelli M, Tsvetanov Z, Vernet J, Walsh J, Yan H. 2005. A redshift z≈ 5.4 Lyα emitting galaxy with linear morphology in the GRAPES/Hubble Ultra Deep Field. The Astrophysical Journal. 621(2), 582–586.
[Published Version] View | DOI | Download Published Version (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 17786 | OA
Haiman Z. 2005. Finding the first generation of stars and black holes. Progress of Theoretical Physics Supplement. 158, 86–104.
[Published Version] View | DOI | Download Published Version (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 1795
Siegert S, Thaler S, Wagner R, Schnierle B. 2005. Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors. AIDS Research and Therapy. 2(1).
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 877
Kondrashov F. 2005. The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution. Biofizika. 50(3), 389–395.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 878
Kondrashov F. 2005. In search of the limits of evolution. Nature Genetics. 37(1), 9–10.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 880
Kondrashov F. 2005. The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus. Biofizika. 50(3), 396–403.
View | Download None (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed