_id,doi,title
1992,10.1145/2676726.2677008,Succinct representation of concurrent trace sets
1993,10.1098/rspb.2014.1976,Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
1997,10.1016/j.jsc.2014.09.014,The three-state toric homogeneous Markov chain model has Markov degree two
2006,10.1080/10586458.2014.980044,The monotone secant conjecture in the real Schubert calculus
2008,10.1111/sjos.12139,Iterative scaling in curved exponential families
2014,10.1016/j.csda.2015.01.017,Faithfulness and learning hypergraphs from discrete distributions
2025,10.1016/j.bbamcr.2014.10.009,The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins
2030,10.1016/j.compfluid.2014.09.021,A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow
2034,10.1016/j.ipl.2014.09.001,Probabilistic opacity for Markov decision processes
2035,10.1007/s10208-014-9223-y,The persistent homology of a self-map
2085,10.1007/s00205-014-0781-6,Collective excitations of Bose gases in the mean-field regime
2166,10.1007/s00220-014-2119-5,The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case
2271,10.1137/130945648,The power of linear programming for general-valued CSPs
473,10.5802/jep.18,Derivation of nonlinear gibbs measures from many-body quantum mechanics
477,10.1242/jcs.167999,The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells
523,10.1016/j.ic.2015.03.010,Looking at mean-payoff and total-payoff through windows
524,10.1016/j.ic.2015.03.009,Qualitative analysis of concurrent mean payoff games
532,10.1016/j.cell.2015.09.037,EIN2-directed translational regulation of ethylene signaling in arabidopsis
5429,10.15479/AT:IST-2015-318-v1-1,Unifying two views on multiple mean-payoff objectives in Markov decision processes
5430,10.15479/AT:IST-2015-319-v1-1,Faster algorithms for quantitative verification in constant treewidth graphs