15 citations · 66 across the 23 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.CO2017
An Efficient Algorithm for Computing Network Reliability in Small Treewidth
Amir Kafshdar Goharshady, Fatemeh Mohammadi
We consider the classic problem of Network Reliability. A network is given together with a source vertex, one or more target vertices, and probabilities assigned to each of the edg…
cs.PL2017
Non-polynomial Worst-Case Analysis of Recursive Programs
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving…