YannakakisMihalis

发表

Model checking of hierarchical state machines

AlurRajeev, YannakakisMihalis, 1998 .

The input/output complexity of transitive closure

YannakakisMihalis, D UllmanJeffrey, 1990 .

Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations

YannakakisMihalis, EtessamiKousha, 2009 .

Linear approximation of shortest superstrings

LiMing, YannakakisMihalis, BlumAvrim, 1994 .

A Theory of Safe Locking Policies in Database Systems

YannakakisMihalis, 1982 .

Perspectives on database theory

YannakakisMihalis, 1996 .

Recursive Markov Decision Processes and Recursive Stochastic Games

YannakakisMihalis, EtessamiKousha, 2015 .

Minimum and maximum delay problems in real-time systems

YannakakisMihalis, CourcoubetisCostas, 1992 .

Inference of Message Sequence Charts

AlurRajeev, YannakakisMihalis, EtessamiKousha, 2003 .

Equivalences Among Relational Expressions with the Union and Difference Operators

SagivYehoshua, YannakakisMihalis, 1980 .

On the Complexity of Testing Implications of Functional and Join Dependencies

SagivYehoshua, YannakakisMihalis, MaierDavid, 1981 .

The Effect of a Connectivity Requirement on the Complexity of Maximum Subgraph Problems

YannakakisMihalis, 1979 .

Efficiently computing succinct trade-off curves

YannakakisMihalis, VassilvitskiiSergei, 2005 .

Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

YannakakisMihalis, EtessamiKousha, WojtczakDominik, 2010 .

Serializability by Locking

YannakakisMihalis, 1984 .

Analysis of recursive state machines

AlurRajeev, YannakakisMihalis, RepsThomas, 2005 .

Upper Bounds for Newtons Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata

YannakakisMihalis, EtessamiKousha, StewartAlistair, 2015 .

The complexity of restricted spanning tree problems

YannakakisMihalis, H PapadimitriouChristos, 1982 .

On the hardness of approximating minimization problems

YannakakisMihalis, LundCarsten, 1994 .

The Complexity of Non-Monotone Markets

YannakakisMihalis, ChenXi, PaparasDimitris, 2017 .

On the Desirability of Acyclic Database Schemes

YannakakisMihalis, BeeriCatriel, FaginRonald, 1983 .

Market equilibrium under separable, piecewise-linear, concave utilities

YannakakisMihalis, V VaziraniVijay, 2011 .

REACT to Cyber-Physical Attacks on Power grids (Extended Abstract)

YannakakisMihalis, ZussmanGil, SoltanSaleh, 2019 .

The Traveling Salesman Problem with Distances One and Two

YannakakisMihalis, H PapadimitriouChristos, 1993 .

A polynomial algorithm for the min-cut linear arrangement of trees

YannakakisMihalis, 1985 .