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. 2004. Algorithmic challenges in web search engines. Internet Mathematics. 1(1), 115–123.
[Published Version] View | DOI | Download Published Version (ext.)
 

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

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

2004 | Published | Conference Paper | IST-REx-ID: 11859
Henzinger M. 2004. The past, present, and future of web information retrieval. SPIE Proceedings. Document Recognition and Retrieval XI vol. 5296, 23–26.
View | DOI
 

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

2004 | Published | Book Review | IST-REx-ID: 2461
Sauer M, Friml J. 2004. The Matryoshka dolls of plant polarity. Development. 131(23), 5774–5775.
View | DOI
 

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

2004 | Published | Journal Article | IST-REx-ID: 12203
Liao Z, Chen M, Gong Y, Guo L, Tan Q, Feng X, Sun X, Tan F, Tang K. 2004. A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides. DNA Sequence. 15(2), 153–158.
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. 2004. 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. 109(D3), D03103.
View | DOI
 

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

2004 | Published | Journal Article | IST-REx-ID: 13435
Klajn R, Fialkowski M, Bensemann IT, Bitner A, Campbell CJ, Bishop K, Smoukov S, Grzybowski BA. 2004. Multicolour micropatterning of thin films of dry gels. Nature Materials. 3, 729–735.
View | DOI | PubMed | Europe PMC
 

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

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

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

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

2004 | Published | Conference Paper | IST-REx-ID: 4445
Henzinger TA, Kirsch C. 2004. A typed assembly language for real-time programs. Proceedings of the 4th ACM international conference on Embedded software. EMSOFT: Embedded Software , 104–113.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
Henzinger TA, Jhala R, Majumdar R, Mcmillan K. 2004. Abstractions from proofs. Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL: Principles of Programming Languages, 232–244.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. 2004. Race checking by context inference. Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation. PLDI: Programming Languages Design and Implementation, 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461 | OA
Henzinger TA, Jhala R, Majumdar R, Sanvido M. 2004.Extreme Model Checking. In: Verification: Theory and Practice. Lecture Notes in Computer Science, vol. 2772, 332–358.
[Preprint] View | DOI | Download Preprint (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4525 | OA
Ghosal A, Henzinger TA, Kirsch C, Sanvido M. 2004. Event-driven programming with logical execution times. HSCC: Hybrid Systems - Computation and Control, Lecture Notes in Computer Science, , 357–371.
[Preprint] View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed