Michael A. Harrison

Publication Activity (10 Years)

Years Active: 1963-2008
Publications (10 Years): 0

Publications

Michael A. Harrison
Jim Gray at Berkeley. SIGMOD Rec. 37 (2) (2008)
Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi
In memory of Seymour Ginsburg 1928 - 2004. SIGMOD Rec. 34 (1) (2005)
Brian M. Dennis, Michael A. Harrison
Grendel: a Web browser with end user extensibility. COMPCON (1997)
Michael A. Harrison, Vance Maverick
Presentation by tree transformation. COMPCON (1997)
Brian M. Dennis, Michael A. Harrison
Technical Issues in Hypermedia Authoring Systems (Extended Abstract). COMPCON (1995)
Tim A. Wagner, Vance Maverick, Susan L. Graham, Michael A. Harrison
Accurate Static Estimators for Program Optimization. PLDI (1994)
Takashi Ohtsu, Michael A. Harrison
User Interface Management System Embedded in a Multimedia Document Editor Framework. FODO (1993)
Michael A. Harrison
Proving Nonmembership in Certain Families of Context Free Languages. Theoretical Studies in Computer Science (1992)
Susan L. Graham, Michael A. Harrison, Ethan V. Munson
The Proteus presentation system. SDE (1992)
Michael A. Harrison, Ethan V. Munson
Numbering Document Components. Electron. Publ. 4 (1) (1991)
Pehong Chen, Michael A. Harrison, Ikuo Minakata
Incremental document formatting. DOCPROCS (1988)
Michael A. Harrison, Ethan V. Munson
On Integrated Bibliography Processing. Electron. Publ. 2 (4) (1988)
Pehong Chen, Michael A. Harrison
Index Preparation and Processing. Softw. Pract. Exp. 18 (9) (1988)
Pehong Chen, Michael A. Harrison
Multiple Representation Document Development. Computer 21 (1) (1988)
Pehong Chen, John Coker, Michael A. Harrison, Jeffrey W. McCarrell, Steve Procter
X Document Preparation Environment. TEX for Scientific Documentation (1986)
Pehong Chen, Michael A. Harrison, Jeffrey W. McCarrell, John Coker, Steve Procter
X. TEX for Scientific Documentation (1986)
Michael A. Harrison
Theoretical Issues Concerning Protection in Operating Systems. Adv. Comput. 24 (1985)
Peter J. Denning, Michael A. Harrison, Kathleen A. Wagner, Aaron Finerman, Daniel D. McCracken
Executive Committee Position on VLDB Conferences SIGMOD Rec. 12 (3) (1982)
Michael A. Harrison, Amiram Yehudai
Eliminating Null Rules in Linear Time. Comput. J. 24 (2) (1981)
Susan L. Graham, Michael A. Harrison, Walter L. Ruzzo
An Improved Context-Free Recognizer. ACM Trans. Program. Lang. Syst. 2 (3) (1980)
Michael A. Harrison, Amiram Yehudai
A Hierarchy of Deterministic Languages. J. Comput. Syst. Sci. 19 (1) (1979)
Michael A. Harrison, Ivan M. Havel, Amiram Yehudai
On Equivalence of Grammars Through Transformation Trees. Theor. Comput. Sci. 9 (1979)
Michael A. Harrison
Programming and operating systems overview. AFIPS National Computer Conference (1978)
Matthew M. Geller, Michael A. Harrison
Grammars and Languages. Theor. Comput. Sci. 4 (3) (1977)
Matthew M. Geller, Michael A. Harrison
Characteristic Parsing: A Framework for Producing Compact Deterministic Parsers, II. J. Comput. Syst. Sci. 14 (3) (1977)
Matthew M. Geller, Michael A. Harrison
Characteristic Parsing: A Framework for Producing Compact Deterministic Parsers, I. J. Comput. Syst. Sci. 14 (3) (1977)
Michael A. Harrison, Walter L. Ruzzo, Jeffrey D. Ullman
Protection in Operating Systems. Commun. ACM 19 (8) (1976)
Matthew M. Geller, Michael A. Harrison, Ivan M. Havel
Normal forms of deterministic grammars. Discret. Math. 16 (4) (1976)
Michael A. Harrison, Susan L. Graham, Kenneth Kennedy, Meera Blattner
SIGACT (Tutorial Session). ACM Annual Conference (1976)
Michael A. Harrison, Susan L. Graham, Kenneth Kennedy, Meera Blattner
Theoretical results in compiler design and implementation (Tutorial Session). ACM Annual Conference (1976)
Susan L. Graham, Michael A. Harrison, Walter L. Ruzzo
On Line Context Free Language Recognition in Less than Cubic Time (Extended Abstract) STOC (1976)
Susan L. Graham, Michael A. Harrison
Parsing of General Context-Free Languages. Adv. Comput. 14 (1976)
Michael A. Harrison
On Models of Protection in Operating Systems. MFCS (1975)
Michael A. Harrison, Walter L. Ruzzo, Jeffrey D. Ullman
On Protection in Operating System. SOSP (1975)
Michael A. Harrison, Ivan M. Havel
On the Parsing of Deterministic Languages. J. ACM 21 (4) (1974)
Ronald V. Book, Michael A. Harrison
Mutually divisible semigroups. Discret. Math. 9 (4) (1974)
Matthew M. Geller, Susan L. Graham, Michael A. Harrison
Production Prefix Parsing (Extended Abstract). ICALP (1974)
Matthew M. Geller, Michael A. Harrison
Characterizations of LR(0) Languages (Extended Abstract) SWAT (1973)
Michael A. Harrison, Ivan M. Havel
Strict Deterministic Grammars. J. Comput. Syst. Sci. 7 (3) (1973)
Jim Gray, Michael A. Harrison
Canonical Precedence Schemes. J. ACM 20 (2) (1973)
Michael A. Harrison
On the Number of Classes of Binary Matrices. IEEE Trans. Computers 22 (12) (1973)
Matthew M. Geller, Michael A. Harrison
Strict Deterministic Versus LR(0) Parsing. POPL (1973)
Michael A. Harrison
On Covers and Precedence Analysis. GI Jahrestagung (1973)
Michael A. Harrison, Ivan M. Havel
Real-Time Strict Deterministic Languages. SIAM J. Comput. 1 (4) (1972)
Jim Gray, Michael A. Harrison
On the Covering and Reduction Problems for Context-Free Grammars. J. ACM 19 (4) (1972)
Michael A. Harrison, Ivan M. Havel
On a Family of Deterministic Grammars (Extended Abstract). ICALP (1972)
Michael A. Harrison, Mario Schkolnick
A Grammatical Characterization of One-Way Nondeterministic Stack Languages. J. ACM 18 (2) (1971)
Seymour Ginsburg, Michael A. Harrison
On the Closure of AFL under Reversal Inf. Control. 17 (4) (1970)
Michael A. Harrison
B70-1 Truth Functions and the Problem of Their Realization by Two-Terminal Graphs. IEEE Trans. Computers 19 (5) (1970)
Jim Gray, Michael A. Harrison
Single Pass Precedence Analysis (Extended Abstract) SWAT (1969)
Hervé Gallaire, Michael A. Harrison
Decomposition of Linear Sequential Machines. Math. Syst. Theory 3 (3) (1969)
Seymour Ginsburg, Michael A. Harrison
On the Elimination of Endmarkers Inf. Control. 12 (2) (1968)
Hervé Gallaire, Jim Gray, Michael A. Harrison, Gabor T. Herman
Infinite Linear Sequential Machines. J. Comput. Syst. Sci. 2 (4) (1968)
Seymour Ginsburg, Michael A. Harrison
One-way nondeterministic real-time list-storage languages. J. ACM 15 (3) (1968)
Michael A. Harrison
On Equivalence of State Assignments. IEEE Trans. Computers 17 (1) (1968)
Michael A. Harrison, Oscar H. Ibarra
Multi-Tape and Multi-Head Pushdown Automata Inf. Control. 13 (5) (1968)
Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison
One-way stack automata. J. ACM 14 (2) (1967)
Jim Gray, Michael A. Harrison, Oscar H. Ibarra
Two-Way Pushdown Automata Inf. Control. 11 (1/2) (1967)
Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison
Stack automata and compiling. J. ACM 14 (1) (1967)
Michael A. Harrison
A Remark on Determining the Number of States of a Sequential Machine. IEEE Trans. Electron. Comput. 16 (5) (1967)
Seymour Ginsburg, Michael A. Harrison
Bracketed Context-Free Languages. J. Comput. Syst. Sci. 1 (1) (1967)
Michael A. Harrison
On Asymptotic Estimates in Switching and Automata Theory. J. ACM 13 (1) (1966)
Jim Gray, Michael A. Harrison
The Theory of Sequential Relations Inf. Control. 9 (5) (1966)
Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison
One-Way Stack Automata (Extended Abstract) SWAT (1966)
Michael A. Harrison
On the Error Correcting Capacity of Finite Automata Inf. Control. 8 (4) (1965)
Michael A. Harrison
A Remark on Uniform Distribution. IEEE Trans. Electron. Comput. 13 (5) (1964)
Michael A. Harrison
A census of finite automata (extended summary) SWCT (1964)
Michael A. Harrison
The Number of Classes of Invertible Boolean Functions. J. ACM 10 (1) (1963)
Michael A. Harrison
The Number of Equivalence Classes of Boolean Functions Under Groups Containing Negation. IEEE Trans. Electron. Comput. 12 (5) (1963)
Richard F. Arnold, Michael A. Harrison
Algebraic Properties of Symmetric and Partially Symmetric Boolean Functions. IEEE Trans. Electron. Comput. 12 (3) (1963)