DOI,IST REx ID,Title of publication
null,5434,Optimal cost indefinite-horizon reachability in goal DEC-POMDPs
10.15479/AT:IST-2015-318-v2-1,5435,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.15479/AT:IST-2015-170-v2-2,5436,Nested weighted automata
10.15479/AT:IST-2015-330-v2-1,5437,Faster algorithms for quantitative verification in constant treewidth graphs
10.15479/AT:IST-2015-334-v1-1,5438,Edit distance for pushdown automata
10.15479/AT:IST-2015-335-v1-1,5439,The target discounted-sum problem
10.15479/AT:IST-2015-323-v2-2,5440,The complexity of evolutionary games on graphs
10.15479/AT:IST-2015-340-v1-1,5441,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
null,5442,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.15479/AT:IST-2015-325-v2-1,5443,A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
10.15479/AT:IST-2015-399-v1-1,5444,Reconstructing robust phylogenies of metastatic cancers
10.15479/AT:ISTA:28,5549,Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
10.1073/pnas.1423808112,6118,Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity
10.7554/elife.04241,6120,Decoding a neural circuit controlling global animal state in C. elegans
10.1109/tit.2015.2453315,6736,Scaling exponent of list decoders with applications to polar codes
10.1109/tit.2014.2368555,6737,"Achieving Marton’s region for broadcast channels using polar codes"
null,10748,"Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy"
10.3389/fenvs.2015.00042,10794,Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
10.1101/gad.269902.115,9532,Evolution and function of genomic imprinting in plants
10.1016/j.endm.2015.06.027,9575,Cycles and matchings in randomly perturbed digraphs and hypergraphs