DOI,IST REx ID,Research Group,Title of publication
10.1242/jcs.167999,477,MiSi,The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells
10.1016/j.ic.2015.03.010,523,KrCh,Looking at mean-payoff and total-payoff through windows
10.1016/j.ic.2015.03.009,524,KrCh,Qualitative analysis of concurrent mean payoff games
10.1016/j.cell.2015.09.037,532,JiFr,EIN2-directed translational regulation of ethylene signaling in arabidopsis
10.15479/AT:IST-2015-319-v1-1,5430,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.15479/AT:IST-2015-322-v1-1,5431,KrCh,The patience of concurrent stochastic games with safety and reachability objectives
10.15479/AT:IST-2015-323-v1-1,5432,KrCh,The complexity of evolutionary games on graphs
10.15479/AT:IST-2015-330-v2-1,5437,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.15479/AT:IST-2015-335-v1-1,5439,ToHe,The target discounted-sum problem
10.15479/AT:IST-2015-323-v2-2,5440,KrCh,The complexity of evolutionary games on graphs
10.15479/AT:IST-2015-340-v1-1,5441,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.15479/AT:IST-2015-325-v2-1,5443,KrCh,A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
10.15479/AT:IST-2015-399-v1-1,5444,KrCh,Reconstructing robust phylogenies of metastatic cancers
10.15479/AT:ISTA:28,5549,"KrCh,ToHe",Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
10.1145/2676726.2677008,1992,ToHe,Succinct representation of concurrent trace sets
10.1098/rspb.2014.1976,1993,SyCr,Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
10.1016/j.jsc.2014.09.014,1997,CaUh,The three-state toric homogeneous Markov chain model has Markov degree two
10.1080/10586458.2014.980044,2006,CaUh,The monotone secant conjecture in the real Schubert calculus
10.1111/sjos.12139,2008,CaUh,Iterative scaling in curved exponential families
10.1016/j.csda.2015.01.017,2014,CaUh,Faithfulness and learning hypergraphs from discrete distributions