_id,doi,title
3858,10.1007/978-3-642-16242-8_1,The complexity of partial-observation parity games
3859,10.1007/978-3-642-15297-9,Formal modeling and analysis of timed systems
3860,10.4230/LIPIcs.FSTTCS.2010.505,Generalized mean-payoff and energy games
3861,10.1016/j.ic.2009.07.004,Strategy logic
3862,10.1145/1805950.1805953,Quantitative languages
3863,10.1016/j.ic.2009.09.006,Strategy construction for parity games with imperfect information
3864,10.1007/978-3-642-14295-6_34,Measuring and synthesizing systems in probabilistic environments
3865,10.1007/978-3-642-12029-9_21,Analyzing the impact of change in multi-threaded programs
3866,10.1007/978-3-642-14295-6_36,Robustness in the presence of liveness
3867,10.2168/LMCS-6(3:10)2010,Expressiveness and closure properties for quantitative languages
3868,10.2168/LMCS-6(3:13)2010,Algorithms for game metrics
3899,10.1090/mbk/069,Computational Topology: An Introduction
3901,10.1109/TVCG.2010.139,Computing robustness and persistence for images
3904,10.1098/rspb.2010.0644,Rapid anti-pathogen response in ant societies relies on high genetic diversity
3956,10.1038/nrm2889,Breaching multiple barriers: leukocyte motility through venular walls and the interstitium
3957,10.1038/nmeth0310-168,Lifeact mice for studying F-actin dynamics
3958,10.1111/j.1750-3639.2010.00399.x,"Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells"
3959,10.1016/j.immuni.2010.04.017,Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells
3960,10.1038/emboj.2010.183,MEK signalling tunes actin treadmilling for interstitial lymphocyte migration
3961,10.1038/embor.2010.147,Mechanisms of force generation and force transmission during interstitial leukocyte migration