Follow
Kousha Etessami
Title
Cited by
Cited by
Year
Inference of message sequence charts
R Alur, K Etessami, M Yannakakis
Proceedings of the 22nd international conference on Software engineering …, 2000
4632000
On the complexity of Nash equilibria and other fixed points
K Etessami, M Yannakakis
SIAM Journal on Computing 39 (6), 2531-2597, 2010
3712010
Multi-objective model checking of Markov decision processes
K Etessami, M Kwiatkowska, MY Vardi, M Yannakakis
Logical Methods in Computer Science 4, 2008
2712008
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
2662000
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
2582004
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
2532005
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
1802009
Realizability and verification of MSC graphs
R Alur, K Etessami, M Yannakakis
Theoretical Computer Science 331 (1), 97-114, 2005
1472005
Analysis of recursive state machines
R Alur, K Etessami, M Yannakakis
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
1302001
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
1272001
Counting quantifiers, successor relations, and logarithmic space
K Etessami
Journal of Computer and System Sciences 54 (3), 400-411, 1997
1271997
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
1232005
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
1182008
Recursive Markov decision processes and recursive stochastic games
K Etessami, M Yannakakis
International Colloquium on Automata, Languages, and Programming, 891-903, 2005
1092005
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
1092005
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
1072001
Realizability and verification of MSC graphs
R Alur, K Etessami, M Yannakakis
Automata, Languages and Programming: 28th International Colloquium, ICALP …, 2001
1062001
Recursive concurrent stochastic games
K Etessami, M Yannakakis
Logical Methods in Computer Science 4, 2008
922008
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
832001
The system can't perform the operation now. Try again later.
Articles 1–20