Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 3.

Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus, 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).

Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus, Pavlogiannis, Andreas and Goyal, Prateesh
(2015) Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. .

Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2015) Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. .

This list was generated on Sun Nov 3 10:09:49 2019 GMT.