Concepedia

Neil D. Jones

ND

67

Publications

4.6K

Citations

35

H-Index

1968

Active since

Affiliations

University of Copenhagen(Current)

University of Kansas

Paracelsus Medical University

Aarhus University

Medical University of Vienna

Neil D. Jones is an author at University of Copenhagen specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningSoftware AnalysisFormal VerificationComputational ComplexityCompilersProgramming Languages

Publications per year

1968–2024

67

Publications

67

The size-change principle for program termination

Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram · 2001 · 376 citations · Full text

Space-bounded reducibility among combinatorial problems

Neil D. Jones · Journal of Computer and System Sciences · 1975 · 362 citations

Engineering, Combinatorial Problem, Computational Complexity +4

Flow analysis and optimization of LISP-like structures

Neil D. Jones, Steven S. Muchnick · 1979 · 306 citations

Engineering, Compiler Technology, Mechanical Engineering +25

Complete problems for deterministic polynomial time

Neil D. Jones, William T. Laaser · Theoretical Computer Science · 1976 · 278 citations

Mathematical Programming, Deterministic System, Computational Complexity Theory +6

Mix: A self-applicable partial evaluator for experiments in compiler generation

Neil D. Jones, Peter Sestoft, Harald Søndergaard · LISP and Symbolic Computation · 1989 · 254 citations

Engineering, Program Analysis, Compiler Technology +13

Rows per page

1–5 of 67