K. Etessami
发表
Kousha Etessami,
Gerard J. Holzmann,
K. Etessami,
2000,
CONCUR.
Kousha Etessami,
Mihalis Yannakakis,
Moshe Y. Vardi,
2007,
Log. Methods Comput. Sci..
Kousha Etessami,
Thomas Wilke,
Thomas Wilke,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Rajeev Alur,
Kousha Etessami,
P. Madhusudan,
2004,
TACAS.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2010,
SIAM J. Comput..
Kousha Etessami,
Thomas Wilke,
Rebecca A. Schuller,
2001,
ICALP.
M. Yannakakis,
Alistair Stewart,
K. Etessami,
2017,
SIAM J. Comput..
K. Etessami,
2013
.
M. Yannakakis,
K. Etessami,
2006
.
K. Etessami,
2013
.
Moshe Y. Vardi,
M. Yannakakis,
M. Kwiatkowska,
2007
.
Alistair Stewart,
K. Etessami,
2016
.
M. Yannakakis,
Alistair Stewart,
K. Etessami,
2016
.
Upper Bounds for Newton’s Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata
pdf
Kousha Etessami,
Mihalis Yannakakis,
Alistair Stewart,
2013,
J. ACM.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2005,
ICALP.
Kousha Etessami,
Thomas Wilke,
K. Etessami,
2000,
Inf. Comput..
Kousha Etessami,
Thomas Wilke,
Moshe Y. Vardi,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Kousha Etessami,
K. Etessami,
2021,
Games Econ. Behav..
The complexity of computing a (perfect) equilibrium for an n-player extensive form game of perfect recall
pdf
Kousha Etessami,
K. Etessami,
2014,
ArXiv.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2005,
JACM.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2005,
ISAAC.
Kousha Etessami,
Andreas Lochbihler,
K. Etessami,
2008,
Int. J. Game Theory.
The Complexity of Approximating a Trembling Hand Perfect Equilibrium of a Multi-player Game in Strategic Form
pdf
Kristoffer Arnsfelt Hansen,
Peter Bro Miltersen,
Troels Bjerre Lund,
2014,
SAGT.
Kousha Etessami,
Tomás Brázdil,
Antonín Kucera,
2009,
SODA '10.
Kousha Etessami,
Javier Esparza,
K. Etessami,
2004,
FSTTCS.
Kousha Etessami,
K. Etessami,
2004,
VMCAI.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2010,
48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).
A Note on the Complexity of Comparing Succinctly Represented Integers, with an Application to Maximum Probability Parsing
pdf
Kousha Etessami,
Mihalis Yannakakis,
Alistair Stewart,
2013,
TOCT.
Kousha Etessami,
K. Etessami,
2017
.
Swarat Chaudhuri,
Rajeev Alur,
Kousha Etessami,
2005,
TACAS.
Rajeev Alur,
Kousha Etessami,
Mihalis Yannakakis,
2001,
TOPL.
Kousha Etessami,
Mihalis Yannakakis,
Dominik Wojtczak,
2008,
ICALP.
Kousha Etessami,
K. Etessami,
2021,
Handbook of Automata Theory.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2012,
TOCL.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2005,
Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
Kousha Etessami,
K. Etessami,
2002,
CONCUR.
Kousha Etessami,
K. Etessami,
2000,
Inf. Process. Lett..
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2000,
FORTE.
Rajeev Alur,
Kousha Etessami,
Mihalis Yannakakis,
2000,
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
Kousha Etessami,
Mihalis Yannakakis,
Alistair Stewart,
2012,
STOC '12.
Polynomial Time Algorithms for Multi-Type Branching Processes and Stochastic Context-Free Grammars
pdf
Kousha Etessami,
Mihalis Yannakakis,
Alistair Stewart,
2012,
ArXiv.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2005,
TACAS.
Kousha Etessami,
K. Etessami,
2008
.
Kousha Etessami,
K. Etessami,
1999,
CAV.
Kousha Etessami,
Mihalis Yannakakis,
M. Yannakakis,
2006,
STACS.
Kousha Etessami,
Dominik Wojtczak,
Antonín Kučera,
2010
.
Kousha Etessami,
Mihalis Yannakakis,
Alistair Stewart,
2018,
Inf. Comput..
Kousha Etessami,
Mihalis Yannakakis,
Alistair Stewart,
2018,
ICALP.
Kousha Etessami,
Tomás Brázdil,
Václav Brozek,
2010,
FSTTCS.
Rajeev Alur,
Kousha Etessami,
Mihalis Yannakakis,
2005,
Theor. Comput. Sci..
Neil Immerman,
Rajeev Alur,
Kousha Etessami,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Kousha Etessami,
K. Etessami,
1998,
PODS '98.
Neil Immerman,
Kousha Etessami,
N. Immerman,
1995,
Theor. Comput. Sci..
Neil Immerman,
Kousha Etessami,
N. Immerman,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Kousha Etessami,
K. Etessami,
1995,
Proceedings of Structure in Complexity Theory. Tenth Annual IEEE Conference.
Kousha Etessami,
K. Etessami,
1998,
PODS 1998.
Neil Immerman,
Kousha Etessami,
N. Immerman,
1994
.
Kousha Etessami,
Thomas Wilke,
Rebecca A. Schuller,
2005,
SIAM J. Comput..
M. Yannakakis,
K. Etessami,
2006,
Log. Methods Comput. Sci..
Kousha Etessami,
Mihalis Yannakakis,
Aviad Rubinstein,
2019,
ITCS.
M. Yannakakis,
K. Etessami,
2005,
TACAS.
Kousha Etessami,
Mihalis Yannakakis,
Dominik Wojtczak,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
M. Yannakakis,
K. Etessami,
2010,
48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).
Kousha Etessami,
Gerard J. Holzmann,
Margaret H. Smith,
2001,
Proceedings Fifth IEEE International Symposium on Requirements Engineering.