DOI,IST REx ID,Research Group,Title of publication
10.15479/at:ista:1401,1401,"ChLa,GradSch",Learning with attributes for object recognition: Parametric and non-parametrics views
null,1424,HeEd,Statistical topological data analysis-A kernel perspective
null,1425,ChLa,Lifelong learning with non-i.i.d. tasks
10.1145/2739480.2754758,1430,"NiBa,CaGu",First steps towards a runtime comparison of natural and artificial evolution
10.1109/CSF.2015.11,1474,KrPi,Policy privacy in cryptographic access control
10.15479/AT:IST-2015-318-v1-1,5429,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes
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-318-v2-1,5435,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.15479/AT:IST-2015-170-v2-2,5436,"KrCh,ToHe",Nested weighted automata
10.15479/AT:IST-2015-330-v2-1,5437,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.15479/AT:IST-2015-334-v1-1,5438,KrCh,Edit distance for pushdown automata
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.3389/fenvs.2015.00042,10794,"ToHe,GaTk",Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study