_id,doi,title
14417,10.4230/LIPIcs.MFCS.2023.15,Entropic risk for turn-based stochastic games
13120,10.4230/LIPIcs.ITP.2023.15,Closure properties of general grammars - formally verified
13221,10.4230/LIPIcs.CONCUR.2023.17,Safety and liveness of quantitative automata
13292,10.4230/LIPIcs.ICALP.2023.129,Regular methods for operator precedence languages
11808,10.4230/LIPIcs.SAND.2022.1,Recent advances in fully dynamic graph algorithms
12182,10.4230/LIPIcs.DISC.2022.52,Brief announcement: Temporal locality in online algorithms