Shamim A. Naqvi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Moshe Y. Vardi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Which papers of Moshe Y. Vardi cite Shamim A. Naqvi Ordered by citing publication [Change the order to 'ordered by cited' ]
Yehoshua Sagiv , Moshe Y. Vardi Safety of Datalog Queries over Infinite Databases. [Citation Graph (8, 20)][DBLP ] PODS, 1989, pp:160-171 [Conf ] Cites:
Moshe Y. Vardi Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. [Citation Graph (22, 23)][DBLP ] PODS, 1988, pp:341-351 [Conf ] Cites:
Gabriel M. Kuper , Moshe Y. Vardi The Logical Data Model. [Citation Graph (6, 38)][DBLP ] ACM Trans. Database Syst., 1993, v:18, n:3, pp:379-413 [Journal ] Cites:
Catriel Beeri , Shamim A. Naqvi , Raghu Ramakrishnan , Oded Shmueli , Shalom Tsur Sets and Negation in a Logic Database Language (LDL1). [Citation Graph (53, 11)][DBLP ] PODS, 1987, pp:21-37 [Conf ]
Lawrence J. Henschen , Shamim A. Naqvi On compiling queries in recursive first-order databases. [Citation Graph (92, 0)][DBLP ] J. ACM, 1984, v:31, n:1, pp:47-85 [Journal ]