Inference of message sequence charts R Alur, K Etessami, M Yannakakis Proceedings of the 22nd international conference on Software engineering …, 2000 | 463 | 2000 |
On the complexity of Nash equilibria and other fixed points K Etessami, M Yannakakis SIAM Journal on Computing 39 (6), 2531-2597, 2010 | 371 | 2010 |
Multi-objective model checking of Markov decision processes K Etessami, M Kwiatkowska, MY Vardi, M Yannakakis Logical Methods in Computer Science 4, 2008 | 271 | 2008 |
First-order logic with two variables and unary temporal logic K Etessami, MY Vardi, T Wilke Information and computation 179 (2), 279-295, 2002 | 269* | 2002 |
Optimizing büchi automata K Etessami, GJ Holzmann International Conference on Concurrency Theory, 153-168, 2000 | 266 | 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 | 258 | 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 | 253 | 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 | 180 | 2009 |
Realizability and verification of MSC graphs R Alur, K Etessami, M Yannakakis Theoretical Computer Science 331 (1), 97-114, 2005 | 147 | 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 | 127 | 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 | 123 | 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 | 118 | 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 | 92 | 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 |