DOI,IST REx ID,Research Group,Title of publication
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.1109/TVCG.2010.139,3901,HeEd,Computing robustness and persistence for images
null,3962,"CaHe,GradSch",Dendritic cell migration across basement membranes in the skin
10.1111/j.1461-0248.2010.01442.x,4134,NiBa,Why is adaptation prevented at ecological margins? New insights from individual-based simulations
10.1038/emboj.2010.182,4157,"Bio,CaHe",Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
10.1214/EJP.v15-741,4243,NiBa,A new model for evolution in a spatial continuum
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.1007/978-3-642-18421-5_4,3782,HeEd,Topology noise removal for curve  and surface evolution
10.1016/j.cub.2010.10.009,3789,CaHe,Stereotypical cell division orientation controls neural rod midline formation in zebrafish
10.1007/978-3-642-03409-1_2,4542,KrCh,Alternating weighted automata
10.1007/978-3-642-03816-7_4,4543,KrCh,Stochastic games with finitary objectives
10.1007/978-3-642-02930-1_1,4545,KrCh,A survey of stochastic games with limsup and liminf objectives
10.1007/978-3-642-02658-4_14,4569,KrCh,Better quality in synthesis through quantitative objectives
10.15479/AT:IST-2009-0004,5392,KrCh,Probabilistic automata on infinite words: Decidability and undecidability results
10.15479/AT:IST-2009-0003,5393,"KrCh,ToHe",Gist: A solver for probabilistic games
10.15479/AT:IST-2009-0002,5394,"KrCh,ToHe",Improved lower bounds for request-response and finitary Streett games
10.15479/AT:IST-2009-0001,5395,"KrCh,ToHe",Qualitative analysis of partially-observable Markov decision processes
10.1126/science.1172417,9453,DaZi,Genome-wide demethylation of Arabidopsis endosperm