DOI,IST REx ID,Research Group,Title of publication
10.1145/3363525,7158,KrCh,Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
10.1145/3174800,5993,KrCh,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
10.1145/3210257,6009,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.1145/509705.509707,4473,,An assume-guarantee rule for checking simulation