Kousha Etessami
Author
Alternate names Kousha Etessami, K. Etessami
Institution University of Edinburgh
Past institutions University of Edinburgh, Rutgers, The State University of New Jersey, Nokia (United States), Center for Discrete Mathematics and Theoretical Computer Science, Danish National Research Foundation +1 more
ORCID: Yes
H-index: 38
I10-index: 70
Works count: 126
Citations count: 9,274
A Temporal Logic of Nested Calls and Returns
2004 · Rajeev Alur, Kousha Etessami, et al. · Lecture notes in computer science
Analysis of Recursive Game Graphs Using Data Flow Equations
2004 · Kousha Etessami · Lecture notes in computer science
Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
2009 · Kousha Etessami, Mihalis Yannakakis · Journal of the ACM