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.

134 Publications


2004 | Published | Journal Article | IST-REx-ID: 11762 | OA
M. Henzinger, “Algorithmic challenges in web search engines,” Internet Mathematics, vol. 1, no. 1. Internet Mathematics, pp. 115–123, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 11800
M. Henzinger, “The past, present, and future of web search engines,” in 31st International Colloquium on Automata, Languages and Programming, Turku, Finland, 2004, vol. 3142, p. 3.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 11801
M. Henzinger, “Algorithmic aspects of web search engines,” in 2th Annual European Symposium on Algorithms, Bergen, Norway, 2004, vol. 3221, p. 3.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 11859
M. Henzinger, “The past, present, and future of web information retrieval,” in SPIE Proceedings, San Jose, CA, United States, 2004, vol. 5296, pp. 23–26.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 11877 | OA
M. Henzinger and S. Lawrence, “Extracting knowledge from the World Wide Web,” Proceedings of the National Academy of Sciences, vol. 101, no. suppl_1. Proceedings of the National Academy of Sciences, pp. 5186–5191, 2004.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Published | Book Review | IST-REx-ID: 2461
M. Sauer and J. Friml, “The Matryoshka dolls of plant polarity,” Development, vol. 131, no. 23. Company of Biologists, pp. 5774–5775, 2004.
View | DOI
 

2004 | Published | Book Review | IST-REx-ID: 2636
A. Momiyama and R. Shigemoto, “Function and distribution of glutamate receptors in the central synapses,” Tanpakushitsu kakusan koso Protein nucleic acid enzyme, vol. 49, no. 3 Suppl. Kyoritsu Shuppan, pp. 287–294, 2004.
View
 

2004 | Published | Journal Article | IST-REx-ID: 12203
Z. Liao et al., “A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides,” DNA Sequence, vol. 15, no. 2. Informa UK Limited, pp. 153–158, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 12658
U. Strasser, J. Corripio, F. Pellicciotti, P. Burlando, B. Brock, and M. Funk, “Spatial and temporal variability of meteorological variables at Haut Glacier d’Arolla (Switzerland) during the ablation season 2001: Measurements and simulations,” Journal of Geophysical Research: Atmospheres, vol. 109, no. D3. American Geophysical Union, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 13434
C. J. Campbell, M. Fialkowski, R. Klajn, I. T. Bensemann, and B. A. Grzybowski, “Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts,” Advanced Materials, vol. 16, no. 21. Wiley, pp. 1912–1917, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 13435
R. Klajn et al., “Multicolour micropatterning of thin films of dry gels,” Nature Materials, vol. 3. Springer Nature, pp. 729–735, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Published | Book Chapter | IST-REx-ID: 18739 | OA
Z. Haiman and E. Quataert, “The Formation and Evolution of the First Massive Black Holes,” in Supermassive Black Holes in the Distant Universe, vol. 308, Springer Nature, 2004, pp. 147–185.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2004 | Published | Journal Article | IST-REx-ID: 18742 | OA
K. Menou and Z. Haiman, “On the dark side of quasar evolution,” The Astrophysical Journal, vol. 615, no. 1. American Astronomical Society, pp. 130–134, 2004.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2004 | Published | Conference Paper | IST-REx-ID: 4372
O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.
View | DOI
 

2004 | Published | Thesis | IST-REx-ID: 4424
R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4445
T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” in Proceedings of the 4th ACM international conference on Embedded software, Pisa, Italy, 2004, pp. 104–113.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” in Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Venice, Italy, 2004, pp. 232–244.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” in Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Washington, DC, United States, 2004, pp. 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461 | OA
T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme Model Checking,” in Verification: Theory and Practice, vol. 2772, Berlin: Springer Nature, 2004, pp. 332–358.
[Preprint] View | DOI | Download Preprint (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4525 | OA
A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, Philadelphia, PA, United States, 2004, pp. 357–371.
[Preprint] View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed