_id,doi,title
6972,10.1145/3339471,Self-stabilising Byzantine clock synchronisation is almost as easy as consensus
7108,10.1145/3314024,Shellability is NP-complete
7109,10.1145/3286976,From real-time logic to timed automata
11768,10.1145/3218657,Decremental single-source shortest paths on undirected graphs in near-linear total update time
4595,10.1145/585265.585270,Alternating-time temporal logic
4010,10.1145/355483.355487,Sliver exudation
11769,10.1145/320211.320215,Randomized fully dynamic graph algorithms with polylogarithmic time per operation
4609,10.1145/585265.585270,Alternating-time temporal logic
4610,10.1145/227595.227602,The benefits of relaxing punctuality
4591,10.1145/174644.174651,A really temporal logic
4046,10.1145/147508.147511,An optimal algorithm for intersecting line segments in the plane