_id,doi,title
2373,10.1007/BF02937429,The critical temperature for the BCS equation at weak coupling
2375,10.1007/s11005-007-0211-x,Number of bound states of Schrödinger operators with matrix-valued potentials
7323,10.1002/fuce.200600050,Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain
7324,10.1002/fuce.200500257,On the efficiency of an advanced automotive fuel cell system
7325,10.1149/1.2435706,Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs
7704,10.1016/j.cell.2006.12.028,Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons
7705,10.1016/j.neuron.2006.12.022,Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions
7753,10.1098/rsbl.2007.0278,Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep
4559,,"Stochastic ω-Regular Games"
4566,,A framework for compositional design and analysis of systems
4567,10.1007/s10009-007-0044-z,The software model checker BLAST: Applications to software engineering
4570,10.1007/978-3-540-73420-8_71,Minimum-time reachability in timed games
4571,10.1145/1250734.1250769,Path invariants
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