| Inference of message sequence charts R Alur, K Etessami, M Yannakakis Proceedings of the 22nd international conference on Software engineering …, 2000 | 461 | 2000 |
| On the complexity of Nash equilibria and other fixed points K Etessami, M Yannakakis SIAM Journal on Computing 39 (6), 2531-2597, 2010 | 358 | 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 | 268* | 2002 |
| Multi-objective model checking of Markov decision processes K Etessami, M Kwiatkowska, MY Vardi, M Yannakakis Logical Methods in Computer Science 4, 2008 | 267 | 2008 |
| Optimizing büchi automata K Etessami, GJ Holzmann International Conference on Concurrency Theory, 153-168, 2000 | 265 | 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 | 257 | 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 | 249 | 2005 |
| 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 | 176 | 2009 |
| Realizability and verification of MSC graphs R Alur, K Etessami, M Yannakakis Theoretical Computer Science 331 (1), 97-114, 2005 | 145 | 2005 |
| Analysis of recursive state machines R Alur, K Etessami, M Yannakakis Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 130 | 2001 |
| 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 | 127 | 2001 |
| Counting quantifiers, successor relations, and logarithmic space K Etessami Journal of Computer and System Sciences 54 (3), 400-411, 1997 | 125 | 1997 |
| Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations K Etessami, M Yannakakis STACS 2005: 22nd Annual Symposium on Theoretical Aspects of Computer Science …, 2005 | 122 | 2005 |
| First-order and temporal logics for nested words R Alur, M Arenas, P Barceló, K Etessami, N Immerman, L Libkin Logical Methods in Computer Science 4, 2008 | 117 | 2008 |
| Recursive Markov decision processes and recursive stochastic games K Etessami, M Yannakakis International Colloquium on Automata, Languages, and Programming, 891-903, 2005 | 109 | 2005 |
| 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 | 109 | 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 | 107 | 2001 |
| Realizability and verification of MSC graphs R Alur, K Etessami, M Yannakakis Automata, Languages and Programming: 28th International Colloquium, ICALP …, 2001 | 106 | 2001 |
| Recursive concurrent stochastic games K Etessami, M Yannakakis Logical Methods in Computer Science 4, 2008 | 91 | 2008 |
| Fair simulation relations, parity games, and state space reduction for Büchi automata K Etessami, T Wilke, RA Schuller Automata, Languages and Programming: 28th International Colloquium, ICALP …, 2001 | 83 | 2001 |
