DOI,IST REx ID,Title of publication
10.1080/15427951.2004.10129079,11762,Algorithmic challenges in web search engines
10.1007/978-3-540-27836-8_2,11800,"The past, present, and future of web search engines"
10.1007/978-3-540-30140-0_2,11801,Algorithmic aspects of web search engines
10.1117/12.537534,11859,"The past, present, and future of web information retrieval"
10.1073/pnas.0307528100,11877,Extracting knowledge from the World Wide Web
10.1242/dev.01463,2461,The Matryoshka dolls of plant polarity
null,2636,Function and distribution of glutamate receptors in the central synapses
10.1080/10425170410001667348,12203,"A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides"
10.1029/2003jd003973,12658,Spatial and temporal variability of meteorological variables at Haut Glacier d'Arolla (Switzerland) during the ablation season 2001: Measurements and simulations
10.1002/adma.200400383,13434,Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts
10.1038/nmat1231,13435,Multicolour micropatterning of thin films of dry gels
10.1007/978-1-4020-2471-9_5,18739,The Formation and Evolution of the First Massive Black Holes
10.1086/423951,18742,On the dark side of quasar evolution
10.1007/978-3-540-30206-3_12,4372,Monitoring Temporal Properties of Continuous Signals
null,4424,Program verification by lazy abstraction
10.1145/1017753.1017774,4445,A typed assembly language for real-time programs
10.1145/964001.964021,4458,Abstractions from proofs
10.1145/996841.996844,4459,Race checking by context inference
10.1007/978-3-540-39910-0_16,4461,Extreme Model Checking
10.1007/978-3-540-24743-2_24,4525,Event-driven programming with logical execution times