Tom Murphy is an author at Carnegie Mellon University specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationHealthRoboticsAutomation
Publications per year
1957–2008
4
4
Charles H. Mack, Tom Murphy, N. L. Webb · Journal of the Royal Statistical Society Series B (Statistical Methodology) · 1957 · 118 citations
Robert Harper, Karl Crary, Tom Murphy · 2008 · 42 citations
A symmetric modal lambda calculus for distributed computing
Tom Murphy, Karl Crary, Robert Harper et al. · 2004 · 33 citations
A separate compilation extension to standard ML
David Swasey, Tom Murphy, Karl Crary et al. · 2006 · 12 citations
Rows per page
1–4 of 4