_id,doi,title
2305,10.1109/LICS.2013.39,"Trading performance for stability in Markov decision processes"
2444,10.1007/978-3-642-39799-8_36,"Faster algorithms for Markov decision processes with low treewidth"
2836,10.1007/s00165-013-0283-6,"Assume-guarantee synthesis for digital contract signing"
2817,10.1016/j.jtbi.2013.05.029,"Density games"
2886,10.1007/978-3-642-36046-6_12,"Controllable-choice message sequence graphs"
2831,10.1007/s10703-012-0180-2,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
2850,10.1088/1742-5468/2013/03/P03011,"The simplest maximum entropy model for collective behavior in a neural network"
2010,10.1214/12-AOS1080,"Geometry of the faithfulness assumption in causal inference"
2469,10.1016/j.cub.2013.06.019,"Three functions of cadherins in cell adhesion"
2471,10.1371/journal.pone.0070013,"Mechanism of protein kinetic stabilization by engineered disulfide crosslinks"
2306,10.1515/9783110278736,"(Open) Linked Data in Bibliotheken"
2286,10.1038/emboj.2013.225,"The force and effect of cell proliferation"
2293,10.1109/ICCV.2013.107,"Learning to rank using privileged information"
2274,,"Proofs of Space"
2813,10.1073/pnas.1219666110,"Elasto-inertial turbulence"
2863,10.1371/journal.pcbi.1002922,"Stimulus-dependent maximum entropy models of neural population codes"
2882,10.1073/pnas.1300107110,"Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism"
2907,,"Recombination and sex"
2914,10.1103/PhysRevLett.110.018701,"Statistical thermodynamics of natural images"
2832,10.1371/journal.pgen.1003540,"Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana"
2837,10.1214/EJP.v18-2473,"The local semicircle law for a general class of random matrices"
2856,10.1038/nn.3346,"Optical control of metabotropic glutamate receptors"
2818,10.1162/NECO_a_00463,"Learning quadratic receptive fields from neural responses to natural stimuli"
2940,10.1007/978-3-642-36594-2_2,"A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it"
2919,10.1038/emboj.2012.310,"SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism"
450,10.1098/rspb.2012.2058,"Source population characteristics affect heterosis following genetic rescue of fragmented plant populations"
501,10.1644/12-MAMM-A-169.1,"A new species of tapir from the Amazon"
5401,,"Initiatives and projects related to RD"
828,10.3389/fpls.2013.00537,"Systems approaches to study root architecture dynamics"
2445,10.1007/978-3-642-39799-8_68,"Efficient synthesis for concurrency by semantics-preserving transformations"
2298,10.1007/978-3-642-38856-9_10,"Local shape analysis for overlaid data structures"
2243,10.4230/LIPIcs.CSL.2013.563,"Elementary modal logics over transitive structures"
5747,10.1007/978-3-642-39799-8_11,"Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates"
2887,10.1073/pnas.1222821110,"Genotypic recognition and spatial responses by rice roots"
2009,"10.29012/jpc.v5i1.629 ","Privacy-preserving data sharing for genome-wide association studies"
2270,,"Optimal Coalition Structures in Cooperative Graph Games"
2256,,"Linked (Open) Data - Bibliographische Daten im Semantic Web"
2244,10.1007/978-3-319-03841-4_41,"Untangling two systems of noncrossing curves"
2472,10.1371/journal.pone.0070069,"Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development"
2410,10.1128/genomeA.00216-13,"Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis"
2287,10.1002/ece3.465,"The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant"
2294,10.1109/ICCV.2013.139,"Drosophila Embryo Stage Annotation using Label Propagation"
2718,10.1145/2463372.2463568,"Can quantitative and population genetics help us understand evolutionary computation?"
2720,"10.1534/genetics.113.153536 ","Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila"
2782,10.1007/s10955-013-0807-8,"Local eigenvalue density for general MANOVA matrices"
2807,10.1145/2488608.2488683,"Extending continuous maps: Polynomiality and undecidability"
2698,10.4171/JEMS/416,"Stability and semiclassics in self-generated fields"
2883,10.1105/tpc.112.105999,"Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane"
2908,10.1111/jeb.12015,"Does hybridisation influence speciation? "
2910,10.1093/bioinformatics/btt067,"Coalescent simulation in continuous space"
2821,10.1105/tpc.113.110353,"A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis"
2826,10.1016/j.ajhg.2013.04.005,"Mutations in SCO2 are associated with autosomal-dominant high-grade myopia"
2838,10.1371/journal.pone.0054285,"Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome"
2857,10.1007/978-1-62703-351-0_32,"Optical control of ligand-gated ion channels"
3261,10.1073/pnas.1315642110,"Positional information, in bits"
507,10.1105/tpc.113.114264,"Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis"
5402,10.15479/AT:IST-2013-123-v1-1,"How free is your linearizable concurrent data structure?"
5407,,"Technical requirements and features"
1385,10.1109/FMCAD.2013.6679394,"Synthesizing multiple boolean functions using interpolation on a single proof"
2181,10.1145/2429069.2429109,"Quantitative relaxation of concurrent data structures"
2299,10.1007/s10009-011-0207-9,"Synthesis of AMBA AHB from formal specification: A case study"
2814,10.1142/S0129054113400066,"The complexity of coverage"
2819,10.1145/2461328.2461370,"Quantitative timed simulation functions and refinement metrics for real-time systems"
2282,10.1038/ncb2869,"Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly"
2446,10.1007/978-3-642-39799-8_37,"Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis"
2237,10.1007/978-3-642-45221-5_13,"Tree interpolation in Vampire"
2290,10.1073/pnas.1309057110,"ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation"
2264,"10.1242/dev.085621 ","Neural development is dependent on the function of specificity protein 2 in cell cycle progression"
2276,10.1109/ICCV.2013.288,"Potts model, parametric maxflow and k-submodular functions"
2466,10.1145/2461912.2461982,"Highly adaptive liquid simulations on tetrahedral meshes"
2473,10.1016/j.tpb.2012.12.001,"Genetic hitch-hiking in spatially extended populations"
2808,10.1104/pp.113.214023,"The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain"
2822,10.1073/pnas.1304354110,"3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture"
2827,10.1073/pnas.1220205110,"Salicylic acid interferes with clathrin-mediated endocytic protein trafficking"
2834,10.1103/PhysRevLett.110.224502,"Streamwise-localized solutions at the onset of turbulence in pipe flow"
2810,10.1371/journal.pgen.1003580,"Environmental dependence of genetic constraint"
2846,10.1111/ele.12068,"Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution"
2860,10.1016/j.neuron.2013.01.033,"Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning"
2909,"10.1088/1742-5468/2013/01/P01002 ","Modelling evolution in a spatial continuum"
2853,10.1098/rspb.2012.3035,"Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection"
476,10.3389/fnbeh.2013.00217,"Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions"
508,10.1093/molbev/mst119,"Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications"
5403,10.15479/AT:IST-2013-126-v1-1,"Qualitative analysis of concurrent mean-payoff games"
1374,10.4230/LIPIcs.CSL.2013.181,"Infinite-state games with finitary conditions"
2000,10.1007/978-3-642-39799-8_6,"TTP: Tool for tumor progression"
2858,10.1111/eva.12020,"The effect of one additional driver mutation on tumor progression"
2295,10.4230/LIPIcs.CSL.2013.165,"What is decidable about partially observable Markov decision processes with omega-regular objectives"
2517,10.1007/978-3-642-39212-2_3,"Formalizing and reasoning about quality"
2447,10.1007/978-3-642-39799-8_54,"Automating separation logic using SMT"
2839,10.1126/science.1228456,"Interstitial dendritic cell guidance by haptotactic chemokine gradients"
2049,10.1007/978-3-642-34047-5_20,"Lapin: An efficient authentication protocol based on ring-LPN"
2943,10.1111/mmi.12071,"Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions"
2974,10.1007/978-3-642-34961-4_40,"Commitments and efficient zero knowledge proofs from learning parity with noise"
2962,10.1534/genetics.112.143164,"A novel approach for choosing summary statistics in approximate Bayesian computation"
3155,10.1007/978-3-642-30793-5_13,"Synchronous interface theories and time triggered scheduling"
3129,10.1007/978-3-642-31155-0_17,"Annotating simplices with a homology basis and its applications"
3131,10.1371/journal.pgen.1002740,"Limits to the rate of adaptive substitution in sexual populations"
3117,10.1016/j.dam.2012.05.025,"Minimizing a sum of submodular functions"
3256,10.1007/s00454-011-9382-4,"Dual complexes of cubical subdivisions of ℝn"
3282,10.1007/978-3-642-29011-4_22,"Message authentication, revisited"
5396,10.15479/AT:IST-2012-0003,"Approximating marginals using discrete energy minimization"
5745,10.1007/978-3-642-33386-6_10,"Improved Single Pass Algorithms for Resolution Proof Reduction"
2955,10.1109/LICS.2012.28,"Partial-observation stochastic games: How to win when belief fails"
2936,10.1145/2380356.2380370,"Finite automata with time delay blocks"
3251,10.1007/978-3-642-27940-9_29,"Ideal abstractions for well structured transition systems"
496,10.1109/LICS.2012.65,"Interpretations in trees with countably many branches"
3162,10.1007/978-3-642-29860-8_12,"Parametric identification of temporal properties"
2937,10.1145/2382196.2382249,"Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols"
2968,10.1111/j.1365-294X.2012.05700.x,"A likelihood based comparison of population histories in a parasitoid guild"
3118,10.1145/2185520.2185549,"Tracking surfaces with evolving topology"
3120,10.1112/S0010437X11007226,"Fano 3 folds in codimension 4 Tom and Jerry Part I"
3257,10.1016/j.dam.2011.10.026,"Generalized roof duality and bisubmodular functions"
3310,10.1016/j.patrec.2011.10.007,"A point calculus for interlevel set homology"
3846,10.1016/j.jcss.2011.05.002,"A survey of stochastic ω regular games"
492,10.1186/1471-2229-12-116,"GiA Roots: Software for the high throughput analysis of plant root system architecture"
2848,10.1016/j.jtbi.2012.02.021,"Evolutionary game dynamics in populations with different learners"
3341,10.1007/978-3-642-28729-9_18,"Robustness of structurally equivalent concurrent parity games"
3252,10.1007/978-3-642-27940-9_11,"Synthesizing protocols for digital contract signing"
497,10.4230/LIPIcs.CSL.2012.167,"Faster algorithms for alternating refinement relations"
3125,10.1007/978-3-642-33715-4_18,"Augmented attribute representations"
2318,10.4171/JST/31,"Absence of bound states implies non-negativity of the scattering length"
2849,10.1070/RM2012v067n06ABEH004820,"On the configuration space of Steiner minimal trees"
2969,10.1523/JNEUROSCI.6104-11.2012,"Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling"
3119,,"Controlling liquids using meshes"
3121,10.1038/nn.3162,"Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA"
3133,10.1145/2261250.2261287,"Alexander duality for functions: The persistent behavior of land and water and shore"
3289,10.1128/JVI.05638-11,"A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization"
3258,10.1038/nn.3060,"Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons"
493,10.3389/fnins.2012.00055,"Review of the BCI competition IV"
498,10.1111/j.1752-4571.2012.00284.x,"Predicting local adaptation in fragmented plant populations: Implications for restoration genetics"
5398,,"Actual state of research data @ ISTAustria"
1384,10.1145/2393596.2393664,"Conditional model checking: A technique to pass information between verifiers"
3157,10.1038/nature11219,"The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers"
2957,10.1109/LICS.2012.29,"Decidable problems for probabilistic automata on infinite words"
3260,10.1016/j.tpb.2011.11.003,"Evolutionary dynamics of biological auctions"
506,10.1083/jcb.201204039,"Cell migration: Fibroblasts find a new way to get ahead"
2263,10.1242/bio.20122287,"A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors"
2903,10.1109/ISVD.2012.11,"The adaptive topology of a digital image"
2958,10.1523/JNEUROSCI.6175-11.2012,"Hippocampal place cells can encode multiple trial-dependent features through rate remapping"
2941,10.1070/RM2012v067n04ABEH004807,"On the optimality of functionals over triangulations of Delaunay sets"
2946,10.1093/nar/gks705,"MicroRNAs associated with the different human Argonaute proteins"
2965,,"Kontext Open Access: Creative Commons"
3127,,"The most persistent soft-clique in a set of sampled graphs"
3242,10.1371/journal.pbio.1001300,"Social transfer of pathogenic fungus promotes active immunisation in ant colonies"
3158,10.1016/j.ejcb.2012.04.002,"Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo"
3280,10.1007/978-3-642-28914-9_31,"Subspace LWE"
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"
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"
2904,10.5802/jtnb.819,"Weak multipliers for generalized van der Corput sequences"
2928,,"Generalized sequential tree-reweighted message passing"
3255,10.1007/978-3-642-25929-6_3,"Games and Markov decision processes with mean payoff parity and energy parity objectives"
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"
3345,10.1007/978-3-642-22993-0_21,"Energy and mean-payoff parity Markov Decision Processes"
3326,10.1007/978-3-642-24372-1_37,"What’s decidable about weighted automata "
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"
531,10.1007/s10703-011-0131-3,"Verification of STM on relaxed memory models"
3358,10.1145/1966445.1966476,"Scheduling large jobs by abstraction refinement"
3269,10.1111/j.1467-8659.2011.01985.x,"Perceptual global illumination cancellation in complex projection environments"
3505,10.1007/978-1-61779-207-6_11,"In vitro analysis of chemotactic leukocyte migration in 3D environments"
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"
518,10.1038/emboj.2011.301,"CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells"
3316,10.1109/SIES.2011.5953660,"Specification-centered robustness"
3328,10.1145/1998196.1998224,"A generic algebraic kernel for non linear geometric applications"
3380,10.1017/S0016672311000115,"Mapping Mendelian traits in asexual progeny using changes in marker allele frequency"
3784,10.1017/S0025315410000287,"Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description"
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"
3362,10.1007/978-3-642-23217-6_27,"Dynamic reactive modules"
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"
3320,10.1561/0600000033,"Structured learning and prediction in computer vision"
3332,10.1007/s00373-011-1020-7,"A note on the complexity of real algebraic hypersurfaces"
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? "
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"
4243,10.1214/EJP.v15-741,"A new model for evolution in a spatial continuum"
4382,10.1145/1810479.1810529,"Transactions in the jungle"
3860,10.4230/LIPIcs.FSTTCS.2010.505,"Generalized mean-payoff and energy games"
3858,10.1007/978-3-642-16242-8_1,"The complexity of partial-observation parity games"
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"
4390,10.1007/978-3-642-14295-6_41,"Model checking of linearizability of concurrent list implementations"
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"
3793,10.1007/978-3-642-15567-3_8,"On parameter learning in CRF-based approaches to object class image segmentation"
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"
4136,10.1086/605958,"Species' range: Adaptation in space and time"
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"
3843,10.1109/HiBi.2009.23,"Fast adaptive uniformization of the chemical master equation"
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"