_id,doi,title
2421,10.1007/3-540-36136-7_43,On the Clique problem in intersection graphs of ellipses
4562,10.1007/3-540-45657-0_34,Synchronous and bidirectional component interfaces
4563,10.1007/3-540-45657-0_35,Interface compatibility checking for software modules
4565,10.1007/3-540-45873-5_13,A comparison of control problems for timed and hybrid systems
4595,10.1145/585265.585270,Alternating-time temporal logic
4631,10.1007/3-540-45828-X_9,Timed interfaces
6158,10.1038/nature01170,Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans
6159,10.1038/nature01169,Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli
1451,10.4171/DM/130,Toric hyperkähler varieties
13438,10.1074/jbc.m107372200,ICln Ion channel splice variants in Caenorhabditis elegans
12659,10.2166/nh.2002.0004,Modelling mountainous water systems between learning and speculating looking for challenges
3421,10.1016/S0079-6107(02)00009-3,"Observing structure, function and assembly of single proteins by AFM"
3422,,Processing of gene expression data generated by quantitative real-time RT-PCR
3423,,The percolation interpretation of the nuclear fragmentation phase transition
3424,10.1063/1.1523196 ,3d supernovae collapse calculations
3448,,Implementation of shape grammar for plan analysis
3497,10.1007/s00424-001-0735-3,Patch-clamp recording in brain slices with improved slicer technology
3508,,Methods of generating three-dimensional digital models of objects by wrapping point cloud data points
3533,10.1093/cercor/12.9.893,Homeostatic maintenance of neuronal excitability by burst discharges in vivo
3621,10.1093/genetics/161.4.1727,General models of multilocus evolution