Moshe Y. Vardi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Maurizio Lenzerini :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Which papers of Maurizio Lenzerini cite Moshe Y. Vardi Ordered by citing publication [Change the order to 'ordered by cited' ]
Marco Cadoli , Luigi Palopoli , Maurizio Lenzerini Datalog and Description Logics: Expressive Power. [Citation Graph (1, 19)][DBLP ] DBPL, 1997, pp:281-298 [Conf ] Cites:
Diego Calvanese , Maurizio Lenzerini On the Interaction Between ISA and Cardinality Constraints. [Citation Graph (2, 13)][DBLP ] ICDE, 1994, pp:204-213 [Conf ] Cites:
Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini On the Decidability of Query Containment under Constraints. [Citation Graph (5, 24)][DBLP ] PODS, 1998, pp:149-158 [Conf ] Cites:
Surajit Chaudhuri , Moshe Y. Vardi On the Equivalence of Recursive and Nonrecursive Datalog Programs. [Citation Graph (16, 31)][DBLP ] PODS, 1992, pp:55-66 [Conf ]
Moshe Y. Vardi , Pierre Wolper Automata-Theoretic Techniques for Modal Logics of Programs. [Citation Graph (3, 0)][DBLP ] J. Comput. Syst. Sci., 1986, v:32, n:2, pp:183-221 [Journal ]
Ashok K. Chandra , Moshe Y. Vardi The Implication Problem for Functional and Inclusion Dependencies is Undecidable. [Citation Graph (15, 0)][DBLP ] SIAM J. Comput., 1985, v:14, n:3, pp:671-677 [Journal ]
Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi View-Based Query Processing for Regular Path Queries with Inverse. [Citation Graph (2, 31)][DBLP ] PODS, 2000, pp:58-66 [Conf ] Cites:
Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi Answering Regular Path Queries Using Views. [Citation Graph (3, 0)][DBLP ] ICDE, 2000, pp:389-398 [Conf ]
Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi Rewriting of Regular Expressions and Regular Path Queries. [Citation Graph (6, 31)][DBLP ] PODS, 1999, pp:194-204 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Moshe Y. Vardi A Note on the Reduction of Two-Way Automata to One-Way Automata. [Citation Graph (1, 0)][DBLP ] Inf. Process. Lett., 1989, v:30, n:5, pp:261-264 [Journal ]
Giuseppe Di Battista , Maurizio Lenzerini A Deductive Method for Entity-Relationship Modeling. [Citation Graph (3, 14)][DBLP ] VLDB, 1989, pp:13-21 [Conf ] Cites:
Paris C. Kanellakis , Stavros S. Cosmadakis , Moshe Y. Vardi Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract) [Citation Graph (11, 0)][DBLP ] STOC, 1983, pp:264-277 [Conf ]
Ashok K. Chandra , Moshe Y. Vardi The Implication Problem for Functional and Inclusion Dependencies is Undecidable. [Citation Graph (15, 0)][DBLP ] SIAM J. Comput., 1985, v:14, n:3, pp:671-677 [Journal ]
Giuseppe Di Battista , Maurizio Lenzerini Deductive Entity-Relationship Modeling. [Citation Graph (5, 22)][DBLP ] IEEE Trans. Knowl. Data Eng., 1993, v:5, n:3, pp:439-450 [Journal ] Cites:
Paris C. Kanellakis , Stavros S. Cosmadakis , Moshe Y. Vardi Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract) [Citation Graph (11, 0)][DBLP ] STOC, 1983, pp:264-277 [Conf ]
Ashok K. Chandra , Moshe Y. Vardi The Implication Problem for Functional and Inclusion Dependencies is Undecidable. [Citation Graph (15, 0)][DBLP ] SIAM J. Comput., 1985, v:14, n:3, pp:671-677 [Journal ]