_id,doi,title
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
6120,10.7554/elife.04241,Decoding a neural circuit controlling global animal state in C. elegans
6507,10.1182/blood-2015-08-667055,Structural basis for collagen recognition by the immune receptor OSCAR
1473,,Cohomology of large semiprojective hyperkähler varieties
1474,10.1109/CSF.2015.11,Policy privacy in cryptographic access control
1481,,Automatic generation of alternative starting positions for simple traditional board games
1483,10.1109/CVPR.2015.7299106,A stable multi-scale kernel for topological machine learning
1495,,Relaxed disk packing
1497,10.1093/nar/gkv727,"Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data"
1498,10.4230/LIPIcs.SNAPL.2015.90,The need for language support for fault-tolerant distributed systems
1499,10.4230/LIPIcs.CONCUR.2015.142,Polynomial time decidability of weighted synchronization under partial observability