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 |
|---|---|---|---|---|
| 349 | A Message Passing Framework for Logical Query Evaluation | 1986 | SIGMOD | 0.00020255174 |
| 1,325 | The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) | 1989 | PODS | 0.00011009279 |
| 1,556 | Unfounded Sets and Well-Founded Semantics for General Logic Programs | 1988 | PODS | 0.00010267435 |
| 3,005 | Multiple Join Size Estimation by Virtual Domains (extended abstract) | 1993 | PODS | 7.7621043e-05 |
| 3,417 | Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract) | 1990 | PODS | 7.3218419e-05 |
| 3,817 | Safety and Correct Translation of Relational Calculus Formulas | 1987 | PODS | 7.0070587e-05 |
| 5,231 | The Well-Founded Semantics of Aggregation (Extended Abstract) | 1992 | PODS | 6.2184106e-05 |
| 7,984 | Termination Detection in Logic Programs using Argument Sizes* (Extended Abstract) | 1991 | PODS | 5.4126988e-05 |
Previous
Page 1 / 1
Next