_id,doi,title
3853,10.1007/978-3-642-15375-4_19,Mean-payoff automaton expressions
3854,10.1007/978-3-642-15375-4_20,Obliging games
3855,10.1007/978-3-642-15155-2_24,Qualitative analysis of partially-observable Markov Decision Processes
3856,10.1007/978-3-642-15155-2_23,Randomness for free
3857,10.1007/978-3-642-15643-4_1,Probabilistic Automata on infinite words: decidability and undecidability results
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
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
3901,10.1109/TVCG.2010.139,Computing robustness and persistence for images
3962,,Dendritic cell migration across basement membranes in the skin
4134,10.1111/j.1461-0248.2010.01442.x,Why is adaptation prevented at ecological margins? New insights from individual-based simulations
4157,10.1038/emboj.2010.182,Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
4243,10.1214/EJP.v15-741,A new model for evolution in a spatial continuum