A Node-Elimination Theorem for Boolean Matrices. - Frank M. Brown (IEEE Trans. Electron. Comput., 1963)

Code Transformation in Sequential Machines. - Frank M. Brown (IEEE Trans. Electron. Comput., 1965)

The Origin of the Method of Iterated Consensus. - Frank M. Brown (IEEE Trans. Computers, 1968)

Comment on "Canonical Programming of Nonlinear and Time-Varying Differential Equations". - Frank M. Brown (IEEE Trans. Computers, 1969)

Comment on "The Determination of the Maximum Compatibility Classes". - Frank M. Brown (IEEE Trans. Computers, 1970)

Reduced Solutions of Boolean Equations. - Frank M. Brown (IEEE Trans. Computers, 1970)

Single-Parameter Solutions for Flip-Flop Equations. - Frank M. Brown (IEEE Trans. Computers, 1971)

Equational Logic. - Frank M. Brown (IEEE Trans. Computers, 1974)

Weighted Realizations of Switching Functions. - Frank M. Brown (IEEE Trans. Computers, 1975)

Equational Realizations of Switching Functions. - Frank M. Brown (IEEE Trans. Computers, 1975)

The Constrained-Input Problem. - Frank M. Brown (IEEE Trans. Computers, 1975)

The Role of Extensible Deductive Systems in Mathematical Reasoning. - Frank M. Brown (AISB (ECAI), 1976)

A Deductive System for elementary Arithmetic. - Frank M. Brown (AISB (ECAI), 1976)

A Theorem Prover for Elementary Set Theory. - Frank M. Brown (IJCAI, 1977)

Inductive Reasoning in Mathematics. - Frank M. Brown; Sten-Åke Tärnlund (IJCAI, 1977)

A Sequent Calculus for Modal Quantificational Logic. - Frank M. Brown (AISB/GI (ECAI), 1978)

Analysing and Representing Natural Language in Logic. - Frank M. Brown; Camilla Schwind (AISB/GI (ECAI), 1978)

Towards the Automation of Set Theory and its Logic. - Frank M. Brown (Artif. Intell., 1978)

Towards the automation of mathematical reasoning. - Frank M. Brown (1978)

Inductive Reasoning on Recursive Equations. - Frank M. Brown; Sten-Åke Tärnlund (Artif. Intell., 1979)

An Investigation Into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning. - Frank M. Brown (Artif. Intell., 1980)

Design of a MUMPS Interpreter. - Frank M. Brown (Softw. Pract. Exp., 1981)

On permutations of wires and states. - Frank M. Brown; Yoshihide Igarashi (Discret. Appl. Math., 1984)

A Logic Programming and Verification System for Recursive Quantificational Logic. - Frank M. Brown; Peiya Liu (IJCAI, 1985)

A Commonsense Theory of Nonmonotonic Reasoning. - Frank M. Brown (CADE, 1986)

An Experimental Logic Based on the Fundamental Deduction Principle. - Frank M. Brown (Artif. Intell., 1986)

SYMEVAL: A Theorem Prover Based on the Experimental Logic. - Frank M. Brown; Seung S. Park (CADE, 1988)

ZPLAN: An Automatic Reasoning System for Situations. - Frank M. Brown; Seung S. Park; Jim Phelps (CADE, 1988)

Boolean reasoning - the logic of boolean equations. - Frank M. Brown (Kluwer, 1990)

Towards Common Sense Planning. - Wah-Bih Liaw; Frank M. Brown; Seung S. Park (ACM Conference on Computer Science, 1990)

Schemata. - Frank M. Brown; Carlos Araya (CADE, 1990)

Cylindric Algebra Equation Solver. - Frank M. Brown; Carlos Araya (CADE, 1990)

SCHEMATA: A Language for Deduction. - Carlos Araya; Frank M. Brown (ECAI, 1990)

A theory of nonmonotonic planning. - Salvinder S. Hundal; Frank M. Brown (ACM Conference on Computer Science, 1991)

Knowledge Representing Schemes for Planning. - Wan-Bih Liaw; Frank M. Brown (ACM Conference on Computer Science, 1992)

A comparison of autoepistemic logic and default logic both generalized so as to allow quantified variables to cross modal scopes. - Frank M. Brown (ISIC, 2003)

Solving modal equivalences. - Frank M. Brown (ISIC, 2003)

Optimization of the ABCD Formula Used for Melanoma Diagnosis. - Alison Alvarez; Stanislaw Bajcar; Frank M. Brown; Jerzy W. Grzymala-Busse; Zdzislaw S. Hippe (IIS, 2003)

Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. - Frank M. Brown (TABLEAUX, 2003)

Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. - Frank M. Brown (TABLEAUX, 2003)