_id,doi,title
7158,10.1145/3363525,Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
5993,10.1145/3174800,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
6009,10.1145/3210257,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
4473,10.1145/509705.509707,An assume-guarantee rule for checking simulation