_id,title
6588,"Elementary solutions of the bernstein problem on two intervals"
2891,"Approximate determinization of quantitative automata"
2916,"Interface Simulation Distances"
2942,"Independent implementability of viewpoints"
2947,"Equivalence of games with probabilistic uncertainty and partial observation games"
3128,"A survey of partial-observation stochastic parity games"
3135,"Efficient controller synthesis for consumption games with multiple resource types"
3255,"Games and Markov decision processes with mean payoff parity and energy parity objectives"
495,"A Myhill Nerode theorem for automata with advice"
3270,"Persistent homology computation with a twist"
3275,"The role of chemotactic gradients in dendritic cell migration"
3287,"What can we learn from single molecule trajectories?"
3299,"Propagation models for computing biochemical reaction networks"
3302,"Static scheduling in clouds"
3352,"Biology as reactivity"
3319,"Learning multi-view neighborhood preserving projections"
3326,"What’s decidable about weighted automata "
3357,"The complexity of request-response games"
3383,"Invited Lectures ‐ Symposia Area"
3388,"Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion"
3390,"The relation between reproductive value and genetic contribution"
3395,"Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas "
3376,"Resolution of gene regulatory conflicts caused by combinations of antibiotics"
3369,"The multiple faces of RIM"
3371,"Cells on the move in Philadelphia"
3965,"Computing elevation maxima by searching the Gauss sphere"
3364,"Approximation of event probabilities in noisy cellular processes"
491,"Setting the clock for recirculating lymphocytes"
504,"Erratum: Species' range: Adaptation in space and time (American Naturalist 174 (E186 E204)) "
3338,"Bounded rationality in concurrent parity games"
5384,"Decidable problems for probabilistic automata on infinite words"
3345,"Energy and mean-payoff parity Markov Decision Processes"
3269,"Perceptual global illumination cancellation in complex projection environments"
3271,"Efficient computation of persistent homology for cubical data"
3288,"Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens"
3290,"A general method for calculating likelihoods under the coalescent process"
3339,"Magnifying lens abstraction for stochastic games with discounted and long-run average objectives"
3163,"Maximum margin multi-label structured prediction"
3322,"Maximum margin multi label structured prediction"
3334,"Letter from the new editors-in-chief"
3358,"Scheduling large jobs by abstraction refinement"
3372,"Inclusive fitness theory and eusociality"
3365,"QUASY: quantitative synthesis tool"
3377,"Quantifying transversality by measuring the robustness of intersections"
3771,"Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests."
3384,"Natural images from the birthplace of the human eye"
3389,"Semi supervised kernel canonical correlation analysis with application to human fMRI"
3391,"The contribution of statistical physics to evolutionary biology"
3396,"Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube"
3505,"In vitro analysis of chemotactic leukocyte migration in 3D environments"
3315,"Timed parity games: Complexity and robustness"
531,"Verification of STM on relaxed memory models"
5380,"Bounded rationality in concurrent parity games"
6496,"Noise underlies switching behavior of the bacterial flagellum"
3346,"Two views on multiple mean payoff objectives in Markov Decision Processes"
3353,"A theory of synchronous relational interfaces"
3264,"Solving recursion-free Horn clauses over LI+UIF"
3360,"Determinizing discounted-sum automata"
5385,"Temporal specifications with accumulative values"
3311,"Alpha shapes - a survey"
3330,"Root refinement for real polynomials"
3335,"Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web"
3328,"A generic algebraic kernel for non linear geometric applications"
3784,"Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description"
3791,"Cell sorting in development"
3796,"Covering and packing with spheres by diagonal distortion in R^n"
3385,"Interstitial locomotion of leukocytes"
3392,"In vivo analysis of uropod function during physiological T cell trafficking"
3397,"The role of adhesion energy in controlling cell-cell contacts"
3405,"Modern ionotropic glutamate receptor with a K+ selectivity signature sequence"
3429,"Oct4 kinetics predict cell lineage patterning in the early mammalian embryo"
3373,"Measuring the complete force field of an optical trap"
3378,"Persistent intersection homology"
3380,"Mapping Mendelian traits in asexual progeny using changes in marker allele frequency"
518,"CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells"
5386,"Enforcing topological constraints in random field image segmentation"
3323,"An efficient decision procedure for imperative tree data structures"
5381,"Partial-observation stochastic games: How to win when belief fails"
3316,"Specification-centered robustness"
3366,"Quantitative synthesis for concurrent programs"
3342,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
3359,"From boolean to quantitative synthesis"
3361,"The complexity of quantitative information flow problems"
3347,"Finitary languages"
3354,"Qualitative concurrent parity games"
5379,"An O(n2) time algorithm for alternating Büchi games"
3266,"Probabilistic joint image segmentation and labeling"
3273,"Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors"
3297,"Liquid simulation with mesh-based surface tracking"
3312," Detailed reconstruction of 3D plant root shape"
3324,"Decision procedures for automating termination proofs"
3329,"Deconstructing approximate offsets"
3355,"Quantitative evaluation of BFT protocols"
3343,"Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification"
3778,"Estimating linkage disequilibria"
3386,"Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies"
3393,"Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects"
3374,"Information transmission in genetic regulatory networks a review"
3379,"Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail"
3367,"An output sensitive algorithm for persistent homology"
3381,"Formalisms for specifying Markovian population models"
3336,"Enforcing topological constraints in random field image segmentation"
3348,"Synthesis of memory efficient real time controllers for safety objectives"
3350,"Minimum attention controller synthesis for omega regular objectives"
5382,"Robustness of structurally equivalent concurrent parity games"
5387,"Energy and mean-payoff parity Markov decision processes"
3362,"Dynamic reactive modules"
3267,"Hardness results for homology localization"
3298,"Hybrid smoothed particle hydrodynamics"
3301,"Tail approximation for the chemical master equation"
3313,"Diffusion runs low on persistence fast"
3318,"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses"
3320,"Structured learning and prediction in computer vision"
3325,"Streaming transducers for algorithmic verification of single pass list processing programs"
3382,"Learning dynamic tactile sensing with robust vision based training"
3387,"Split based computation of majority rule supertrees"
3394,"Genetic drift widens the expected cline but narrows the expected cline width"
3399,"Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior"
3368,"Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants"
3370,"Consequences of different null models on the tree shape bias of supertree methods"
3375,"The statistical mechanics of a polygenic character under stabilizing selection mutation and drift"
3337,"Learning anticipation policies for robot table tennis"
3344,"Graph games with reachability objectives"
3332,"A note on the complexity of real algebraic hypersurfaces"
3781,"The difference in length of curves in R^n"
490,"BioSig: The free and open source software library for biomedical signal processing"
469,"Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor"
5383,"On an efficient decision procedure for imperative tree data structures"
3363,"The decidability frontier for probabilistic automata on infinite words"
3349,"A reduction from parity games to simple stochastic games"
3351,"On memoryless quantitative objectives"
3356,"Temporal specifications with accumulative values"
3782,"Topology noise removal for curve and surface evolution"
3787,"DNA extraction from formalin-fixed tissue: new light from the deep sea"
3794,"Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning"
3718,"P2Y1 receptors inhibit long-term depression in the prefrontal cortex."
3833,"GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova)"
3838,"Hybrid numerical solution of the chemical master equation"
3840,"From boolean to quantitative notions of correctness"
3852,"Discounting in games across time scales"
3845,"Aligators for arrays"
4134,"Why is adaptation prevented at ecological margins? New insights from individual-based simulations"
4362,"Runtime verification for software transactional memories"
4381,"FlexPRICE: Flexible provisioning of resources in a cloud environment"
489,"How do we remember the past in randomised strategies? "
3857,"Probabilistic Automata on infinite words: decidability and undecidability results"
5391,"Model checking of linearizability of concurrent list implementations"
3864,"Measuring and synthesizing systems in probabilistic environments"
4393,"Simulation distances"
5389,"Simulation distances"
3303,"The rate of fitness-valley crossing in sexual populations"
3719,"Lumpability abstractions of rule-based systems"
3776,"Genetic linkage and natural selection"
3783,"Microsatelight – Pipeline to expedite microsatellite analysis"
3788,"Finite-size corrections to scaling behavior in sorted cell aggregates"
3790,"Control of directed cell migration in vivo by membrane-to-cortex attachment"
3795,"The stability of the apparent contour of an orientable 2-manifold"
3834,"Solving the chemical master equation using sliding windows"
3839,"Invariant and type inference for matrices"
3853,"Mean-payoff automaton expressions"
3858,"The complexity of partial-observation parity games"
3860,"Generalized mean-payoff and energy games"
3865,"Analyzing the impact of change in multi-threaded programs"
4243,"A new model for evolution in a spatial continuum"
4382,"Transactions in the jungle"
3772,"Understanding adaptation in large populations"
3777,"Mutation and the evolution of recombination"
3789,"Stereotypical cell division orientation controls neural rod midline formation in zebrafish"
3498,"Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis"
3847,"SABRE: A tool for the stochastic analysis of biochemical reaction networks"
3866,"Robustness in the presence of liveness"
3842,"Fast adaptive uniformization of the chemical master equation"
3854,"Obliging games"
3859,"Formal modeling and analysis of timed systems"
3962,"Dendritic cell migration across basement membranes in the skin"
3861,"Strategy logic"
4369,"From MTL to deterministic timed automata"
474,"A new model for extinction and recolonization in two dimensions: Quantifying phylogeography"
4388,"GIST: A solver for probabilistic games"
4390,"Model checking of linearizability of concurrent list implementations"
3773,"What role does natural selection play in speciation?"
3785,"Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata)"
3792,"The yolk syncytial layer in early, zebrafish development"
3848,"The robustness of level sets"
3850,"Polygonal reconstruction from approximate offsets"
3901,"Computing robustness and persistence for images"
4346,"Handbuch Bibliothek 2.0"
4339,"Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch"
4396,"Shape refinement through explicit heap analysis"
4389,"Robustness of sequential circuits"
3867,"Expressiveness and closure properties for quantitative languages"
533,"Doomed program points"
3855,"Qualitative analysis of partially-observable Markov Decision Processes"
2409,"Accuracy of phylogeny reconstruction methods combining overlapping gene data sets "
3774,"Phenotypic correlates of hybridisation between red and sika deer (genus Cervus)"
3779,"Cryptic variation between species and the basis of hybrid performance"
3793,"On parameter learning in CRF-based approaches to object class image segmentation"
3604,"Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland"
3832,"Beyond TARPs: The growing list of auxiliary AMPAR subunits"
3849,"Persistent homology under non-uniform error"
3868,"Algorithms for game metrics"
3863,"Strategy construction for parity games with imperfect information"
4157,"Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis"
4378,"Building a calculus of data structures"
4380,"A marketplace for cloud resources"
4392,"Quantitative Simulation Games"
488,"Expressiveness of streaming string transducers"
5390,"Topological, automata-theoretic and logical characterization of finitary languages"
4361,"Forward analysis of depth-bounded processes"
3856,"Randomness for free"
3851,"Energy parity games"
5388,"Quantitative synthesis for concurrent programs"
3775,"On the application of statistical physics to evolutionary biology"
3871,"Probabilistic weighted automata"
4242,"The evolution of strong reproductive isolation"
4545,"A survey of stochastic games with limsup and liminf objectives"
4569,"Better quality in synthesis through quantitative objectives"
3675,"Why sex and recombination? "
3841,"Formalisms for specifying Markovian population models"
4231,"Statistical mechanics and the evolution of polygenic quantitative traits"
5392,"Probabilistic automata on infinite words: Decidability and undecidability results"
4542,"Alternating weighted automata"
4136,"Species' range: Adaptation in space and time"
5393,"Gist: A solver for probabilistic games"
3780,"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"
3843,"Fast adaptive uniformization of the chemical master equation"
3968,"The persistent Morse complex segmentation of a 3-manifold"
4543,"Stochastic games with finitary objectives"
5394,"Improved lower bounds for request-response and finitary Streett games"
3837,"On relational interfaces"
3844,"Distributed, modular HTL"
3870,"Finitary winning in omega-regular games"
5395,"Qualitative analysis of partially-observable Markov decision processes"
517,"Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin"
6149,"Sleep: dozy worms and sleepy flies"