_id,doi,title
4572,10.1007/978-3-540-69738-1_27,Invariant synthesis for combined theories
4573,10.1007/978-3-540-73368-3_51,Configurable software verification: Concretizing the convergence of model checking and program analysis
4575,10.1109/ICWS.2007.32 ,An application of web-service interfaces
4626,10.1016/j.tcs.2007.07.008,Concurrent reachability games
582,10.1364/FIO.2007.JTuA4,Observing the spin hall effect of light via quantum weak measurements
6150,10.1016/j.cub.2006.11.065,Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans
6321,,The Manin conjecture in dimension 2
6323,,An overview of Manin's conjecture for del Pezzo surfaces
13424,10.1002/anie.200702570,"Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres"
13425,10.1073/pnas.0611371104,Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures
13426,10.1021/la062982c,Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin
13427,10.1126/science.1139131,Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates
904,10.1186/1745-6150-2-20,Extensive parallelism in protein evolution
9149,10.1017/s0022112007007410,Instability and focusing of internal tides in the deep ocean
9487,10.1073/pnas.0701861104,DNA demethylation in the Arabidopsis genome
9504,10.1038/ng0407-442,The human promoter methylome
9524,10.1242/dev.001131,Genome-wide analysis of DNA methylation patterns
1035,10.1103/PhysRevA.76.042514,Spectroscopy of ultracold trapped cesium Feshbach molecules
11884,10.1126/science.1126557,Search technologies for the internet
11924,,Combinatorial algorithms for web search engines: three success stories