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.
9789 Publications
2005 | Published | Conference Paper | IST-REx-ID: 4579
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Checking memory safety with BLAST (Vol. 3442, pp. 2–18). Presented at the FASE: Fundamental Approaches To Software Engineering, Springer. https://doi.org/10.1007/978-3-540-31984-9_2
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4624
De Alfaro, L., & Henzinger, T. A. (2005). Interface-based design (Vol. 195, pp. 83–104). Presented at the Engineering Theories of Software Intensive Systems, Springer. https://doi.org/10.1007/1-4020-3532-2_3
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 4625
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.07.033
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 575
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2005). Counterfactual quantum computation (Vol. 1, pp. 365–367). Presented at the QELS: Quantum Electronics and Laser Science, IEEE. https://doi.org/ 10.1109/QELS.2005.1548783
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 1740
Costantini, G., Rastelli, A., Manzano, C., Acosta Diaz, P., Katsaros, G., Songmuang, R., … Kern, K. (2005). Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. Elsevier. https://doi.org/10.1016/j.jcrysgro.2004.12.047
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 1741
Denker, U., Rastelli, A., Stoffel, M., Tersoff, J., Katsaros, G., Costantini, G., … Schmidt, O. (2005). Lateral motion of SiGe islands driven by surface-mediated alloying. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.94.216103
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 1742
Katsaros, G., Costantini, G., Stoffel, M., Esteban, R., Bittner, A., Rastelli, A., … Kern, K. (2005). Kinetic origin of island intermixing during the growth of Ge on Si (001). Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.72.195320
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 1743
Zhong, Z., Katsaros, G., Stoffel, M., Costantini, G., Kern, K., Schmidt, O., … Bauer, G. (2005). Periodic pillar structures by Si etching of multilayer GeSi/Si islands. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/1.2150278
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. Institute of Electrical Engineers. https://doi.org/10.1049/ip-opt:20045067
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 17715 | 
Haiman, Z., & Cen, R. (2005). Constraining reionization with the evolution of the luminosity function of Lyα emitting galaxies. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/428645
[Published Version]
View
| DOI
| Download Published Version (ext.)
2005 | Published | Journal Article | IST-REx-ID: 17720 |
Spiegel, D. S., 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. American Astronomical Society. https://doi.org/10.1086/430696
[Published Version]
View
| DOI
| Download Published Version (ext.)
2005 | Published | Journal Article | IST-REx-ID: 17731 |
Kocsis, B., Haiman, Z., & Frei, Z. (2005). Can virialization shocks be detected around galaxy clusters through the Sunyaev‐Zel’dovich effect? The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/427975
[Published Version]
View
| DOI
| Download Published Version (ext.)
2005 | Published | Journal Article | IST-REx-ID: 17737 |
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. American Astronomical Society. https://doi.org/10.1086/428770
[Published Version]
View
| DOI
| Download Published Version (ext.)
2005 | Published | Journal Article | IST-REx-ID: 17761 |
Dijkstra, M., Haiman, Z., & Scharf, C. (2005). On detecting the X‐ray silhouette of a damped Lyα system. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/428766
[Published Version]
View
| DOI
| Download Published Version (ext.)
2005 | Published | Journal Article | IST-REx-ID: 17774 |
Malhotra, S., Rhoads, J. E., Pirzkal, N., Haiman, Z., Xu, C., Daddi, E., … 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. American Astronomical Society. https://doi.org/10.1086/430047
[Published Version]
View
| DOI
| Download Published Version (ext.)
2005 | Published | Journal Article | IST-REx-ID: 17781 |
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 |
Haiman, Z. (2005). Finding the first generation of stars and black holes. Progress of Theoretical Physics Supplement. Oxford University Press. https://doi.org/10.1143/ptps.158.86
[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. BioMed Central. https://doi.org/10.1186/1742-6405-2-7
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. Pleiades Publishing.
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. Nature Publishing Group. https://doi.org/10.1038/ng0105-9
View
| DOI