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