Neil V. Murray

Statistics

Publications

Citations

401

H-Index

Active since

1982

Affiliations

University at Albany, State University of New York(Current)

University of New Haven

Albany State University

Intel (United States)

Wellesley College

Neil V. Murray is an author at University at Albany, State University of New York specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSemanticsProof ComplexityJournalismProbabilityData Science

Publications per year

1982–2004

Publications

Completely non-clausal theorem proving

Neil V. Murray · Artificial Intelligence · 1982 · 138 citations

Proof System, Proof Theory, Proof Complexity +1

Dissolution

Neil V. Murray, Erik Rosenthal · Journal of the ACM · 1993 · 50 citations · Full text

New Yorkview Profile, Journal Citation Report, New York +2

Inference with path resolution and semantic graphs

Neil V. Murray, Erik Rosenthal · Journal of the ACM · 1987 · 48 citations · Full text

Engineering, Computational Complexity, Higher-order Logic +16

CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates

Anavai Ramesh, George Becker, Neil V. Murray · Journal of Automated Reasoning · 1997 · 46 citations

A Framework for Automated Reasoning in Multiple-Valued Logics

James Lu, Neil V. Murray, Erik Rosenthal · Journal of Automated Reasoning · 1998 · 32 citations

1–5 of 11