142 citations · 338 across the 19 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.CC2013
A note on the complexity of comparing succinctly represented integers, with an application to maximum probability parsing
Kousha Etessami, Alistair Stewart, Mihalis Yannakakis
The following two decision problems capture the complexity of comparing integers or rationals that are succinctly represented in product-of-exponentials notation, or equivalently,…
cs.LO2013
Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata
Alistair Stewart, Kousha Etessami, Mihalis Yannakakis
A central computational problem for analyzing and model checking various classes of infinite-state recursive probabilistic systems (including quasi-birth-death processes, multi-typ…