Browse by People

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, Ibsen-Jensen, Rasmus ORCID: 0000-0003-4783-0389, Pavlogiannis, Andreas and Goyal, Prateesh (2015) Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. ACM SIGPLAN NOTICES, 50 (1). pp. 97-109.

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, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas (2015) Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. .

Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus ORCID: 0000-0003-4783-0389 and Pavlogiannis, Andreas (2021) Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design, 57 (3). pp. 401-428.

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.