Security for mobile agents: Authentication and state appraisal WM Farmer, JD Guttman, V Swarup European Symposium on Research in Computer Security, 118-130, 1996 | 405 | 1996 |

Security for mobile agents: Issues and requirements WM Farmer, JD Guttman, V Swarup Proceedings of the 19th national information systems security conference 2 …, 1996 | 382 | 1996 |

IMPS: An interactive mathematical proof system WM Farmer, JD Guttman, FJ Thayer Journal of Automated Reasoning 11 (2), 213-248, 1993 | 288 | 1993 |

Little theories WM Farmer, JD Guttman, FJ Thayer International Conference on Automated Deduction, 567-581, 1992 | 176 | 1992 |

A partial functions version of Church's simple theory of types WM Farmer Journal of Symbolic Logic, 1269-1291, 1990 | 152 | 1990 |

A unification algorithm for second-order monadic terms WM Farmer Annals of Pure and applied Logic 39 (2), 131-174, 1988 | 87 | 1988 |

The seven virtues of simple type theory WM Farmer Journal of Applied Logic 6 (3), 267-286, 2008 | 78 | 2008 |

Simple second-order languages for which unification is undecidable WM Farmer Theoretical Computer Science 87 (1), 25-41, 1991 | 78 | 1991 |

Theory interpretation in simple type theory WM Farmer International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993 | 71 | 1993 |

Redex capturing in term graph rewriting. WM Farmer, RJ Watro INT. J. FOUND. COMP. SCI. 1 (4), 369-386, 1990 | 58* | 1990 |

A simple type theory with partial functions and subtypes WM Farmer Annals of Pure and Applied Logic 64 (3), 211-240, 1993 | 55 | 1993 |

An infrastructure for intertheory reasoning WM Farmer International Conference on Automated Deduction, 115-131, 2000 | 35 | 2000 |

Reasoning about partial functions with the aid of a computer WM Farmer Erkenntnis 43 (3), 279-294, 1995 | 35* | 1995 |

MKM: a new interdisciplinary field of research WM Farmer ACM SIGSAM Bulletin 38 (2), 47-52, 2004 | 33 | 2004 |

A set theory with support for partial functions WM Farmer, JD Guttman Studia Logica 66 (1), 59-78, 2000 | 33 | 2000 |

The IMPS user’s manual WM Farmer, JD Guttman, FJ Thayer The MITRE Corporation, 1993 | 30 | 1993 |

IMPS: An updated system description WM Farmer, JD Guttman, FJT Fábrega Automated Deduction—CADE-13, 298-302, 1996 | 28 | 1996 |

A correctness proof for combinator reduction with cycles WM Farmer, JD Ramsdell, RJ Watro ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (1), 123-134, 1990 | 28 | 1990 |

An overview of a formal framework for managing mathematics WM Farmer, MV Mohrenschildt Annals of Mathematics and Artificial Intelligence 38 (1), 165-191, 2003 | 27* | 2003 |

A unification-theoretic method for investigating the k-provability problem WM Farmer Annals of Pure and Applied Logic 51 (3), 173-214, 1991 | 27 | 1991 |