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