Search

Andreas Pavlogiannis

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

Published with Wowchemy — the free, open source website builder that empowers creators.