Moshe Y. Vardi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Oded Shmueli :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Which papers of Oded Shmueli cite Moshe Y. Vardi Ordered by citing publication [Change the order to 'ordered by cited' ]
Inderpal Singh Mumick , Oded Shmueli Universal Finiteness and Satisfiability. [Citation Graph (1, 19)][DBLP ] PODS, 1994, pp:190-200 [Conf ] Cites:
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP ] LICS, 1987, pp:106-115 [Conf ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Tools for Datalog Boundedness. [Citation Graph (8, 18)][DBLP ] PODS, 1991, pp:1-12 [Conf ]
Moshe Y. Vardi Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. [Citation Graph (22, 23)][DBLP ] PODS, 1988, pp:341-351 [Conf ]
Stavros S. Cosmadakis , Haim Gaifman , Paris C. Kanellakis , Moshe Y. Vardi Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP ] STOC, 1988, pp:477-490 [Conf ]
Alon Y. Levy , Inderpal Singh Mumick , Yehoshua Sagiv , Oded Shmueli Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. [Citation Graph (13, 9)][DBLP ] PODS, 1993, pp:109-122 [Conf ] Cites:
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP ] LICS, 1987, pp:106-115 [Conf ]
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 Automata Theory for Database Theoreticans. [Citation Graph (7, 21)][DBLP ] PODS, 1989, pp:83-92 [Conf ]
Stavros S. Cosmadakis , Haim Gaifman , Paris C. Kanellakis , Moshe Y. Vardi Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP ] STOC, 1988, pp:477-490 [Conf ]
Oded Shmueli , Shalom Tsur , Carlo Zaniolo Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL). [Citation Graph (7, 11)][DBLP ] PODS, 1988, pp:15-28 [Conf ] Cites:
Nathan Goodman , Oded Shmueli Tree Queries: A Simple Class of Relational Queries. [Citation Graph (18, 26)][DBLP ] ACM Trans. Database Syst., 1982, v:7, n:4, pp:653-677 [Journal ] Cites: