| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kousha Etessami, Alistair Stewart, Mihalis Yannakakis |
Polynomial Time Algorithms for Multi-Type Branching Processes and Stochastic Context-Free Grammars  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Kousha Etessami, Alistair Stewart, Mihalis Yannakakis |
Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Model Checking of Recursive Probabilistic Systems. |
ACM Trans. Comput. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Alistair Stewart, Mihalis Yannakakis |
Polynomial time algorithms for multi-type branching processesand stochastic context-free grammars. |
STOC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera |
Approximating the Termination Value of One-Counter MDPs and Stochastic Games |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Kousha Etessami, Patrice Godefroid |
An abort-aware model of transactional programming. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera |
Approximating the Termination Value of One-Counter MDPs and Stochastic Games. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis |
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. |
Perform. Eval. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami |
One-Counter Stochastic Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
On the Complexity of Nash Equilibria and Other Fixed Points. |
SIAM J. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak |
One-Counter Markov Decision Processes. |
SODA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami |
One-Counter Stochastic Games. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
Recursive Markov chains, monotone nonlinear systems, multi-type branching processes, Newton's method, stochastic context-free grammars |
| 1 | Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak |
One-Counter Markov Decision Processes |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kousha Etessami, Patrice Godefroid |
An Abort-Aware Model of Transactional Programming. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Andreas Lochbihler |
The computational complexity of evolutionarily stable strategies. |
Int. J. Game Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Recursive Concurrent Stochastic Games. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin |
First-Order and Temporal Logics for Nested Words. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis |
Multi-Objective Model Checking of Markov Decision Processes. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis |
Multi-Objective Model Checking of Markov Decision Processes |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin |
First-Order and Temporal Logics for Nested Words |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Recursive Concurrent Stochastic Games |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis |
Recursive Stochastic Games with Positive Rewards. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis |
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis |
Multi-objective Model Checking of Markov Decision Processes. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Wojtczak, Kousha Etessami |
PReMo : An Analyzer for P robabilistic Re cursive Mo dels. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin |
First-Order and Temporal Logics for Nested Words. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
On the Complexity of Nash Equilibria and Other Fixed Points (Extended Abstract). |
FOCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Recursive Concurrent Stochastic Games. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games. |
STACS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Realizability and verification of MSC graphs. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis |
Analysis of recursive state machines. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata |
| 1 | Kousha Etessami, Thomas Wilke, Rebecca A. Schuller |
Fair Simulation Relations, Parity Games, and State Space Reduction for Bu"chi Automata. |
SIAM J. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan |
On-the-Fly Reachability and Cycle Detection for Recursive State Machines. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Algorithmic Verification of Recursive Probabilistic State Machines. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Recursive Markov Decision Processes and Recursive Stochastic Games. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Sriram K. Rajamani (eds.) |
Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings |
CAV |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mihalis Yannakakis, Kousha Etessami |
Checking LTL Properties of Recursive Markov Chains. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Probability and Recursion. |
ISAAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Andreas Lochbihler |
The computational complexity of Evolutionarily Stable Strategies |
Electronic Colloquium on Computational Complexity (ECCC) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Alur, Kousha Etessami, P. Madhusudan |
A Temporal Logic of Nested Calls and Returns. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami |
Analysis of Recursive Game Graphs Using Data Flow Equations. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Kousha Etessami |
Verifying Probabilistic Procedural Programs. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Inference of Message Sequence Charts. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
concurrent state machines, formal verification, synthesis, scenarios, requirements analysis, Message sequence charts, realizability, deadlock freedom |
| 1 | Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis |
Compression of Partially Ordered Strings. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Moshe Y. Vardi, Thomas Wilke |
First-Order Logic with Two Variables and Unary Temporal Logic. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami |
A Hierarchy of Polynomial-Time Computable Simulations for Automata. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled |
Parametric temporal logic for "model measuring". |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, quantitative analysis |
| 1 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Realizability and Verification of MSC Graphs. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Thomas Wilke, Rebecca A. Schuller |
Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami |
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
model checking, testing, requirements, software verification |
| 1 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Analysis of Recursive State Machines. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami |
A note on a question of Peled and Wilke regarding stutter-invariant LTL. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Neil Immerman |
Tree Canonization and Transitive Closure. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Thomas Wilke |
An Until Hierarchy and Other Applications of an Ehrenfeucht-Fraïssé Game for Temporal Logic. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Gerard J. Holzmann |
Optimizing Büchi Automata. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
From Rule-based to Automata-based Testing. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Inference of message sequence charts. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom |
| 1 | Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled |
Parametric Temporal Logic for "Model Measuring". |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami |
Stutter-Invariant Languages, omega-Automata, and Temporal Logic. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami |
Dynamic Tree Isomorphism via First-Order Updates. |
PODS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami |
Counting Quantifiers, Successor Relations, and Logarithmic Space. |
J. Comput. Syst. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Moshe Y. Vardi, Thomas Wilke |
First-Order Logic with Two Variables and Unary Temporal Logic. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Thomas Wilke |
An Until Hierarchy for Temporal Logic. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Neil Immerman |
Reachability and the Power of Local Ordering. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Neil Immerman |
Tree Canonization and Transitive Closure |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami |
Counting Quantifiers, Successor Relations, and Logarithmic Space. |
Structure in Complexity Theory Conference |
1995 |
DBLP BibTeX RDF |
|
| 1 | Kousha Etessami, Neil Immerman |
Reachability and the Power of Local Ordering. |
STACS |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")