_id,doi,title
2427,10.1007/s00224-005-1141-6,The Clique problem in intersection graphs of ellipses and triangles
2428,10.1137/S0097539704446682,Online conflict-free coloring for intervals
4560,10.1007/11560548_7,Verifying quantitative properties using bound functions
4576,10.1145/1060745.1060770,Web service interfaces
4579,10.1007/978-3-540-31984-9_2,Checking memory safety with BLAST
4624,10.1007/1-4020-3532-2_3,Interface-based design
4625,10.1016/j.tcs.2005.07.033,Model checking discounted temporal properties
575, 10.1109/QELS.2005.1548783,Counterfactual quantum computation
6153,10.1146/annurev.neuro.27.070203.144259,Neuronal substrates of complex behaviors in C. elegans
6154,10.1016/j.cub.2005.04.017,Experience-dependent modulation of C. elegans behavior by ambient oxygen
1444,10.1007/0-8176-4417-2_9,Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve
1447,10.2478/BF02475653,Quaternionic geometry of matroids
1463,10.1016/j.top.2004.04.002,Abelianization for hyperkähler quotients
13431,10.1002/adma.200402086,Cutting into solids with micropatterned gels
13432,10.1021/la0487747,"One-step multilevel microfabrication by reaction−diffusion"
13433,10.2174/1385272043369421,"Applications, properties and synthesis of w-functionalized n-alkanethiols and disulfides - the building blocks of self-assembled monolayers"
9491,10.1016/j.cub.2005.01.008,DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes
9514,10.1186/gb-2005-6-11-r90,Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis
9529,10.1016/j.gde.2005.07.002,Epigenetic inheritance in Arabidopsis: Selective silence
11904,10.1007/s11280-004-4870-6,Query-free news search