| Inference of message sequence charts R Alur, K Etessami, M Yannakakis Proceedings of the 22nd international conference on Software engineering …, 2000 | 449 | 2000 |
| On the complexity of Nash equilibria and other fixed points K Etessami, M Yannakakis SIAM Journal on Computing 39 (6), 2531-2597, 2010 | 331 | 2010 |
| Optimizing büchi automata K Etessami, GJ Holzmann CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000 | 262 | 2000 |
| First-order logic with two variables and unary temporal logic K Etessami, MY Vardi, T Wilke Information and computation 179 (2), 279-295, 2002 | 252* | 2002 |
| A temporal logic of nested calls and returns R Alur, K Etessami, P Madhusudan Tools and Algorithms for the Construction and Analysis of Systems: 10th …, 2004 | 250 | 2004 |
| Multi-objective model checking of Markov decision processes K Etessami, M Kwiatkowska, MY Vardi, M Yannakakis Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007 | 245 | 2007 |
| 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 | 236 | 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 | 165 | 2009 |
| Realizability and verification of MSC graphs R Alur, K Etessami, M Yannakakis Theoretical Computer Science 331 (1), 97-114, 2005 | 141 | 2005 |
| Analysis of recursive state machines R Alur, K Etessami, M Yannakakis Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 127 | 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 | 122 | 2001 |
| Counting quantifiers, successor relations, and logarithmic space K Etessami Journal of Computer and System Sciences 54 (3), 400-411, 1997 | 121 | 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 | 117 | 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 | 110 | 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 | 107 | 2007 |
| Recursive Markov decision processes and recursive stochastic games K Etessami, M Yannakakis Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005 | 104 | 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 | 102 | 2005 |
| Realizability and verification of MSC graphs R Alur, K Etessami, M Yannakakis Automata, Languages and Programming: 28th International Colloquium, ICALP …, 2001 | 101 | 2001 |
| Recursive concurrent stochastic games K Etessami, M Yannakakis Automata, Languages and Programming: 33rd International Colloquium, ICALP …, 2006 | 88 | 2006 |
| 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 | 86 | 2001 |
