| 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 | Vijay V. Vazirani, Mihalis Yannakakis |
Market equilibrium under separable, piecewise-linear, concave utilities. |
J. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis |
Temporal Synthesis for Bounded Systems and Environments. |
STACS |
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 | Kousha Etessami, Mihalis Yannakakis |
On the Complexity of Nash Equilibria and Other Fixed Points. |
SIAM J. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantinos Daskalakis, Ilias Diakonikolas, Mihalis Yannakakis |
How Good is the Chord Algorithm?. |
SODA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Vijay V. Vazirani, Mihalis Yannakakis |
Market Equilibrium under Separable, Piecewise-Linear, Concave Utilities. |
ICS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Computation of Equilibria and Stable Solutions. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Equilibria, fixed points, and complexity classes. |
Computer Science Review |
2009 |
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 | Ilias Diakonikolas, Mihalis Yannakakis |
Small Approximate Pareto Sets for Biobjective Shortest Paths and Other Problems. |
SIAM J. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Computational Aspects of Equilibria. |
SAGT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Recursive Concurrent Stochastic Games. |
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 | Mihalis Yannakakis |
Equilibria, Fixed Points, and Complexity Classes |
CoRR |
2008 |
DBLP 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 | Ilias Diakonikolas, Mihalis Yannakakis |
Small Approximate Pareto Sets for Bi-objective Shortest Paths and Other Problems |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Recursive Concurrent Stochastic Games |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ilias Diakonikolas, Mihalis Yannakakis |
Succinct approximate convex pareto curves. |
SODA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis |
Recursive Stochastic Games with Positive Rewards. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Equilibria, Fixed Points, and Complexity Classes. |
STACS |
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 | Mihalis Yannakakis |
Automata, Probability, and Recursion. |
CIAA |
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 | Ilias Diakonikolas, Mihalis Yannakakis |
Small Approximate Pareto Sets for Bi-objective Shortest Paths and Other Problems. |
APPROX-RANDOM |
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 | Alex Groce, Doron Peled, Mihalis Yannakakis |
Adaptive Model Checking. |
Logic Journal of the IGPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Succinct Approximation of Trade-Off Curves. |
WINE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
Recursive Concurrent Stochastic Games. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Shu, David Lee, Mihalis Yannakakis |
A note on broadcast encryption key management with applications to large scale emergency alert systems. |
IPDPS |
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 | Mihalis Yannakakis |
Analysis of Recursive Probabilistic Models. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Recursion and Probability. |
IFIP TCS |
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 | Sergei Vassilvitskii, Mihalis Yannakakis |
Efficiently computing succinct trade-off curves. |
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 | Damon Mosk-Aoyama, Mihalis Yannakakis |
Testing hierarchical systems. |
SODA |
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 | 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 | Naveen Garg, Vijay V. Vazirani, Mihalis Yannakakis |
Multiway cuts in node weighted graphs. |
J. Algorithms |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sampath Kannan, Mihalis Yannakakis |
Guest Editors' foreword. |
J. Comput. Syst. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei Vassilvitskii, Mihalis Yannakakis |
Efficiently Computing Succinct Trade-Off Curves. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Testing, Optimizaton, and Games. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lee, Christine Liu, Mihalis Yannakakis |
Protocol System Integration, Interface and Interoperability. |
OPODIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Testing, Optimizaton, and Games. |
LICS |
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 | Venkatesan Guruswami, Sanjeev Khanna, Rajmohan Rajaraman, F. Bruce Shepherd, Mihalis Yannakakis |
Near-optimal hardness results and approximation algorithms for edge-disjoint paths and related problems. |
J. Comput. Syst. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis |
Compression of Partially Ordered Strings. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lee, Mihalis Yannakakis |
Closed Partition Lattice and Machine Decomposition. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
machine decomposition, closed partition lattice, Finite state machine |
| 1 | Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis |
Black Box Checking. |
Journal of Automata, Languages and Combinatorics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Alex Groce, Doron Peled, Mihalis Yannakakis |
Adaptive Model Checking. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
Learning Algorithms, Automatic Verification, Black Box Testing |
| 1 | Mihalis Yannakakis |
Testing and Checking of Finite State Systems. |
LATIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Groce, Doron Peled, Mihalis Yannakakis |
AMC: An Adaptive Model Checker. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Mihalis Yannakakis |
Model checking of hierarchical state machines. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, statecharts, Hierarchical state machines |
| 1 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Realizability and Verification of MSC Graphs. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Approximation of Multiobjective Optimization Problems. |
WADS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Analysis of Recursive State Machines. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos H. Papadimitriou, Mihalis Yannakakis |
Multiobjective Query Optimization. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Scott Vitter, Paul G. Spirakis, Mihalis Yannakakis (eds.) |
Proceedings on 33rd Annual ACM Symposium on Theory of Computing, July 6-8, 2001, Heraklion, Crete, Greece |
STOC |
2001 |
DBLP BibTeX RDF |
|
| 1 | Kenneth A. Ross, Charu C. Aggarwal, Alfons Kemper, Sunita Sarawagi, S. Sudarshan, Mihalis Yannakakis |
Reminiscences on Influential Papers. |
SIGMOD Record |
2000 |
DBLP BibTeX RDF |
|
| 1 | Edward G. Coffman Jr., Costas Courcoubetis, M. R. Garey, David S. Johnson, Peter W. Shor, Richard R. Weber, Mihalis Yannakakis |
Bin Packing with Discrete Item Sizes, Part I: Perfect Packing Theorems and the Average Case Behavior of Optimal Packings. |
SIAM J. Discrete Math. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Mihalis Yannakakis |
From Rule-based to Automata-based Testing. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Hierarchical State Machines. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos H. Papadimitriou, Mihalis Yannakakis |
On the Approximability of Trade-offs and Optimal Access of Web Sources. |
FOCS |
2000 |
DBLP DOI BibTeX RDF |
Web sources, optimal access, cost criteria, Pareto curve, polynomially succinct curve, multiple linear objectives, cost-time-quality trade-off, information retrieval, World-Wide Web, computational complexity, complexity, approximability, optimisation, multiobjective optimization, information resources, trade-offs, combinatorial mathematics, combinatorial optimization problem, hyperplane |
| 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 | Christos H. Papadimitriou, Mihalis Yannakakis |
On the Complexity of Database Queries. |
J. Comput. Syst. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Mihalis Yannakakis |
Model Checking of Message Sequence Charts. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis |
Black Box Checking. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Santosh Vempala, Mihalis Yannakakis |
A Convex Relaxation for the Asymmetric TSP. |
SODA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Sampath Kannan, Mihalis Yannakakis |
Communicating Hierarchical State Machines. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesan Guruswami, Sanjeev Khanna, Rajmohan Rajaraman, F. Bruce Shepherd, Mihalis Yannakakis |
Near-Optimal Hardness Results and Approximation Algorithms for Edge-Disjoint Paths and Related Problems. |
STOC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi Crescenzi, Deborah Goldman, Christos H. Papadimitriou, Antonio Piccolboni, Mihalis Yannakakis |
On the Complexity of Protein Folding. |
Journal of Computational Biology |
1998 |
DBLP BibTeX RDF |
|
| 1 | Thomas F. La Porta, David Lee, Yow-Jian Lin, Mihalis Yannakakis |
Protocol Feature Interactions. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Pierluigi Crescenzi, Deborah Goldman, Christos H. Papadimitriou, Antonio Piccolboni, Mihalis Yannakakis |
On the complexity of protein folding (abstract). |
RECOMB |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis, David Lee |
Testing for Finite State Systems. |
CSL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Mihalis Yannakakis |
Model Checking of Hierarchical State Machines. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi Crescenzi, Deborah Goldman, Christos H. Papadimitriou, Antonio Piccolboni, Mihalis Yannakakis |
On the Complexity of Protein Folding (Extended Abstract). |
STOC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Naveen Garg, Vijay V. Vazirani, Mihalis Yannakakis |
Primal-Dual Approximation Algorithms for Integral Flow and Multicut in Trees. |
Algorithmica |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos H. Papadimitriou, Mihalis Yannakakis |
Tie-Breaking Semantics and Structural Totality. |
J. Comput. Syst. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis, David Lee |
An Efficient Algorithm for Minimizing Real-Time Transition Systems. |
Formal Methods in System Design |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis |
Existence of Reduction Hierarchies. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos H. Papadimitriou, Mihalis Yannakakis |
On the Complexity of Database Queries. |
PODS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Perspectives on database theory. |
SIGACT News |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos H. Papadimitriou, Mihalis Yannakakis |
On Limited Nondeterminism and the Complexity of the V-C Dimension. |
J. Comput. Syst. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Naveen Garg, Vijay V. Vazirani, Mihalis Yannakakis |
Approximate Max-Flow Min-(Multi)Cut Theorems and Their Applications. |
SIAM J. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Elias Koutsoupias, Christos H. Papadimitriou, Mihalis Yannakakis |
Searching a Fixed Graph. |
ICALP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lee, Mihalis Yannakakis |
Optimization problems from feature testing of communication protocols. |
ICNP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis |
Timing Verification by Successive Approximation |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Costas Courcoubetis, Mihalis Yannakakis |
The Complexity of Probabilistic Verification. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
EXPTIME-complete, model checking, temporal logic, Markov chain, automata, probabilistic algorithm, PSPACE-complete |
| 1 | Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis |
On Datalog vs. Polynomial Time. |
J. Comput. Syst. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis, David Lee |
Testing Finite State Machines: Fault Detection. |
J. Comput. Syst. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Perspectives on Database Theory. |
FOCS |
1995 |
DBLP DOI BibTeX RDF |
database industry, data structures, data structures, abstractions, database management systems, database theory, database theory, relational model |
| 1 | Mihalis Yannakakis (eds.) |
Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 22-25, 1995, San Jose, California, USA |
|
1995 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Alur, Costas Courcoubetis, Mihalis Yannakakis |
Distinguishing tests for nondeterministic and probabilistic machines. |
STOC |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")