The Number of Classes of Invertible Boolean Functions. - Michael A. Harrison (J. ACM, 1963)

Algebraic Properties of Symmetric and Partially Symmetric Boolean Functions. - Richard F. Arnold; Michael A. Harrison (IEEE Trans. Electron. Comput., 1963)

The Number of Equivalence Classes of Boolean Functions Under Groups Containing Negation. - Michael A. Harrison (IEEE Trans. Electron. Comput., 1963)

A census of finite automata (extended summary) - Michael A. Harrison (SWCT, 1964)

A Remark on Uniform Distribution. - Michael A. Harrison (IEEE Trans. Electron. Comput., 1964)

On the Error Correcting Capacity of Finite Automata - Michael A. Harrison (Inf. Control., 1965)

One-Way Stack Automata (Extended Abstract) - Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (SWAT, 1966)

On Asymptotic Estimates in Switching and Automata Theory. - Michael A. Harrison (J. ACM, 1966)

The Theory of Sequential Relations - Jim Gray 001; Michael A. Harrison (Inf. Control., 1966)

Two-Way Pushdown Automata - Jim Gray 001; Michael A. Harrison; Oscar H. Ibarra (Inf. Control., 1967)

Stack automata and compiling. - Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (J. ACM, 1967)

One-way stack automata. - Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (J. ACM, 1967)

Bracketed Context-Free Languages. - Seymour Ginsburg; Michael A. Harrison (J. Comput. Syst. Sci., 1967)

A Remark on Determining the Number of States of a Sequential Machine. - Michael A. Harrison (IEEE Trans. Electron. Comput., 1967)

One-way nondeterministic real-time list-storage languages. - Seymour Ginsburg; Michael A. Harrison (J. ACM, 1968)

Infinite Linear Sequential Machines. - Hervé Gallaire; Jim Gray 001; Michael A. Harrison; Gabor T. Herman (J. Comput. Syst. Sci., 1968)

On Equivalence of State Assignments. - Michael A. Harrison (IEEE Trans. Computers, 1968)

On the Elimination of Endmarkers - Seymour Ginsburg; Michael A. Harrison (Inf. Control., 1968)

Multi-Tape and Multi-Head Pushdown Automata - Michael A. Harrison; Oscar H. Ibarra (Inf. Control., 1968)

Single Pass Precedence Analysis (Extended Abstract) - Jim Gray 001; Michael A. Harrison (SWAT, 1969)

Decomposition of Linear Sequential Machines. - Hervé Gallaire; Michael A. Harrison (Math. Syst. Theory, 1969)

B70-1 Truth Functions and the Problem of Their Realization by Two-Terminal Graphs. - Michael A. Harrison (IEEE Trans. Computers, 1970)

On the Closure of AFL under Reversal - Seymour Ginsburg; Michael A. Harrison (Inf. Control., 1970)

A Grammatical Characterization of One-Way Nondeterministic Stack Languages. - Michael A. Harrison; Mario Schkolnick (J. ACM, 1971)

On a Family of Deterministic Grammars (Extended Abstract). - Michael A. Harrison; Ivan M. Havel (ICALP, 1972)

On the Covering and Reduction Problems for Context-Free Grammars. - Jim Gray 001; Michael A. Harrison (J. ACM, 1972)

Real-Time Strict Deterministic Languages. - Michael A. Harrison; Ivan M. Havel (SIAM J. Comput., 1972)

Characterizations of LR(0) Languages (Extended Abstract) - Matthew M. Geller; Michael A. Harrison (SWAT, 1973)

On Covers and Precedence Analysis. - Michael A. Harrison (GI Jahrestagung, 1973)

Strict Deterministic Versus LR(0) Parsing. - Matthew M. Geller; Michael A. Harrison (POPL, 1973)

Canonical Precedence Schemes. - Jim Gray 001; Michael A. Harrison (J. ACM, 1973)

Strict Deterministic Grammars. - Michael A. Harrison; Ivan M. Havel (J. Comput. Syst. Sci., 1973)

On the Number of Classes of Binary Matrices. - Michael A. Harrison (IEEE Trans. Computers, 1973)

Production Prefix Parsing (Extended Abstract). - Matthew M. Geller; Susan L. Graham; Michael A. Harrison (ICALP, 1974)

Mutually divisible semigroups. - Ronald V. Book; Michael A. Harrison (Discret. Math., 1974)

On the Parsing of Deterministic Languages. - Michael A. Harrison; Ivan M. Havel (J. ACM, 1974)

On Models of Protection in Operating Systems. - Michael A. Harrison (MFCS, 1975)

On Protection in Operating System. - Michael A. Harrison; Walter L. Ruzzo; Jeffrey D. Ullman (SOSP, 1975)

SIGACT (Tutorial Session). - Michael A. Harrison; Susan L. Graham; Kenneth Kennedy; Meera Blattner (ACM Annual Conference, 1976)

Theoretical results in compiler design and implementation (Tutorial Session). - Michael A. Harrison; Susan L. Graham; Kenneth Kennedy; Meera Blattner (ACM Annual Conference, 1976)

On Line Context Free Language Recognition in Less than Cubic Time (Extended Abstract) - Susan L. Graham; Michael A. Harrison; Walter L. Ruzzo (STOC, 1976)

Parsing of General Context-Free Languages. - Susan L. Graham; Michael A. Harrison (Adv. Comput., 1976)

Protection in Operating Systems. - Michael A. Harrison; Walter L. Ruzzo; Jeffrey D. Ullman (Commun. ACM, 1976)

Normal forms of deterministic grammars. - Matthew M. Geller; Michael A. Harrison; Ivan M. Havel (Discret. Math., 1976)

Characteristic Parsing: A Framework for Producing Compact Deterministic Parsers, I. - Matthew M. Geller; Michael A. Harrison (J. Comput. Syst. Sci., 1977)

Characteristic Parsing: A Framework for Producing Compact Deterministic Parsers, II. - Matthew M. Geller; Michael A. Harrison (J. Comput. Syst. Sci., 1977)

On LR(k) Grammars and Languages. - Matthew M. Geller; Michael A. Harrison (Theor. Comput. Sci., 1977)

Programming and operating systems overview. - Michael A. Harrison (AFIPS National Computer Conference, 1978)

A Hierarchy of Deterministic Languages. - Michael A. Harrison; Amiram Yehudai (J. Comput. Syst. Sci., 1979)

On Equivalence of Grammars Through Transformation Trees. - Michael A. Harrison; Ivan M. Havel; Amiram Yehudai (Theor. Comput. Sci., 1979)

An Improved Context-Free Recognizer. - Susan L. Graham; Michael A. Harrison; Walter L. Ruzzo (ACM Trans. Program. Lang. Syst., 1980)

Eliminating Null Rules in Linear Time. - Michael A. Harrison; Amiram Yehudai (Comput. J., 1981)

Executive Committee Position on VLDB Conferences - Peter J. Denning; Michael A. Harrison; Kathleen A. Wagner; Aaron Finerman; Daniel D. McCracken (SIGMOD Rec., 1982)

Theoretical Issues Concerning Protection in Operating Systems. - Michael A. Harrison (Adv. Comput., 1985)

The VORTEX Document Preparation Environment. - Pehong Chen; John Coker; Michael A. Harrison; Jeffrey W. McCarrell; Steve Procter (TEX for Scientific Documentation, 1986)

An improved user environment for TEX. - Pehong Chen; Michael A. Harrison; Jeffrey W. McCarrell; John Coker; Steve Procter (TEX for Scientific Documentation, 1986)

Incremental document formatting. - Pehong Chen; Michael A. Harrison; Ikuo Minakata (DOCPROCS, 1988)

Multiple Representation Document Development. - Pehong Chen; Michael A. Harrison (Computer, 1988)

On Integrated Bibliography Processing. - Michael A. Harrison; Ethan V. Munson (Electron. Publ., 1988)

Index Preparation and Processing. - Pehong Chen; Michael A. Harrison (Softw. Pract. Exp., 1988)

Numbering Document Components. - Michael A. Harrison; Ethan V. Munson (Electron. Publ., 1991)

Proving Nonmembership in Certain Families of Context Free Languages. - Michael A. Harrison (Theoretical Studies in Computer Science, 1992)

The Proteus presentation system. - Susan L. Graham; Michael A. Harrison; Ethan V. Munson (SDE, 1992)

User Interface Management System Embedded in a Multimedia Document Editor Framework. - Takashi Ohtsu; Michael A. Harrison (FODO, 1993)

Accurate Static Estimators for Program Optimization. - Tim A. Wagner; Vance Maverick; Susan L. Graham; Michael A. Harrison (PLDI, 1994)

Technical Issues in Hypermedia Authoring Systems (Extended Abstract). - Brian M. Dennis; Michael A. Harrison (COMPCON, 1995)

Grendel: a Web browser with end user extensibility. - Brian M. Dennis; Michael A. Harrison (COMPCON, 1997)

Presentation by tree transformation. - Michael A. Harrison; Vance Maverick (COMPCON, 1997)

In memory of Seymour Ginsburg 1928 - 2004. - Serge Abiteboul; Richard Hull 001; Victor Vianu; Sheila A. Greibach; Michael A. Harrison; Ellis Horowitz; Daniel J. Rosenkrantz; Jeffrey D. Ullman; Moshe Y. Vardi (SIGMOD Rec., 2005)

Jim Gray at Berkeley. - Michael A. Harrison (SIGMOD Rec., 2008)