_id,doi,title
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
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
1501,10.1007/s10703-015-0235-2,CEGAR for compositional analysis of qualitative properties in Markov decision processes
1502,10.1145/2737166.2737175,Complete composition operators for IOCO-testing theory
1505,10.1214/14-AOS1281,Universality for the largest eigenvalue of sample covariance matrices with general population
1506,10.3150/14-BEJ615,The logarithmic law of random determinant
1508,10.4171/JEMS/548,Gap universality of generalized Wigner and β ensembles
1509,10.12688/f1000research.7143.1,Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene
1510,10.4230/LIPIcs.SOCG.2015.842,On computability and triviality of well groups
1511,10.4230/LIPIcs.SOCG.2015.476,"On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result"
1512,10.4230/LIPIcs.SOCG.2015.507,Bounding Helly numbers via Betti numbers
1513,10.1093/gbe/evv215,"The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression"
1517,10.1214/ECP.v20-4315,From large deviations to Wasserstein gradient flows in multiple dimensions