_id,doi,title
4432,10.1007/11867340_1,Timed alternating-time temporal logic
4436,10.1109/RTAS.2006.11,An interface algebra for real-time components
4437,10.1007/11874683_26,Solving games without determinization
4451,10.1016/j.tcs.2005.11.015,On the universal and existential fragments of the mu-calculus
4523,10.1145/1181775.1181790,Synergy: A new algorithm for property checking
4526,10.1145/1176887.1176907,A hierarchical coordination language for interacting real-time tasks
4528,10.1109/WSC.2006.322942,Executable biology
4538,10.1007/11672142_42,Strategy improvement and randomized subexponential algorithms for stochastic parity games
4539,10.1007/11691372_17,Finitary winning in omega-regular games
4549,10.1109/QEST.2006.11,Compositional quantitative reasoning
4550,10.1016/j.tcs.2006.07.032,Games with secure equilibria
4551,10.1007/11672142_26,Markov decision processes with multiple objectives
4552,10.1109/QEST.2006.48,Strategy improvement for concurrent reachability games
2455,10.1038/nature03184,The PIN auxin efflux facilitator network controls growth and patterning in Arabidopsis roots
2463,10.1002/3527600906,"Reproduction, plants"
2464,,Auxin as an intercellular signal
2647,10.1016/j.neuroscience.2004.09.042,Glutamate and GABA receptor signalling in the developing brain
2648,10.1111/j.1460-9568.2005.04043.x,Preferential localization of the hyperpolarization-activated cyclic nucleotide-gated cation channel subunit HCN1 in basket cell terminals of the rat cerebellum
2649,10.1523/JNEUROSCI.4256-04.2005,Number and density of AMPA receptors in single synapses in immature cerebellum
2650,10.1111/j.1460-9568.2005.04146.x,GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons