Amir Goharshady
Amir Goharshady
Home
Publications
CV
Personal
Light
Dark
Automatic
Andreas Pavlogiannis
Latest
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth
Efficient Parameterized Algorithms for Data Packing
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
JTDec: A Tool for Tree Decompositions in Soot
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Cite
×