DOI,IST REx ID,Research Group,Title of publication
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.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/emboj.2010.183,3960,,MEK signalling tunes actin treadmilling for interstitial lymphocyte migration
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.1515/9783110232103,4339,E-Lib,"Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch"
null,4340,,Open bibliographic data
10.1515/9783110232103,4346,E-Lib,Handbuch Bibliothek 2.0
10.1007/978-3-642-12032-9_8,4361,ToHe,Forward analysis of depth-bounded processes
10.1007/978-3-642-15297-9_13,4369,ToHe,From MTL to deterministic timed automata
10.1007/978-3-642-11319-2_6,4378,ToHe,Building a calculus of data structures
10.1007/s10703-009-0085-x,4379,,Analog property checkers: a DDR2 case study
10.1145/1879021.1879022,4380,ToHe,A marketplace for cloud resources
10.1109/CLOUD.2010.71,4381,ToHe,FlexPRICE: Flexible provisioning of resources in a cloud environment
10.1145/1810479.1810529,4382,ToHe,Transactions in the jungle
10.1007/978-3-642-14295-6_57,4388,"KrCh,ToHe",GIST: A solver for probabilistic games
10.1109/ACSD.2010.26,4389,ToHe,Robustness of sequential circuits