Security for mobile agents: Authentication and state appraisal WM Farmer, JD Guttman, V Swarup Computer Security—ESORICS 96: 4th European Symposium on Research in …, 1996 | 430 | 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 | 389 | 1996 |

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

Little theories WM Farmer, JD Guttman, F Javier Thayer Automated Deduction—CADE-11: 11th International Conference on Automated …, 1992 | 193 | 1992 |

A partial functions version of Church's simple theory of types WM Farmer The Journal of Symbolic Logic 55 (3), 1269-1291, 1990 | 179 | 1990 |

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

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

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

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

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

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

Formalizing undefinedness arising in calculus WM Farmer Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004 | 38 | 2004 |

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

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

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

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

Big math and the one-brain barrier: The tetrapod model of mathematical knowledge J Carette, WM Farmer, M Kohlhase, F Rabe The Mathematical Intelligencer 43, 78-87, 2021 | 33* | 2021 |

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

A review of mathematical knowledge management J Carette, WM Farmer International Conference on Intelligent Computer Mathematics, 233-246, 2009 | 32 | 2009 |

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