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 M. Algorithmic challenges in web search engines. Internet Mathematics. 2004;1(1):115-123. doi:10.1080/15427951.2004.10129079
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 11800
Henzinger M. The past, present, and future of web search engines. In: 31st International Colloquium on Automata, Languages and Programming. Vol 3142. Springer Nature; 2004:3. doi:10.1007/978-3-540-27836-8_2
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 11801
Henzinger M. Algorithmic aspects of web search engines. In: 2th Annual European Symposium on Algorithms. Vol 3221. Springer Nature; 2004:3. doi:10.1007/978-3-540-30140-0_2
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 11859
Henzinger M. The past, present, and future of web information retrieval. In: SPIE Proceedings. Vol 5296. Society of Photo-Optical Instrumentation Engineers; 2004:23-26. doi:10.1117/12.537534
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 11877 | OA
Henzinger M, Lawrence S. Extracting knowledge from the World Wide Web. Proceedings of the National Academy of Sciences. 2004;101(suppl_1):5186-5191. 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 M, Friml J. The Matryoshka dolls of plant polarity. Development. 2004;131(23):5774-5775. doi:10.1242/dev.01463
View | DOI
 

2004 | Published | Book Review | IST-REx-ID: 2636
Momiyama A, Shigemoto R. Function and distribution of glutamate receptors in the central synapses. Tanpakushitsu kakusan koso Protein nucleic acid enzyme. 2004;49(3 Suppl):287-294.
View
 

2004 | Published | Journal Article | IST-REx-ID: 12203
Liao Z, Chen M, Gong Y, et al. A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides. DNA Sequence. 2004;15(2):153-158. doi:10.1080/10425170410001667348
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 12658
Strasser U, Corripio J, Pellicciotti F, Burlando P, Brock B, Funk M. 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. 2004;109(D3). doi:10.1029/2003jd003973
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 13434
Campbell CJ, Fialkowski M, Klajn R, Bensemann IT, Grzybowski BA. Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts. Advanced Materials. 2004;16(21):1912-1917. doi:10.1002/adma.200400383
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 13435
Klajn R, Fialkowski M, Bensemann IT, et al. Multicolour micropatterning of thin films of dry gels. Nature Materials. 2004;3:729-735. doi:10.1038/nmat1231
View | DOI | PubMed | Europe PMC
 

2004 | Published | Book Chapter | IST-REx-ID: 18739 | OA
Haiman Z, Quataert E. The Formation and Evolution of the First Massive Black Holes. In: Supermassive Black Holes in the Distant Universe. Vol 308. ASSL. Springer Nature; 2004:147-185. 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 K, Haiman Z. On the dark side of quasar evolution. The Astrophysical Journal. 2004;615(1):130-134. doi:10.1086/423951
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2004 | Published | Conference Paper | IST-REx-ID: 4372
Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals. In: Springer; 2004:152-166. doi:10.1007/978-3-540-30206-3_12
View | DOI
 

2004 | Published | Thesis | IST-REx-ID: 4424
Jhala R. Program verification by lazy abstraction. 2004:1-165.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4445
Henzinger TA, Kirsch C. A typed assembly language for real-time programs. In: Proceedings of the 4th ACM International Conference on Embedded Software. Association for Computing Machinery; 2004:104-113. doi:10.1145/1017753.1017774
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
Henzinger TA, Jhala R, Majumdar R, Mcmillan K. Abstractions from proofs. In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery; 2004:232-244. doi:10.1145/964001.964021
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. Race checking by context inference. In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2004:1-13. doi:10.1145/996841.996844
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461 | OA
Henzinger TA, Jhala R, Majumdar R, Sanvido M. Extreme Model Checking. In: Verification: Theory and Practice. Vol 2772. Lecture Notes in Computer Science. Berlin: Springer Nature; 2004:332-358. 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 A, Henzinger TA, Kirsch C, Sanvido M. Event-driven programming with logical execution times. In: Springer Nature; 2004:357-371. 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: AMA

Export / Embed