Kousha Etessami
Artificial Intelligence · 2000–2010
A researcher in the Science corpus: 6 papers; trusts 15 researchers and is trusted by 7 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 10 citations into it; #18,619 of 35,345 by trust here, #9,465 by citations
- Economics and Econometrics — 7 citations into it; #21,505 of 23,481 by trust here, #18,597 by citations
- Management Science and Operations Research — 7 citations into it; #11,170 of 11,946 by trust here, #8,469 by citations
- Computational Theory and Mathematics — 6 citations into it; #4,991 of 12,182 by trust here, #1,587 by citations
- Software — 5 citations into it; #937 of 1,227 by trust here, #269 by citations
Whom Kousha Etessami trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Thomas Ball
- Richard Durbin
- Constantinos Daskalakis
- Christos H. Papadimitriou
- Mihalis Yannakakis
- Sriram K. Rajamani
- John D. Geanakoplos
- Marek Kimmel
- Sean R. Eddy
- Paul W. Goldberg
Who trusts Kousha Etessami overall
- Paul Gastin
- Chris Peikert
- Mihalis Yannakakis
- Denis Oddoux
- Constantinos Daskalakis
- Tuomas Sandholm
- Betty H. C. Cheng
- Khalil Ghorbal
- Daniele Micciancio
- Frank Hutter
Papers from Kousha Etessami's perspective
Ordered by how strongly the researchers Kousha Etessami trusts endorse each paper. Same corpus, a different order for every researcher.
- Non-Cooperative Games
- Nash and Walras equilibrium via Brouwer
- Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)
- The unified modeling language reference manual
- The complexity of computing a Nash equilibrium
- Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations (JACM)
- Relating Probabilistic Grammars and Automata
- The Euclidean Traveling Salesman Problem is NP-Complete
- Dynamic logic (SIGA)
- MOPS: an infrastructure for examining security properties of software (Conference on Computer and Communications Security)
Their papers
- On the Complexity of Nash Equilibria and Other Fixed Points (Extended Abstract) (2010) — 296 citations
- Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations (2005) — 531 citations
- Optimizing Büchi Automata (2000) — 400 citations
- A Temporal Logic of Nested Calls and Returns (2004) — 3,365 citations
- Inference of message sequence charts (2000) — 342 citations
- Analysis of Recursive Game Graphs Using Data Flow Equations (2004) — 1,054 citations