DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:9946,9946,ToHe,Differential monitoring
10.15479/AT:ISTA:8067,8067,StFr,Current status and future perspectives of Lithium metal batteries
null,5457,,Cost analysis of nondeterministic probabilistic programs
10.15479/AT:IST-2017-870-v1-1,5455,KrCh,Optimal Dyck reachability for data-dependence and alias analysis
10.15479/AT:IST-2017-872-v1-1,5456,KrCh,Data-centric dynamic partial order reduction
10.15479/AT:IST-2018-853-v2-2,6426,ToHe,Synchronizing the asynchronous
10.15479/AT:IST-2016-523-v1-1,5445,KrCh,Quantitative interprocedural analysis
null,5446,,Termination and worst-case analysis of recursive programs
null,5447,,Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
null,5448,,Data-centric dynamic partial order reduction
10.15479/AT:IST-2016-648-v1-1,5449,KrCh,Amplification on undirected population structures: Comets beat stars
10.15479/AT:IST-2016-728-v1-1,5451,KrCh,Strong amplifiers of natural selection
10.15479/AT:IST-2017-728-v2-1,5452,KrCh,Arbitrarily strong amplifiers of natural selection
10.15479/AT:IST-2017-749-v3-1,5453,KrCh,Arbitrarily strong amplifiers of natural selection
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
null,5434,,Optimal cost indefinite-horizon reachability in goal DEC-POMDPs
10.15479/AT:IST-2015-318-v2-1,5435,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes