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
Henzinger, Monika. “Algorithmic Challenges in Web Search Engines.” Internet Mathematics, vol. 1, no. 1, Internet Mathematics, 2004, pp. 115–23, doi:10.1080/15427951.2004.10129079.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 11800
Henzinger, Monika. “The Past, Present, and Future of Web Search Engines.” 31st International Colloquium on Automata, Languages and Programming, vol. 3142, Springer Nature, 2004, p. 3, doi:10.1007/978-3-540-27836-8_2.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 11801
Henzinger, Monika. “Algorithmic Aspects of Web Search Engines.” 2th Annual European Symposium on Algorithms, vol. 3221, Springer Nature, 2004, p. 3, doi:10.1007/978-3-540-30140-0_2.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 11859
Henzinger, Monika. “The Past, Present, and Future of Web Information Retrieval.” SPIE Proceedings, vol. 5296, Society of Photo-Optical Instrumentation Engineers, 2004, pp. 23–26, doi:10.1117/12.537534.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 11877 | OA
Henzinger, Monika, and Steve 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, 2004, pp. 5186–91, doi:10.1073/pnas.0307528100.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Published | Book Review | IST-REx-ID: 2461
Sauer, Michael, and Jiří Friml. “The Matryoshka Dolls of Plant Polarity.” Development, vol. 131, no. 23, Company of Biologists, 2004, pp. 5774–75, doi:10.1242/dev.01463.
View | DOI
 

2004 | Published | Book Review | IST-REx-ID: 2636
Momiyama, Akiko, and Ryuichi 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, 2004, pp. 287–94.
View
 

2004 | Published | Journal Article | IST-REx-ID: 12203
Liao, Zhihua, 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, 2004, pp. 153–58, doi:10.1080/10425170410001667348.
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 12658
Strasser, Ulrich, et al. “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, D03103, American Geophysical Union, 2004, doi:10.1029/2003jd003973.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 13434
Campbell, C. J., et al. “Color Micro- and Nanopatterning with Counter-Propagating Reaction-Diffusion Fronts.” Advanced Materials, vol. 16, no. 21, Wiley, 2004, pp. 1912–17, doi:10.1002/adma.200400383.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 13435
Klajn, Rafal, et al. “Multicolour Micropatterning of Thin Films of Dry Gels.” Nature Materials, vol. 3, Springer Nature, 2004, pp. 729–35, doi:10.1038/nmat1231.
View | DOI | PubMed | Europe PMC
 

2004 | Published | Book Chapter | IST-REx-ID: 18739 | OA
Haiman, Zoltán, and Eliot Quataert. “The Formation and Evolution of the First Massive Black Holes.” Supermassive Black Holes in the Distant Universe, vol. 308, Springer Nature, 2004, pp. 147–85, doi:10.1007/978-1-4020-2471-9_5.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2004 | Published | Journal Article | IST-REx-ID: 18742 | OA
Menou, Kristen, and Zoltán Haiman. “On the Dark Side of Quasar Evolution.” The Astrophysical Journal, vol. 615, no. 1, American Astronomical Society, 2004, pp. 130–34, doi:10.1086/423951.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2004 | Published | Conference Paper | IST-REx-ID: 4372
Maler, Oded, and Dejan Nickovic. Monitoring Temporal Properties of Continuous Signals. Springer, 2004, pp. 152–66, doi:10.1007/978-3-540-30206-3_12.
View | DOI
 

2004 | Published | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. Program Verification by Lazy Abstraction. University of California, Berkeley, 2004, pp. 1–165.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A., and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs.” Proceedings of the 4th ACM International Conference on Embedded Software, Association for Computing Machinery, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A., et al. “Abstractions from Proofs.” Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery, 2004, pp. 232–44, doi:10.1145/964001.964021.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A., et al. “Race Checking by Context Inference.” Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2004, pp. 1–13, doi:10.1145/996841.996844.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461 | OA
Henzinger, Thomas A., et al. “Extreme Model Checking.” Verification: Theory and Practice, vol. 2772, Springer Nature, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.
[Preprint] View | DOI | Download Preprint (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4525 | OA
Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Springer Nature, 2004, pp. 357–71, doi:10.1007/978-3-540-24743-2_24.
[Preprint] View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed