Partial evaluation and automatic program generation ND Jones, CK Gomard, P Sestoft Peter Sestoft, 1993 | 2192 | 1993 |

The size-change principle for program termination CS Lee, ND Jones, AM Ben-Amram Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001 | 531 | 2001 |

Flow analysis and optimization of LISP-like structures ND Jones, SS Muchnick Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of …, 1979 | 470 | 1979 |

Space-bounded reducibility among combinatorial problems ND Jones Journal of Computer and System Sciences 11 (1), 68-85, 1975 | 424 | 1975 |

Mix: a self-applicable partial evaluator for experiments in compiler generation ND Jones, P Sestoft, H Søndergaard Lisp and Symbolic computation 2 (1), 9-50, 1989 | 414 | 1989 |

Complete problems for deterministic polynomial time ND Jones, WT Laaser Proceedings of the sixth annual ACM symposium on Theory of computing, 40-46, 1974 | 391 | 1974 |

An introduction to partial evaluation ND Jones ACM Computing Surveys (CSUR) 28 (3), 480-503, 1996 | 374 | 1996 |

An experiment in partial evaluation: the generation of a compiler generator ND Jones, P Sestoft, H Søndergaard International Conference on Rewriting Techniques and Applications, 124-140, 1985 | 355 | 1985 |

Computability and complexity: from a programming perspective ND Jones MIT press, 1997 | 340 | 1997 |

Complexity of some problems in Petri nets ND Jones, LH Landweber, YE Lien Theoretical Computer Science 4 (3), 277-299, 1977 | 333 | 1977 |

Program flow analysis: Theory and applications SS Muchnick, ND Jones Prentice-Hall, 1981 | 320 | 1981 |

Markers and mapping: we are all geneticists now N Jones, H Ougham, H Thomas The New Phytologist 137 (1), 165-177, 1997 | 315 | 1997 |

A flexible approach to interprocedural data flow analysis and programs with recursive data structures ND Jones, SS Muchnick Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of …, 1982 | 280 | 1982 |

Abstract interpretation: a semantics-based tool for program analysis F Nielson, N Jones Handbook of logic in computer science 4, 527-636, 1994 | 270 | 1994 |

B chromosomes in plants: escapees from the A chromosome genome? N Jones, A Houben Trends in plant science 8 (9), 417-423, 2003 | 258 | 2003 |

A positive supercompiler MH Soerensen, R Glück, ND Jones Journal of functional programming 6 (6), 811-838, 1996 | 229 | 1996 |

Markers and mapping revisited: finding your gene N Jones, H Ougham, H Thomas, I Pašakinskienė New phytologist 183 (4), 935-966, 2009 | 207 | 2009 |

Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987 D Bjorner, ND Jones, AP Ershov Elsevier Science Inc., 1988 | 186 | 1988 |

A partial evaluator for the untyped lambda-calculus CK Gomard, ND Jones Journal of functional programming 1 (1), 21-69, 1991 | 182 | 1991 |

New problems complete for nondeterministic log space ND Jones, YE Lien, WT Laaser Mathematical systems theory 10 (1), 1-17, 1976 | 179 | 1976 |