DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.ITP.2023.15,13120,"GradSch,VlKo",Closure properties of general grammars - formally verified
10.4230/LIPIcs.CONCUR.2023.17,13221,"GradSch,ToHe",Safety and liveness of quantitative automata
10.4230/LIPIcs.ICALP.2023.129,13292,"GradSch,ToHe",Regular methods for operator precedence languages
10.4230/LIPIcs.MFCS.2023.15,14417,KrCh,Entropic risk for turn-based stochastic games
10.4230/LIPIcs.DISC.2022.52,12182,DaAl,Brief announcement: Temporal locality in online algorithms
10.4230/LIPIcs.SAND.2022.1,11808,,Recent advances in fully dynamic graph algorithms