_id,doi,title
5430,10.15479/AT:IST-2015-319-v1-1,Faster algorithms for quantitative verification in constant treewidth graphs
5431,10.15479/AT:IST-2015-322-v1-1,The patience of concurrent stochastic games with safety and reachability objectives
5432,10.15479/AT:IST-2015-323-v1-1,The complexity of evolutionary games on graphs
5434,,Optimal cost indefinite-horizon reachability in goal DEC-POMDPs
5435,10.15479/AT:IST-2015-318-v2-1,Unifying two views on multiple mean-payoff objectives in Markov decision processes
5436,10.15479/AT:IST-2015-170-v2-2,Nested weighted automata
5437,10.15479/AT:IST-2015-330-v2-1,Faster algorithms for quantitative verification in constant treewidth graphs
5438,10.15479/AT:IST-2015-334-v1-1,Edit distance for pushdown automata
5439,10.15479/AT:IST-2015-335-v1-1,The target discounted-sum problem
5440,10.15479/AT:IST-2015-323-v2-2,The complexity of evolutionary games on graphs
5441,10.15479/AT:IST-2015-340-v1-1,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
5442,,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
5443,10.15479/AT:IST-2015-325-v2-1,A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
5444,10.15479/AT:IST-2015-399-v1-1,Reconstructing robust phylogenies of metastatic cancers
5549,10.15479/AT:ISTA:28,Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
5804,10.1016/j.tcs.2015.11.018,From prima quadraginta octant to lattice sphere through primitive integer operations
5807,10.1016/j.tcs.2015.09.003,On different topological classes of spherical geodesic paths and circles inZ3
5808,10.1007/s00371-015-1101-3,Layer the sphere
594,10.1038/nrm3952,Structural basis of transcription initiation by RNA polymerase II
6118,10.1073/pnas.1423808112,Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity