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 |
Algorithmic challenges in web search engines
M. Henzinger, Internet Mathematics 1 (2004) 115–123.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Henzinger, Internet Mathematics 1 (2004) 115–123.
2004 |
Published |
Conference Paper |
IST-REx-ID: 11800
The past, present, and future of web search engines
M. Henzinger, in:, 31st International Colloquium on Automata, Languages and Programming, Springer Nature, 2004, p. 3.
View
| DOI
M. Henzinger, in:, 31st International Colloquium on Automata, Languages and Programming, Springer Nature, 2004, p. 3.
2004 |
Published |
Conference Paper |
IST-REx-ID: 11801
Algorithmic aspects of web search engines
M. Henzinger, in:, 2th Annual European Symposium on Algorithms, Springer Nature, 2004, p. 3.
View
| DOI
M. Henzinger, in:, 2th Annual European Symposium on Algorithms, Springer Nature, 2004, p. 3.
2004 |
Published |
Conference Paper |
IST-REx-ID: 11859
The past, present, and future of web information retrieval
M. Henzinger, in:, SPIE Proceedings, Society of Photo-Optical Instrumentation Engineers, 2004, pp. 23–26.
View
| DOI
M. Henzinger, in:, SPIE Proceedings, Society of Photo-Optical Instrumentation Engineers, 2004, pp. 23–26.
2004 |
Published |
Journal Article |
IST-REx-ID: 11877 |
Extracting knowledge from the World Wide Web
M. Henzinger, S. Lawrence, Proceedings of the National Academy of Sciences 101 (2004) 5186–5191.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Henzinger, S. Lawrence, Proceedings of the National Academy of Sciences 101 (2004) 5186–5191.
2004 |
Published |
Book Review |
IST-REx-ID: 2461
The Matryoshka dolls of plant polarity
M. Sauer, J. Friml, Development 131 (2004) 5774–5775.
View
| DOI
M. Sauer, J. Friml, Development 131 (2004) 5774–5775.
2004 |
Published |
Book Review |
IST-REx-ID: 2636
Function and distribution of glutamate receptors in the central synapses
A. Momiyama, R. Shigemoto, Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme 49 (2004) 287–294.
View
A. Momiyama, R. Shigemoto, Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme 49 (2004) 287–294.
2004 |
Published |
Journal Article |
IST-REx-ID: 12203
A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides
Z. Liao, M. Chen, Y. Gong, L. Guo, Q. Tan, X. Feng, X. Sun, F. Tan, K. Tang, DNA Sequence 15 (2004) 153–158.
View
| DOI
| PubMed | Europe PMC
Z. Liao, M. Chen, Y. Gong, L. Guo, Q. Tan, X. Feng, X. Sun, F. Tan, K. Tang, DNA Sequence 15 (2004) 153–158.
2004 |
Published |
Journal Article |
IST-REx-ID: 12658
Spatial and temporal variability of meteorological variables at Haut Glacier d'Arolla (Switzerland) during the ablation season 2001: Measurements and simulations
U. Strasser, J. Corripio, F. Pellicciotti, P. Burlando, B. Brock, M. Funk, Journal of Geophysical Research: Atmospheres 109 (2004).
View
| DOI
U. Strasser, J. Corripio, F. Pellicciotti, P. Burlando, B. Brock, M. Funk, Journal of Geophysical Research: Atmospheres 109 (2004).
2004 |
Published |
Journal Article |
IST-REx-ID: 13434
Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts
C.J. Campbell, M. Fialkowski, R. Klajn, I.T. Bensemann, B.A. Grzybowski, Advanced Materials 16 (2004) 1912–1917.
View
| DOI
C.J. Campbell, M. Fialkowski, R. Klajn, I.T. Bensemann, B.A. Grzybowski, Advanced Materials 16 (2004) 1912–1917.
2004 |
Published |
Journal Article |
IST-REx-ID: 13435
Multicolour micropatterning of thin films of dry gels
R. Klajn, M. Fialkowski, I.T. Bensemann, A. Bitner, C.J. Campbell, K. Bishop, S. Smoukov, B.A. Grzybowski, Nature Materials 3 (2004) 729–735.
View
| DOI
| PubMed | Europe PMC
R. Klajn, M. Fialkowski, I.T. Bensemann, A. Bitner, C.J. Campbell, K. Bishop, S. Smoukov, B.A. Grzybowski, Nature Materials 3 (2004) 729–735.
2004 |
Published |
Book Chapter |
IST-REx-ID: 18739 |
The Formation and Evolution of the First Massive Black Holes
Z. Haiman, E. Quataert, in:, Supermassive Black Holes in the Distant Universe, Springer Nature, 2004, pp. 147–185.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Haiman, E. Quataert, in:, Supermassive Black Holes in the Distant Universe, Springer Nature, 2004, pp. 147–185.
2004 |
Published |
Journal Article |
IST-REx-ID: 18742 |
On the dark side of quasar evolution
K. Menou, Z. Haiman, The Astrophysical Journal 615 (2004) 130–134.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Menou, Z. Haiman, The Astrophysical Journal 615 (2004) 130–134.
2004 |
Published |
Conference Paper |
IST-REx-ID: 4372
Monitoring Temporal Properties of Continuous Signals
O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.
View
| DOI
O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.
2004 |
Published |
Thesis |
IST-REx-ID: 4424
Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
View
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
2004 |
Published |
Conference Paper |
IST-REx-ID: 4445
A typed assembly language for real-time programs
T.A. Henzinger, C. Kirsch, in:, Proceedings of the 4th ACM International Conference on Embedded Software, Association for Computing Machinery, 2004, pp. 104–113.
View
| DOI
T.A. Henzinger, C. Kirsch, in:, Proceedings of the 4th ACM International Conference on Embedded Software, Association for Computing Machinery, 2004, pp. 104–113.
2004 |
Published |
Conference Paper |
IST-REx-ID: 4458
Abstractions from proofs
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery, 2004, pp. 232–244.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery, 2004, pp. 232–244.
2004 |
Published |
Conference Paper |
IST-REx-ID: 4459
Race checking by context inference
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2004, pp. 1–13.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2004, pp. 1–13.
2004 |
Published |
Book Chapter |
IST-REx-ID: 4461 |
Extreme Model Checking
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer Nature, Berlin, 2004, pp. 332–358.
[Preprint]
View
| DOI
| Download Preprint (ext.)
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer Nature, Berlin, 2004, pp. 332–358.
2004 |
Published |
Conference Paper |
IST-REx-ID: 4525 |
Event-driven programming with logical execution times
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer Nature, 2004, pp. 357–371.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer Nature, 2004, pp. 357–371.