DOI,IST REx ID,Research Group,Title of publication
10.1007/s10703-023-00411-4,12738,KrCh,Stochastic games with lexicographic objectives
10.1145/3485541,10191,"GradSch,KrCh",The reads-from equivalence for the TSO and PSO memory models
10.15479/at:ista:10199,10199,"GradSch,KrCh",Improved verification techniques for concurrent systems
10.1007/978-3-030-81685-8_16,9987,KrCh,Stateless model checking under a reads-value-from equivalence
10.1007/978-3-030-53291-8_21,8272,KrCh,Stochastic games with lexicographic reachability-safety objectives
10.4230/LIPIcs.MFCS.2020.22,8533,KrCh,Simplified game of life: Algorithms and complexity
10.1007/978-3-030-59152-6_14,8728,KrCh,Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
10.1007/978-3-030-44914-8_5,7810,KrCh,Optimal and perfectly parallel algorithms for on-demand data-flow analysis
10.1145/3373718.3394761,7955,KrCh,Approximating values of generalized-reachability stochastic games
10.1145/3385412.3385969,8089,KrCh,Polynomial invariant generation for non-deterministic recursive programs
10.1007/978-3-030-30281-8_7,6942,"KrCh,ChLa",Strategy representation by decision trees with linear classifiers
10.1145/3339984,7014,KrCh,Non-polynomial worst-case analysis of recursive programs
10.1007/978-3-030-11245-5_22,5948,KrCh,Termination of nondeterministic probabilistic programs
10.1109/BLOC.2019.8751326,6056,KrCh,Probabilistic smart contracts: Secure randomness on the blockchain
10.1145/3314221.3314581,6175,KrCh,Cost analysis of nondeterministic probabilistic programs
10.1145/3297280.3297319,6378,KrCh,"Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving"
10.1145/3290366,6380,KrCh,Efficient parameterized algorithms for data packing
10.1145/3360555,6780,KrCh,Modular verification for almost-sure termination of probabilistic programs
10.4230/LIPICS.CONCUR.2019.6,6889,KrCh,Combinations of Qualitative Winning for Stochastic Parity Games
10.1145/3360550,10190,"GradSch,KrCh",Value-centric dynamic partial order reduction