_id,title
3339,Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
3342,Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
3343,Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification
3344,Graph games with reachability objectives
3345,Energy and mean-payoff parity Markov Decision Processes
3346,Two views on multiple mean payoff objectives in Markov Decision Processes
3347,Finitary languages
3348,Synthesis of memory efficient real time controllers for safety objectives
3349,A reduction from parity games to simple stochastic games
3350,Minimum attention controller synthesis for omega regular objectives
3351,On memoryless quantitative objectives
3352,Biology as reactivity
3353,A theory of synchronous relational interfaces
3354,Qualitative concurrent parity games
3355,Quantitative evaluation of BFT protocols
3356,Temporal specifications with accumulative values
3357,The complexity of request-response games
3358,Scheduling large jobs by abstraction refinement
3359,From boolean to quantitative synthesis
3360,Determinizing discounted-sum automata
3361,The complexity of quantitative information flow problems
3362,Dynamic reactive modules
3363,The decidability frontier for probabilistic automata on infinite words
3364,Approximation of event probabilities in noisy cellular processes
3365,QUASY: quantitative synthesis tool
3366,Quantitative synthesis for concurrent programs
3367,An output sensitive algorithm for persistent homology
3368,Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants
3369,The multiple faces of RIM
3370,Consequences of different null models on the tree shape bias of supertree methods
3371,Cells on the move in Philadelphia
3372,Inclusive fitness theory and eusociality
3373,Measuring the complete force field of an optical trap
3374,Information transmission in genetic regulatory networks a review
3375,The statistical mechanics of a polygenic character under stabilizing selection mutation and drift
3376,Resolution of gene regulatory conflicts caused by combinations of antibiotics
3377,Quantifying transversality by measuring the robustness of intersections
3378,Persistent intersection homology
3379,Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail
3380,Mapping Mendelian traits in asexual progeny using changes in marker allele frequency
3381,Formalisms for specifying Markovian population models
3382,Learning dynamic tactile sensing with robust vision based training
3383,"Invited Lectures ‐ Symposia Area"
3384,Natural images from the birthplace of the human eye
3385,Interstitial locomotion of leukocytes
3386,Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies
3387,Split based computation of majority rule supertrees
3388,Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion
3389,Semi supervised kernel canonical correlation analysis with application to human fMRI
3390,The relation between reproductive value and genetic contribution
3391,The contribution of statistical physics to evolutionary biology
3392,In vivo analysis of uropod function during physiological T cell trafficking
3393,Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects
3394,Genetic drift widens the expected cline but narrows the expected cline width
3395,Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas
3396,Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube
3397,The role of adhesion energy in controlling cell-cell contacts
3399,Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior
3405,Modern ionotropic glutamate receptor with a K+ selectivity signature sequence
3429,Oct4 kinetics predict cell lineage patterning in the early mammalian embryo
3505,In vitro analysis of chemotactic leukocyte migration in 3D environments
3771,"Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests."
3778,Estimating linkage disequilibria
3781,The difference in length of curves in R^n
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
2409,Accuracy of phylogeny reconstruction methods combining overlapping gene data sets
3962,Dendritic cell migration across basement membranes in the skin
4134,Why is adaptation prevented at ecological margins? New insights from individual-based simulations
4157,Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
4243,A new model for evolution in a spatial continuum
4339,"Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch"
4346,Handbuch Bibliothek 2.0
4361,Forward analysis of depth-bounded processes
4362,Runtime verification for software transactional memories
4369,From MTL to deterministic timed automata
4378,Building a calculus of data structures
4380,A marketplace for cloud resources
4381,FlexPRICE: Flexible provisioning of resources in a cloud environment
4382,Transactions in the jungle
4388,GIST: A solver for probabilistic games
4389,Robustness of sequential circuits
4390,Model checking of linearizability of concurrent list implementations
4392,Quantitative Simulation Games
4393,Simulation distances
4396,Shape refinement through explicit heap analysis
474,A new model for extinction and recolonization in two dimensions: Quantifying phylogeography
488,Expressiveness of streaming string transducers
489,How do we remember the past in randomised strategies?
533,Doomed program points
5388,Quantitative synthesis for concurrent programs
5389,Simulation distances
5390,"Topological, automata-theoretic and logical characterization of finitary languages"
5391,Model checking of linearizability of concurrent list implementations
3303,The rate of fitness-valley crossing in sexual populations
3498,Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis
3604,"Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland"
3718,P2Y1 receptors inhibit long-term depression in the prefrontal cortex.
3719,Lumpability abstractions of rule-based systems