DOI,IST REx ID,Research Group,Title of publication
10.15479/14539,14539,"KrCh,GradSch",Automated verification and control of infinite state stochastic systems
10.15479/AT:ISTA:8934,8934,"KrCh,GradSch",Parameterized and algebro-geometric advances in static program analysis
10.15479/at:ista:10199,10199,"GradSch,KrCh",Improved verification techniques for concurrent systems
10.15479/at:ista:10293,10293,"GradSch,KrCh",Evolution of cooperation via (in)direct reciprocity under imperfect information
10.15479/AT:ISTA:7196,7196,"KrCh,GradSch",A role of graphs in evolutionary processes
10.15479/AT:ISTA:th_854,821,KrCh,Algorithmic advances in program analysis and their applications
null,1397,KrCh,Algorithms for partially observable markov decision processes
null,1400,KrCh,The subclonal evolution of cancer