Kousha Etessami
Title
Cited by
Cited by
Year
Inference of message sequence charts
R Alur, K Etessami, M Yannakakis
IEEE Transactions on Software Engineering 29 (7), 623-633, 2003
4182003
On the complexity of Nash equilibria and other fixed points
K Etessami, M Yannakakis
SIAM Journal on Computing 39 (6), 2531-2597, 2010
2672010
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
2332000
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
2162005
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
2162004
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
1902007
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
1432009
Realizability and verification of MSC graphs
R Alur, K Etessami, M Yannakakis
Theoretical Computer Science 331 (1), 97-114, 2005
1272005
Counting quantifiers, successor relations, and logarithmic space
K Etessami
Journal of Computer and System Sciences 54 (3), 400-411, 1997
1151997
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
1122001
Analysis of recursive state machines
R Alur, K Etessami, M Yannakakis
International Conference on Computer Aided Verification, 207-220, 2001
1112001
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
1072005
Recursive Markov decision processes and recursive stochastic games
K Etessami, M Yannakakis
International Colloquium on Automata, Languages, and Programming, 891-903, 2005
1022005
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
992001
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
972007
Realizability and verification of MSC graphs
R Alur, K Etessami, M Yannakakis
International Colloquium on Automata, Languages, and Programming, 797-808, 2001
962001
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
922005
Recursive concurrent stochastic games
K Etessami, M Yannakakis
International Colloquium on Automata, Languages, and Programming, 324-335, 2006
842006
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
802001
The system can't perform the operation now. Try again later.
Articles 1–20