Up a level |
Number of items: 2.
Chatterjee, K, Ibsen-Jensen, R and Pavlogiannis, A
(2016)
Optimal reachability and a space-time tradeoff for distance queries in constant-treewidth graphs.
.
Chatterjee, K, Ibsen-Jensen, R ORCID: 0000-0003-4783-0389 and Pavlogiannis, A
(2021)
Quantitative Verification on Product Graphs of Small Treewidth.
In: FSTTCS 2021, 2021-12-15 - 2021-12-17, (Virtual conference).