DOI,IST REx ID,Research Group,Title of publication
10.1145/3446383,15267,DaAl,Exploiting spontaneous transmissions for broadcasting and leader election in radio networks
10.1145/3340295,6752,ToHe,Infinite-duration bidding games
10.1145/3339471,6972,DaAl,Self-stabilising Byzantine clock synchronisation is almost as easy as consensus
10.1145/3314024,7108,UlWa,Shellability is NP-complete
10.1145/3286976,7109,ToHe,From real-time logic to timed automata
10.1145/3218657,11768,,Decremental single-source shortest paths on undirected graphs in near-linear total update time
10.1145/3121408,716,KrCh,The complexity of mean-payoff pushdown games
10.1145/585265.585270,4595,,Alternating-time temporal logic
10.1145/355483.355487,4010,,Sliver exudation
10.1145/320211.320215,11769,,Randomized fully dynamic graph algorithms with polylogarithmic time per operation
10.1145/585265.585270,4609,,Alternating-time temporal logic
10.1145/227595.227602,4610,,The benefits of relaxing punctuality
10.1145/174644.174651,4591,,A really temporal logic
10.1145/147508.147511,4046,,An optimal algorithm for intersecting line segments in the plane