DOI,IST REx ID,Research Group,Title of publication
10.1073/pnas.1810565115,2,KrCh,"Indirect reciprocity with private, noisy, and incomplete information"
10.4230/LIPIcs.CONCUR.2018.11,66,KrCh,Ergodic mean-payoff games for the analysis of attacks in crypto-currencies
10.1007/978-3-319-89884-1_26,311,KrCh,Quantitative analysis of smart contracts
10.1109/Cybermatics_2018.2018.00231,6340,KrCh,Secure Credit Reporting on the Blockchain
10.1145/3210257,6009,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.24963/ijcai.2018/653,5977,KrCh,Computational approaches for stochastic shortest path on succinct MDPs
10.1145/3009837.3009873,1194,KrCh,Stochastic invariants for probabilistic termination
10.1016/j.jcss.2016.09.009,1294,KrCh,Trading performance for stability in Markov decision processes
10.1007/978-3-662-54577-5_26,13160,KrCh,Index appearance record for transforming Rabin automata into parity automata
10.1016/j.nahs.2016.04.006,1407,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
10.1038/s41598-017-00107-w,512,KrCh,Amplification on undirected population structures: Comets beat stars
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.4230/LIPIcs.MFCS.2017.61,551,KrCh,Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
10.4230/LIPIcs.MFCS.2017.39,552,KrCh,Faster algorithms for mean-payoff parity games
10.4230/LIPIcs.MFCS.2017.55,553,KrCh,Strategy complexity of concurrent safety games
10.15479/AT:ISTA:51,5559,KrCh,Strong amplifiers of natural selection
10.1007/978-3-319-63121-9_18,625,"KrCh,ToHe",The cost of exactness in quantitative reachability
10.1007/978-3-319-63387-9_6,628,KrCh,Automated recurrence analysis for almost linear expected runtime bounds
null,1009,KrCh,Optimizing expectation with guarantees in POMDPs