_id,doi,title
3128,10.1007/s10703-012-0164-2,A survey of partial-observation stochastic parity games
3129,10.1007/978-3-642-31155-0_17,Annotating simplices with a homology basis and its applications
3130,10.1371/journal.pgen.1002803,Patterns of evolutionary conservation of essential genes correlate with their compensability
3131,10.1371/journal.pgen.1002740,Limits to the rate of adaptive substitution in sexual populations
3133,10.1145/2261250.2261287,Alexander duality for functions: The persistent behavior of land and water and shore
3135,10.1007/978-3-642-31424-7_8,Efficient controller synthesis for consumption games with multiple resource types
3155,10.1007/978-3-642-30793-5_13,Synchronous interface theories and time triggered scheduling
3157,10.1038/nature11219,The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
3158,10.1016/j.ejcb.2012.04.002,Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo
3159,10.1371/journal.pone.0036715,Hierarchical ordering of reticular networks
3161,10.1371/journal.pone.0036044,Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome
3162,10.1007/978-3-642-29860-8_12,Parametric identification of temporal properties
3165,10.1137/1.9781611973099.109,An O(n2) time algorithm for alternating Büchi games
3166,10.1186/1745-6150-7-6,Amino acid fermentation at the origin of the genetic code
3242,10.1371/journal.pbio.1001300,Social transfer of pathogenic fungus promotes active immunisation in ant colonies
3243,,Zwischen Technologie und Information
3244,,Die Zeit des Abwartens ist vorbei!
3248,10.1007/s11554-010-0168-3,Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components
3251,10.1007/978-3-642-27940-9_29,Ideal abstractions for well structured transition systems
3252,10.1007/978-3-642-27940-9_11,Synthesizing protocols for digital contract signing