DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-21690-4_9,1607,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs