Allen Van Gelder

Best Publications

• The well-founded semantics for general logic programs

  Allen Van Gelder;Kenneth A. Ross;John S. Schlipf

  2507
  Citations

• Octrees for faster isosurface generation

  Jane Wilhelms;Allen Van Gelder

  903
  Citations

• The Alternating Fixpoint of Logic Programs with Negation

  Unknown

  468
  Citations

• Unfounded sets and well-founded semantics for general logic programs

  Allen Van Gelder;Kenneth Ross;John S. Schlipf

  449
  Citations

• Direct volume rendering with shading via three-dimensional textures

  Allen Van Gelder;Kwansik Kim

  349
  Citations

• Anatomically based modeling

  Jane Wilhelms;Allen Van Gelder

  346
  Citations

• A coherent projection approach for direct volume rendering

  Jane Wilhelms;Allen Van Gelder

  322
  Citations

• Topological considerations in isosurface generation

  Allen van Gelder;Jane Wilhelms

  312
  Citations

• Approximate simulation of elastic membranes by triangulated spring meshes

  Allen Van Gelder

  274
  Citations

• Parallel complexity of logical query programs

  Jeffrey D. Ullman;Allen Van Gelder

  222
  Citations

• Design Overview of the NAIL! System

  Katherine A. Morris;Jeffrey D. Ullman;Allen Van Gelder

  179
  Citations

• Efficient tests for top-down termination of logical rules

  Jeffrey D. Ullman;Allen Van Gelder

  172
  Citations

• SYSTEM/U: a database system based on the universal relation assumption

  Henry F. Korth;Gabriel M. Kuper;Joan Feigenbaum;Allen van Gelder

  160
  Citations

• Topological considerations in isosurface generation extended abstract

  Jane Wilhelms;Allen Van Gelder

  155
  Citations

• Multi-dimensional trees for controlled volume rendering and compression

  Jane Wilhelms;Allen Van Gelder

  133
  Citations

• A perspective on certain polynomial-time solvable classes of satisfiability

  John Franco;Allen Van Gelder

  124
  Citations

• Safety and translation of relational calculus

  Allen Van Gelder;Rodney W. Topor

  112
  Citations

• A coherent projection approach for direct volume rendering

  Unknown

  106
  Citations

• Termination detection in logic programs using argument sizes (extended abstract)

  Unknown

  104
  Citations

• The alternating fixpoint of logic programs with negation

  Unknown

  101
  Citations