Amir Kafshdar Goharshady

Available identifiers

Publication	Date of Publication	Type
Algorithms and hardness results for computing cores of Markov chains	2024-09-12	Paper
Automated tail bound analysis for probabilistic recurrence relations	2024-02-01	Paper
Efficient interprocedural data-flow analysis using treedepth and treewidth	2023-08-17	Paper
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth	2022-12-22	Paper
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs	2022-12-07	Paper
Non-polynomial worst-case analysis of recursive programs	2022-08-12	Paper
Quantitative analysis of smart contracts	2019-09-13	Paper
Termination analysis of probabilistic programs through Positivstellensatz's	2019-05-03	Paper
Computational Approaches for Stochastic Shortest Path on Succinct MDPs	2018-04-24	Paper
An Efficient Algorithm for Computing Network Reliability in Small Treewidth	2017-12-27	Paper
Algorithms for algebraic path properties in concurrent systems of constant treewidth components	2016-10-24	Paper
A combinatorial approach to certain topological spaces based on minimum complement S-approximation spaces	2016-02-02	Paper
\([1,2]\)-sets and \([1,2]\)-total sets in trees with algorithms	2015-12-07	Paper

This page was built for person: Amir Kafshdar Goharshady