DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:8934,8934,"KrCh,GradSch",Parameterized and algebro-geometric advances in static program analysis