Concepedia

William M. Farmer

WM

29

Publications

1.4K

Citations

18

H-Index

1969

Active since

Affiliations

Mitre (United States)(Current)

McMaster University

United States Air Force

William M. Farmer is an author at Mitre (United States) specializing in engineering, automated reasoning, and formal methods.

Top concepts

Publications per year

1969–2020

29

Publications

29

Measurement of Particle Size, Number Density, and Velocity Using a Laser Interferometer

William M. Farmer · Applied Optics · 1972 · 246 citations

, , +14

Security for Mobile Agents: Issues and Requirements

William M. Farmer, Joshua D. Guttman, Vipin Swarup · 1996 · 197 citations

, , +14

IMPS: An interactive mathematical proof system

William M. Farmer, Joshua D. Guttman, F. Javier Thayer · Journal of Automated Reasoning · 1993 · 152 citations

, , +6

A partial functions version of Church's simple theory of types

William M. Farmer · Journal of Symbolic Logic · 1990 · 97 citations

, , +14

The seven virtues of simple type theory

William M. Farmer · Journal of Applied Logic · 2007 · 67 citations

, , +2

Rows per page

1–5 of 29