_id,doi,title
3317,10.1038/nrn3125,"Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses"
3331,10.1016/j.jsc.2011.11.001,"A worst case bound for topology computation of algebraic curves"
2972,10.1016/j.tcs.2012.07.038,"Energy parity games"
2048,10.1007/978-3-642-33027-8_13,"Practical leakage-resilient symmetric cryptography"
2411,10.1093/molbev/msr285,"A consistent phylogenetic backbone for the fungi"
2904,10.5802/jtnb.819,"Weak multipliers for generalized van der Corput sequences"
2928,,"Generalized sequential tree-reweighted message passing"
2930,10.1007/978-3-642-32147-4_40,"Towards minimizing k-submodular functions"
2959,10.1214/11-AOS957,"Geometry of maximum likelihood estimation in Gaussian graphical models"
2954,10.1016/j.bpj.2012.08.039,"A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo"
2966,10.1186/1472-6785-12-7,"The dynamics of male-male competition in Cardiocondyla obscurior ants"
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"
3123,10.1111/j.1467-8659.2012.03062.x,"Explicit mesh surfaces for particle based fluids"
3130,10.1371/journal.pgen.1002803,"Patterns of evolutionary conservation of essential genes correlate with their compensability"
3166,10.1186/1745-6150-7-6,"Amino acid fermentation at the origin of the genetic code"
3262,10.1103/PhysRevE.85.041903,"Optimizing information flow in small genetic networks. III. A self-interacting gene"
3248,10.1007/s11554-010-0168-3,"Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components"
2891,10.4230/LIPIcs.FSTTCS.2012.362,"Approximate determinization of quantitative automata"
2916,10.4204/EPTCS.96.3,"Interface Simulation Distances"
2947,10.1007/978-3-642-33386-6_30,"Equivalence of games with probabilistic uncertainty and partial observation games"
3128,10.1007/s10703-012-0164-2,"A survey of partial-observation stochastic parity games"
3135,10.1007/978-3-642-31424-7_8,"Efficient controller synthesis for consumption games with multiple resource types"
495,10.4204/EPTCS.96.18,"A Myhill Nerode theorem for automata with advice"
6588,,"Elementary solutions of the Bernstein problem on two intervals"
3299,10.1145/2037509.2037510,"Propagation models for computing biochemical reaction networks"
3302,,"Static scheduling in clouds"
3388,10.1186/1471-2148-11-201,"Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion"
3390,10.1534/genetics.111.127555,"The relation between reproductive value and genetic contribution"
3376,10.1016/j.molcel.2011.04.016,"Resolution of gene regulatory conflicts caused by combinations of antibiotics"
3371,10.1091/mbc.E10-12-0958,"Cells on the move in Philadelphia"
504,10.1086/659642,"Erratum: Species' range: Adaptation in space and time (American Naturalist 174 (E186 E204)) "
3345,10.1007/978-3-642-22993-0_21,"Energy and mean-payoff parity Markov Decision Processes"
3288,10.1371/journal.pone.0022458,"Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens"
3290,10.1534/genetics.111.129569,"A general method for calculating likelihoods under the coalescent process"
3339,,"Magnifying lens abstraction for stochastic games with discounted and long-run average objectives"
3372,10.1038/nature09831,"Inclusive fitness theory and eusociality"
3365,10.1007/978-3-642-19835-9_24,"QUASY: quantitative synthesis tool"
3377,10.1007/s10208-011-9090-8,"Quantifying transversality by measuring the robustness of intersections"
3384,10.1371/journal.pone.0020409,"Natural images from the birthplace of the human eye"
3391,10.1016/j.tree.2011.04.002,"The contribution of statistical physics to evolutionary biology"
3396,10.1242/dev.071233,"Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube"
5380,10.15479/AT:IST-2011-0008,"Bounded rationality in concurrent parity games"
6496,10.1016/j.bpj.2011.09.040,"Noise underlies switching behavior of the bacterial flagellum"
3346,10.1109/LICS.2011.10,"Two views on multiple mean payoff objectives in Markov Decision Processes"
3353,10.1145/1985342.1985345,"A theory of synchronous relational interfaces"
3360,10.4230/LIPIcs.CSL.2011.82,"Determinizing discounted-sum automata"
5385,10.15479/AT:IST-2011-0003,"Temporal specifications with accumulative values"
3330,"10.1145/1993886.1993920 ","Root refinement for real polynomials"
3335,10.1007/978-3-642-25249-5_3,"Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web"
3796,10.1007/978-3-642-19391-0_2,"Covering and packing with spheres by diagonal distortion in R^n"
3397,10.1016/j.ceb.2011.07.004,"The role of adhesion energy in controlling cell-cell contacts"
3405,10.1038/ncomms1231,"Modern ionotropic glutamate receptor with a K+ selectivity signature sequence"
3373,10.1364/OL.36.001260,"Measuring the complete force field of an optical trap"
5386,10.15479/AT:IST-2011-0002,"Enforcing topological constraints in random field image segmentation"
3366,"10.1007/978-3-642-22110-1_20 ","Quantitative synthesis for concurrent programs"
3361,10.1109/CSF.2011.21,"The complexity of quantitative information flow problems"
3347,10.1007/978-3-642-21254-3_16,"Finitary languages"
3297,10.1145/2037636.2037644,"Liquid simulation with mesh-based surface tracking"
3324,10.1007/978-3-642-18275-4_26,"Decision procedures for automating termination proofs"
3329,10.1145/1998196.1998225,"Deconstructing approximate offsets"
3355,10.1109/QEST.2011.40,"Quantitative evaluation of BFT protocols"
3343,10.1137/1.9781611973082.101,"Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification"
3778,10.1038/hdy.2010.67,"Estimating linkage disequilibria"
3393,10.1086/661246,"Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects"
3374,10.1088/0953-8984/23/15/153102,"Information transmission in genetic regulatory networks a review"
3379,10.1016/j.ydbio.2011.03.025,"Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail"
3348,10.1145/1967701.1967734,"Synthesis of memory efficient real time controllers for safety objectives"
3312,10.1109/ICCV.2011.6126475,"Detailed reconstruction of 3D plant root shape"
3298,10.1145/2019406.2019411,"Hybrid smoothed particle hydrodynamics"
3301,,"Tail approximation for the chemical master equation"
3313,10.1109/ICCV.2011.6126271,"Diffusion runs low on persistence fast"
3318,10.1038/nn.3002,"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses"
3387,10.1186/1471-2148-11-205,"Split based computation of majority rule supertrees"
3394,10.1534/genetics.111.129817,"Genetic drift widens the expected cline but narrows the expected cline width"
3399,10.1371/journal.pone.0017323,"Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior"
3368,10.1073/pnas.1010767108,"Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants"
3370,10.1093/sysbio/syq086,"Consequences of different null models on the tree shape bias of supertree methods"
3375,10.1098/rsif.2010.0438,"The statistical mechanics of a polygenic character under stabilizing selection mutation and drift"
490,10.1155/2011/935364,"BioSig: The free and open source software library for biomedical signal processing"
469,10.1523/JNEUROSCI.6398-10.2011,"Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor"
5383,10.15479/AT:IST-2011-0005,"On an efficient decision procedure for imperative tree data structures"
3363,,"The decidability frontier for probabilistic automata on infinite words"
3349,10.4204/EPTCS.54.6,"A reduction from parity games to simple stochastic games"
3351,10.1007/978-3-642-22953-4_13,"On memoryless quantitative objectives"
3787,10.3989/scimar.2010.74n3465,"DNA extraction from formalin-fixed tissue: new light from the deep sea"
3838,10.1145/1839764.1839772,"Hybrid numerical solution of the chemical master equation"
3852,10.4204/EPTCS.25.6,"Discounting in games across time scales"
3845,10.1007/978-3-642-16242-8_25,"Aligators for arrays"
4381,"10.1109/CLOUD.2010.71 ","FlexPRICE: Flexible provisioning of resources in a cloud environment"
489,10.4204/EPTCS.25.7,"How do we remember the past in randomised strategies? "
5391,10.15479/AT:IST-2010-0001,"Model checking of linearizability of concurrent list implementations"
3303,10.1534/genetics.110.123240,"The rate of fitness-valley crossing in sexual populations"
3719,,"Lumpability abstractions of rule-based systems"
3776,10.1098/rstb.2010.0106,"Genetic linkage and natural selection"
3790,10.1371/journal.pbio.1000544,"Control of directed cell migration in vivo by membrane-to-cortex attachment"
3795,10.1007/978-3-642-15014-2_3,"The stability of the apparent contour of an orientable 2-manifold"
3834,10.1186/1752-0509-4-42,"Solving the chemical master equation using sliding windows"
3839,10.1007/978-3-642-11319-2_14,"Invariant and type inference for matrices"
3853,10.1007/978-3-642-15375-4_19,"Mean-payoff automaton expressions"
3860,10.4230/LIPIcs.FSTTCS.2010.505,"Generalized mean-payoff and energy games"
4243,10.1214/EJP.v15-741,"A new model for evolution in a spatial continuum"
4382,10.1145/1810479.1810529,"Transactions in the jungle"
3772,10.1371/journal.pgen.1000987,"Understanding adaptation in large populations"
3777,10.1098/rstb.2009.0320,"Mutation and the evolution of recombination"
3847,10.1109/QEST.2010.33,"SABRE: A tool for the stochastic analysis of biochemical reaction networks"
3866,10.1007/978-3-642-14295-6_36,"Robustness in the presence of liveness"
4369,10.1007/978-3-642-15297-9_13,"From MTL to deterministic timed automata"
4388,10.1007/978-3-642-14295-6_57,"GIST: A solver for probabilistic games"
3773,10.1098/rstb.2010.0001,"What role does natural selection play in speciation?"
3901,10.1109/TVCG.2010.139,"Computing robustness and persistence for images"
4346,,"Handbuch Bibliothek 2.0"
4339,10.1515/9783110232103,"Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch"
4396,10.1007/978-3-642-12029-9_19,"Shape refinement through explicit heap analysis"
4389,10.1109/ACSD.2010.26,"Robustness of sequential circuits"
2409,10.1186/1748-7188-5-37,"Accuracy of phylogeny reconstruction methods combining overlapping gene data sets "
3779,10.1371/journal.pbio.1000429,"Cryptic variation between species and the basis of hybrid performance"
3832,"10.1016/j.neuron.2010.04.003 ","Beyond TARPs: The growing list of auxiliary AMPAR subunits"
3849,10.1007/978-3-642-15155-2_2,"Persistent homology under non-uniform error"
3868,10.2168/LMCS-6(3:13)2010,"Algorithms for game metrics"
4157,10.1038/emboj.2010.182,"Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis"
4378,10.1007/978-3-642-11319-2_6,"Building a calculus of data structures"
4380,10.1145/1879021.1879022,"A marketplace for cloud resources"
488,10.4230/LIPIcs.FSTTCS.2010.1,"Expressiveness of streaming string transducers"
5390,10.15479/AT:IST-2010-0002,"Topological, automata-theoretic and logical characterization of finitary languages"
3775,10.1016/j.jtbi.2009.03.019,"On the application of statistical physics to evolutionary biology"
3871,10.1007/978-3-642-04081-8_17,"Probabilistic weighted automata"
4242,10.1111/j.1558-5646.2009.00622.x,"The evolution of strong reproductive isolation"
4545,10.1007/978-3-642-02930-1_1,"A survey of stochastic games with limsup and liminf objectives"
4569,10.1007/978-3-642-02658-4_14,"Better quality in synthesis through quantitative objectives"
3841,10.1007/978-3-642-04420-5_2,"Formalisms for specifying Markovian population models"
5392,10.15479/AT:IST-2009-0004,"Probabilistic automata on infinite words: Decidability and undecidability results"
4542,10.1007/978-3-642-03409-1_2,"Alternating weighted automata"
3780,10.1111/j.1420-9101.2009.01770.x,"The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails"
3968,10.1007/978-3-642-10470-1_4,"The persistent Morse complex segmentation of a 3-manifold"
5394,10.15479/AT:IST-2009-0002,"Improved lower bounds for request-response and finitary Streett games"
3837,10.1145/1629335.1629346,"On relational interfaces"
3844,10.1109/RTSS.2009.9,"Distributed, modular HTL"
3870,10.1145/1614431.1614432,"Finitary winning in omega-regular games"
5395,10.15479/AT:IST-2009-0001,"Qualitative analysis of partially-observable Markov decision processes"