_id,doi,title
3343,10.1137/1.9781611973082.101,Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
3344,10.1007/978-3-642-24288-5_1,Graph games with reachability objectives
10907,10.1007/978-3-642-20844-7_22,Spatio-temporal extraction of articulated models in a graph pyramid
469,10.1523/JNEUROSCI.6398-10.2011,Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor
490,10.1155/2011/935364,BioSig: The free and open source software library for biomedical signal processing
491,10.1126/scisignal.2002617,Setting the clock for recirculating lymphocytes
518,10.1038/emboj.2011.301,CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells
531,10.1007/s10703-011-0131-3,Verification of STM on relaxed memory models
5379,10.15479/AT:IST-2011-0009,An O(n2) time algorithm for alternating Büchi games
5380,10.15479/AT:IST-2011-0008,Bounded rationality in concurrent parity games
5381,10.15479/AT:IST-2011-0007,Partial-observation stochastic games: How to win when belief fails
5382,10.15479/AT:IST-2011-0006,Robustness of structurally equivalent concurrent parity games
5383,10.15479/AT:IST-2011-0005,On an efficient decision procedure for imperative tree data structures
5384,10.15479/AT:IST-2011-0004,Decidable problems for probabilistic automata on infinite words
5385,10.15479/AT:IST-2011-0003,Temporal specifications with accumulative values
5386,10.15479/AT:IST-2011-0002,Enforcing topological constraints in random field image segmentation
5387,10.15479/AT:IST-2011-0001,Energy and mean-payoff parity Markov decision processes
6496,10.1016/j.bpj.2011.09.040,Noise underlies switching behavior of the bacterial flagellum
9483,10.1073/pnas.1019273108,Regulation of imprinted gene expression in Arabidopsis endosperm
9522,10.1016/j.devcel.2011.05.018,Balancing parental contributions in plant embryonic gene activation