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


2003 | Published | Journal Article | IST-REx-ID: 4468
Henzinger TA, Kirsch C, Sanvido M, Pree W. 2003. From control models to real-time code using Giotto. IEEE Control Systems Magazine. 23(1), 50–64.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4469
Henzinger TA, Horowitz B, Kirsch C. 2003. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. 91(1), 84–99.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4561
Chakrabarti A, De Alfaro L, Henzinger TA, Stoelinga M. 2003. Resource interfaces. Third International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2855, 117–133.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. 2003. Discounting the future in systems theory. Proceedings of the 30th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 1022–1037.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4630
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2003. The element of surprise in timed games. Proceedings of the 14th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2761, 144–158.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 576
Hosten O, Vignolo P, Minguzzi A, Tanatar B, Tosi M. 2003. Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. 36(12), 2455–2463.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 166 | OA
Browning TD, Swarbick Jones M. 2003. Counting rational points on del Pezzo surfaces of degree 5. Proceedings of the Bonn session in analytic number theory and diophantine equations. 360.
View | Download None (ext.) | arXiv
 

2003 | Published | Journal Article | IST-REx-ID: 17741 | OA
Kaplinghat M, Chu M, Haiman Z, Holder GP, Knox L, Skordis C. 2003. Probing the reionization history of the universe using the cosmic microwave background polarization. The Astrophysical Journal. 583(1), 24–32.
[Published Version] View | DOI | Download Published Version (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 17748 | OA
Oh SP, Haiman Z. 2003. Fossil H ii regions: Self-limiting star formation at high redshift. Monthly Notices of the Royal Astronomical Society. 346(2), 456–472.
[Published Version] View | DOI | Download Published Version (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 17750 | OA
Fan X, Strauss MA, Schneider DP, Becker RH, White RL, Haiman Z, Gregg M, Pentericci L, Grebel EK, Narayanan VK, Loh Y-S, Richards GT, Gunn JE, Lupton RH, Knapp GR, Ivezić Ž, Brandt WN, Collinge M, Hao L, Harbeck D, Prada F, Schaye J, Strateva I, Zakamska N, Anderson S, Brinkmann J, Bahcall NA, Lamb DQ, Okamura S, Szalay A, York DG. 2003. A survey of z > 5.7 quasars in the Sloan Digital Sky Survey. II. Discovery of three additional quasars at z > 6. The Astronomical Journal. 125(4), 1649–1659.
[Published Version] View | DOI | Download Published Version (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 17754 | OA
Haiman Z, Holder GP. 2003. The reionization history at high redshifts. I. Physical models and new constraints from cosmic microwave background polarization. The Astrophysical Journal. 595(1), 1–12.
[Published Version] View | DOI | Download Published Version (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 17759 | OA
Hu W, Haiman Z. 2003. Redshifting rings of power. Physical Review D. 68(6), 063004.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2003 | Published | Journal Article | IST-REx-ID: 17760 | OA
Holder GP, Haiman Z, Kaplinghat M, Knox L. 2003. The reionization history at high redshifts. II. Estimating the optical depth to Thomson scattering from cosmic microwave background polarization. The Astrophysical Journal. 595(1), 13–18.
[Published Version] View | DOI | Download Published Version (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 17767 | OA
Mohr JJ, O’Shea B, Evrard AE, Bialek J, Haiman Z. 2003. Studying dark energy with galaxy cluster surveys. Nuclear Physics B - Proceedings Supplements. 124, 63–67.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2003 | Published | Journal Article | IST-REx-ID: 17780 | OA
Santos MG, Cooray A, Haiman Z, Knox L, Ma C. 2003. Small‐scale cosmic microwave background temperature and polarization anisotropies due to patchy reionization. The Astrophysical Journal. 598(2), 756–766.
[Published Version] View | DOI | Download Published Version (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 17796 | OA
Hui L, Haiman Z. 2003. The thermal memory of reionization history. The Astrophysical Journal. 596(1), 9–18.
[Published Version] View | DOI | Download Published Version (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 876
Kondrashov F, Koonin E. 2003. Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences. Trends in Genetics. 19(3), 115–119.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 9455
Zilberman D, Cao Xiaofeng, Jacobsen SE. 2003. ARGONAUTE4 control of locus-specific siRNA accumulation and DNA and histone methylation. Science. 299(5607), 716–719.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 9495 | OA
Cao X, Aufsatz W, Zilberman D, Mette MF, Huang MS, Matzke M, Jacobsen SE. 2003. Role of the DRM and CMT3 methyltransferases in RNA-directed DNA methylation. Current Biology. 13(24), 2212–2217.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 847
Sunyaev S, Kondrashov F, Bork P, Ramensky V. 2003. Impact of selection, mutation rate and genetic drift on human genetic variation. Human Molecular Genetics. 12(24), 3325–3330.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed