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 8 of 8 publications.
| Rank | Title | Year | Venue | Pagerank |
|---|---|---|---|---|
| 343 | A Message Passing Framework for Logical Query Evaluation | 1986 | SIGMOD | 0.00020669253 |
| 1,297 | The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) | 1989 | PODS | 0.0001126031 |
| 1,522 | Unfounded Sets and Well-Founded Semantics for General Logic Programs | 1988 | PODS | 0.00010502706 |
| 2,984 | Multiple Join Size Estimation by Virtual Domains (extended abstract) | 1993 | PODS | 7.8920597e-05 |
| 3,360 | Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract) | 1990 | PODS | 7.4890377e-05 |
| 3,730 | Safety and Correct Translation of Relational Calculus Formulas | 1987 | PODS | 7.1668598e-05 |
| 5,111 | The Well-Founded Semantics of Aggregation (Extended Abstract) | 1992 | PODS | 6.3602348e-05 |
| 7,824 | Termination Detection in Logic Programs using Argument Sizes* (Extended Abstract) | 1991 | PODS | 5.5368828e-05 |
Previous
Page 1 / 1
Next