Concepedia

David Hartley

DH

Statistics

Publications

5

Citations

201

H-Index

5

Active since

1989

Affiliations

Lancaster University(Current)

David Hartley is an author at Lancaster University specializing in natural sciences, mathematics, and control-flow analysis.

Publications per year

1989–1995

5

Publications

5

Optimizing stack frame accesses for processors with restricted addressing modes

David Hartley · Software Practice and Experience · 1992 · 118 citations

, , +12

Relativistic elastica

Tekin Dereli, David Hartley, Mehmet Önder et al. · Physics Letters B · 1990 · 31 citations

A constructive implementation of the Cartan-Kähler theory of exterior differential systems

David Hartley, R.W. Tucker · Journal of Symbolic Computation · 1991 · 23 citations

, , +11

Gröbner Bases in Clifford and Grassmann algebras

David Hartley, Philip A. Tuckey · Journal of Symbolic Computation · 1995 · 16 citations

, , +12

On the Einstein-Maxwell equations for a 'stiff' membrane

David Hartley, Mehmet Önder, R.W. Tucker · Classical and Quantum Gravity · 1989 · 13 citations

, , +16

1–5 of 5