Allen Van Gelder

Allen Van Gelder publication distribution in Engineering and Technology in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Engineering and Technology in 2026. The highlighted bar marks where Allen Van Gelder sits on this spectrum.

Allen Van Gelder D-index placement in Engineering and Technology in 2026

The chart shows the D-index (discipline H-index) distribution of Engineering and Technology scientists ranked by Research.com in 2026. The highlighted bar marks where Allen Van Gelder sits on this spectrum.

Overview

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

• Negation as failure using tight derivations for general logic programs

  A. V. Gelder

  327
  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

• Termination Detection in Logic Programs using Argument Sizes.

  Kirack Sohn;Allen Van Gelder

  109
  Citations

• The alternating fixpoint of logic programs with negation

  Unknown

  101
  Citations

• The well-founded semantics of aggregation

  Allen Van Gelder

  95
  Citations

• Using the TPTP language for writing derivations and finite interpretations

  Geoff Sutcliffe;Stephan Schulz;Koen Claessen;Allen Van Gelder

  93
  Citations

• Another look at graph coloring via propositional satisfiability

  Allen Van Gelder

  92
  Citations

• Fast and easy reach-cone joint limits

  Jane Wilhelms;Allen Van Gelder

  58
  Citations