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.48550/arXiv.2109.10203,10045,"GradSch,VlKo",Generalized minimum 0-extension problem and discrete convexity
null,9592,"GradSch,VlKo",Massively winning configurations in the convex grabbing game on the plane