|
Xiaolei Qian:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Michael Benedikt:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Michael Benedikt cite Xiaolei QianOrdered by citing publication[Change the order to 'ordered by cited']
-
Michael Benedikt, H. Jerome Keisler
Expressive Power of Unary Counters. [Citation Graph (1, 15)][DBLP] ICDT, 1997, pp:291-305 [Conf] Cites:
-
Michael Benedikt, Timothy Griffin, Leonid Libkin
Verifiable Properties of Database Transactions. [Citation Graph (2, 23)][DBLP] PODS, 1996, pp:117-127 [Conf] Cites:
-
Xiaolei Qian
An Effective Method for Integrity Constraint Simplification. [Citation Graph (9, 17)][DBLP] ICDE, 1988, pp:338-345 [Conf]
-
Xiaolei Qian
The Expressive Power of the Bounded-Iteration Construct. [Citation Graph (4, 0)][DBLP] Acta Inf., 1991, v:28, n:7, pp:631-656 [Journal]
-
Xiaolei Qian
An Axiom System for Database Transactions. [Citation Graph (7, 0)][DBLP] Inf. Process. Lett., 1990, v:36, n:4, pp:183-189 [Journal]
|