 | Up a level |
Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus 
ORCID: 0000-0003-4783-0389, Goharshady, Amir Kafshdar and Pavlogiannis, Andreas
(2018)
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.
ACM Transactions on Programming Languages and Systems, 40 (3).
pp. 1-43.
Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Goyal, Prateesh, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2019)
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.
ACM Transactions on Programming Languages and Systems, 41 (4).
pp. 1-46.
Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2020)
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis.
PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020), 12075.
pp. 112-140.