Allen Van Gelder
Affiliation Timeline
- University of California Santa Cruz Most frequent
- Stanford University
- INRIA
Incoming Non-self Citations Over Time
Total yearly non-self incoming citations across all papers by this author.
Publications by Paper Pagerank
Showing all 8 publications. Total citations include self and non-self citations.
| Rank | Title | Year | Venue | Total Citations | Pagerank |
|---|---|---|---|---|---|
| 351 | A Message Passing Framework for Logical Query Evaluation | 1986 | SIGMOD | 11 | 0.00020181666 |
| 1,338 | The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) | 1989 | PODS | 13 | 0.00010967767 |
| 1,557 | Unfounded Sets and Well-Founded Semantics for General Logic Programs | 1988 | PODS | 16 | 0.00010228729 |
| 3,009 | Multiple Join Size Estimation by Virtual Domains (extended abstract) | 1993 | PODS | 6 | 7.7439468e-05 |
| 3,430 | Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract) | 1990 | PODS | 6 | 7.294233e-05 |
| 3,823 | Safety and Correct Translation of Relational Calculus Formulas | 1987 | PODS | 4 | 6.9806302e-05 |
| 5,257 | The Well-Founded Semantics of Aggregation (Extended Abstract) | 1992 | PODS | 3 | 6.1949203e-05 |
| 8,004 | Termination Detection in Logic Programs using Argument Sizes* (Extended Abstract) | 1991 | PODS | 2 | 5.3922505e-05 |