DOI,IST REx ID,Research Group,Title of publication
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-30281-8_7,6942,"KrCh,ChLa",Strategy representation by decision trees with linear classifiers
10.1145/3360550,10190,"GradSch,KrCh",Value-centric dynamic partial order reduction
10.1007/978-3-319-96142-2_13,141,KrCh,Symbolic algorithms for graphs and Markov decision processes with fairness objectives
10.1007/978-3-319-89960-2_21,297,"KrCh,ToHe",Strategy representation by decision trees in reactive synthesis