| Inference of message sequence charts R Alur, K Etessami, M Yannakakis IEEE Transactions on Software Engineering 29 (7), 623-633, 2003 | 418 | 2003 |
| On the complexity of Nash equilibria and other fixed points K Etessami, M Yannakakis SIAM Journal on Computing 39 (6), 2531-2597, 2010 | 271 | 2010 |
| First-order logic with two variables and unary temporal logic K Etessami, MY Vardi, T Wilke Information and computation 179 (2), 279-295, 2002 | 235* | 2002 |
| Optimizing büchi automata K Etessami, GJ Holzmann International Conference on Concurrency Theory, 153-168, 2000 | 233 | 2000 |
| A temporal logic of nested calls and returns R Alur, K Etessami, P Madhusudan International Conference on Tools and Algorithms for the Construction and …, 2004 | 220 | 2004 |
| Analysis of recursive state machines R Alur, M Benedikt, K Etessami, P Godefroid, T Reps, M Yannakakis ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (4), 786-818, 2005 | 216 | 2005 |
| Multi-objective model checking of Markov decision processes K Etessami, M Kwiatkowska, MY Vardi, M Yannakakis International Conference on Tools and Algorithms for the Construction and …, 2007 | 191 | 2007 |
| Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations K Etessami, M Yannakakis Journal of the ACM (JACM) 56 (1), 1-66, 2009 | 145 | 2009 |
| Realizability and verification of MSC graphs R Alur, K Etessami, M Yannakakis Theoretical Computer Science 331 (1), 97-114, 2005 | 127 | 2005 |
| Counting quantifiers, successor relations, and logarithmic space K Etessami Journal of Computer and System Sciences 54 (3), 400-411, 1997 | 116 | 1997 |
| Events and constraints: A graphical editor for capturing logic requirements of programs MH Smith, GJ Holzmann, K Etessami Proceedings Fifth IEEE International Symposium on Requirements Engineering …, 2001 | 112 | 2001 |
| Analysis of recursive state machines R Alur, K Etessami, M Yannakakis International Conference on Computer Aided Verification, 207-220, 2001 | 111 | 2001 |
| Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations K Etessami, M Yannakakis Annual Symposium on Theoretical Aspects of Computer Science, 340-352, 2005 | 107 | 2005 |
| Recursive Markov decision processes and recursive stochastic games K Etessami, M Yannakakis International Colloquium on Automata, Languages, and Programming, 891-903, 2005 | 102 | 2005 |
| Parametric temporal logic for “model measuring” R Alur, K Etessami, S La Torre, D Peled ACM Transactions on Computational Logic (TOCL) 2 (3), 388-407, 2001 | 99 | 2001 |
| First-order and temporal logics for nested words R Alur, M Arenas, P Barceló, K Etessami, N Immerman, L Libkin 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 151-160, 2007 | 98 | 2007 |
| Realizability and verification of MSC graphs R Alur, K Etessami, M Yannakakis International Colloquium on Automata, Languages, and Programming, 797-808, 2001 | 96 | 2001 |
| Fair simulation relations, parity games, and state space reduction for Büchi automata K Etessami, T Wilke, RA Schuller SIAM Journal on Computing 34 (5), 1159-1175, 2005 | 92 | 2005 |
| Recursive concurrent stochastic games K Etessami, M Yannakakis International Colloquium on Automata, Languages, and Programming, 324-335, 2006 | 84 | 2006 |
| Fair simulation relations, parity games, and state space reduction for Büchi automata K Etessami, T Wilke, RA Schuller International Colloquium on Automata, Languages, and Programming, 694-707, 2001 | 80 | 2001 |
