Kousha Etessami

Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations

Kousha Etessami, Mihalis Yannakakis · Journal of the ACM · 2009 · 518 citations

Termination Probabilities, Engineering, Reachability Problem +20

On the Complexity of Nash Equilibria and Other Fixed Points

Kousha Etessami, Mihalis Yannakakis · SIAM Journal on Computing · 2010 · 245 citations · Full text

Mathematical Programming, Computational Complexity Theory, Engineering +18

Analysis of recursive state machines

Rajeev Alur, Michael Benedikt, Kousha Etessami et al. · ACM Transactions on Programming Languages and Systems · 2005 · 218 citations · Full text

Engineering, Reachability Problem, Verification +22

Inference of message sequence charts

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis · IEEE Transactions on Software Engineering · 2003 · 214 citations

Engineering, Message Sequence Charts, Software Engineering +22

First-Order Logic with Two Variables and Unary Temporal Logic

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke · Information and Computation · 2002 · 181 citations

Non-classical Logic, Engineering, Automated Reasoning +4