![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Michael A. Harrison
Person information
- affiliation: University of California, Berkeley, USA
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2008
- [j46]Michael A. Harrison:
Jim Gray at Berkeley. SIGMOD Rec. 37(2): 26-27 (2008) - 2005
- [j45]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): 5-12 (2005)
1990 – 1999
- 1997
- [c24]Michael A. Harrison, Vance Maverick:
Presentation by tree transformation. COMPCON 1997: 68-73 - [c23]Brian M. Dennis, Michael A. Harrison:
Grendel: a Web browser with end user extensibility. COMPCON 1997: 74-79 - 1995
- [c22]Brian M. Dennis, Michael A. Harrison:
Technical Issues in Hypermedia Authoring Systems (Extended Abstract). COMPCON 1995: 373-378 - 1994
- [c21]Tim A. Wagner, Vance Maverick, Susan L. Graham, Michael A. Harrison:
Accurate Static Estimators for Program Optimization. PLDI 1994: 85-96 - 1993
- [c20]Takashi Ohtsu, Michael A. Harrison:
User Interface Management System Embedded in a Multimedia Document Editor Framework. FODO 1993: 35-50 - 1992
- [c19]Michael A. Harrison:
Proving Nonmembership in Certain Families of Context Free Languages. Theoretical Studies in Computer Science 1992: 15-71 - [c18]Susan L. Graham, Michael A. Harrison, Ethan V. Munson:
The Proteus presentation system. SDE 1992: 130-138 - 1991
- [j44]Michael A. Harrison, Ethan V. Munson:
Numbering Document Components. Electron. Publ. 4(1): 43-60 (1991)
1980 – 1989
- 1988
- [j43]Pehong Chen, Michael A. Harrison:
Multiple Representation Document Development. Computer 21(1): 15-31 (1988) - [j42]Michael A. Harrison, Ethan V. Munson:
On Integrated Bibliography Processing. Electron. Publ. 2(4): 193-209 (1988) - [j41]Pehong Chen, Michael A. Harrison:
Index Preparation and Processing. Softw. Pract. Exp. 18(9): 897-915 (1988) - [c17]Pehong Chen, Michael A. Harrison, Ikuo Minakata:
Incremental document formatting. DOCPROCS 1988: 93-100 - 1986
- [c16]Pehong Chen, Michael A. Harrison, Jeffrey W. McCarrell, John Coker, Steve Procter:
An improved user environment for TEX. TEX for Scientific Documentation 1986: 32-44 - [c15]Pehong Chen, John Coker, Michael A. Harrison, Jeffrey W. McCarrell, Steve Procter:
The VORTEX Document Preparation Environment. TEX for Scientific Documentation 1986: 45-54 - 1985
- [j40]Michael A. Harrison:
Theoretical Issues Concerning Protection in Operating Systems. Adv. Comput. 24: 61-100 (1985) - 1982
- [j39]Peter J. Denning, Michael A. Harrison, Kathleen A. Wagner, Aaron Finerman, Daniel D. McCracken:
Executive Committee Position on VLDB Conferences. SIGMOD Rec. 12(3): 14a-14i (1982) - 1981
- [j38]Michael A. Harrison, Amiram Yehudai:
Eliminating Null Rules in Linear Time. Comput. J. 24(2): 156-161 (1981) - 1980
- [j37]Susan L. Graham, Michael A. Harrison, Walter L. Ruzzo
:
An Improved Context-Free Recognizer. ACM Trans. Program. Lang. Syst. 2(3): 415-462 (1980)
1970 – 1979
- 1979
- [j36]Michael A. Harrison, Amiram Yehudai:
A Hierarchy of Deterministic Languages. J. Comput. Syst. Sci. 19(1): 63-78 (1979) - [j35]Michael A. Harrison, Ivan M. Havel
, Amiram Yehudai:
On Equivalence of Grammars Through Transformation Trees. Theor. Comput. Sci. 9: 173-205 (1979) - 1978
- [c14]Michael A. Harrison:
Programming and operating systems overview. AFIPS National Computer Conference 1978: 1077-1078 - 1977
- [j34]Matthew M. Geller, Michael A. Harrison:
Characteristic Parsing: A Framework for Producing Compact Deterministic Parsers, I. J. Comput. Syst. Sci. 14(3): 265-317 (1977) - [j33]Matthew M. Geller, Michael A. Harrison:
Characteristic Parsing: A Framework for Producing Compact Deterministic Parsers, II. J. Comput. Syst. Sci. 14(3): 318-343 (1977) - [j32]Matthew M. Geller, Michael A. Harrison:
On LR(k) Grammars and Languages. Theor. Comput. Sci. 4(3): 245-276 (1977) - [e10]Robert M. Graham, Michael A. Harrison, Ravi Sethi:
Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977. ACM 1977 [contents] - [e9]John E. Hopcroft, Emily P. Friedman, Michael A. Harrison:
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, May 4-6, 1977, Boulder, Colorado, USA. ACM 1977 [contents] - 1976
- [j31]Susan L. Graham, Michael A. Harrison:
Parsing of General Context-Free Languages. Adv. Comput. 14: 77-185 (1976) - [j30]Michael A. Harrison, Walter L. Ruzzo
, Jeffrey D. Ullman:
Protection in Operating Systems. Commun. ACM 19(8): 461-471 (1976) - [j29]Matthew M. Geller, Michael A. Harrison, Ivan M. Havel
:
Normal forms of deterministic grammars. Discret. Math. 16(4): 313-321 (1976) - [c13]Michael A. Harrison, Susan L. Graham, Kenneth Kennedy, Meera Blattner:
SIGACT (Tutorial Session). ACM Annual Conference 1976: 22 - [c12]Michael A. Harrison, Susan L. Graham, Kenneth Kennedy, Meera Blattner:
Theoretical results in compiler design and implementation (Tutorial Session). ACM Annual Conference 1976: 23 - [c11]Susan L. Graham, Michael A. Harrison, Walter L. Ruzzo
:
On Line Context Free Language Recognition in Less than Cubic Time (Extended Abstract). STOC 1976: 112-120 - [e8]Susan L. Graham, Robert M. Graham, Michael A. Harrison, William I. Grosky, Jeffrey D. Ullman:
Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia, USA, January 1976. ACM Press 1976 [contents] - [e7]Ashok K. Chandra, Detlef Wotschke, Emily P. Friedman, Michael A. Harrison:
Proceedings of the 8th Annual ACM Symposium on Theory of Computing, May 3-5, 1976, Hershey, Pennsylvania, USA. ACM 1976 [contents] - 1975
- [c10]Michael A. Harrison:
On Models of Protection in Operating Systems. MFCS 1975: 46-60 - [c9]Michael A. Harrison, Walter L. Ruzzo
, Jeffrey D. Ullman:
On Protection in Operating System. SOSP 1975: 14-24 - [e6]Robert M. Graham, Michael A. Harrison, John C. Reynolds:
Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, USA, January 1975. ACM Press 1975 [contents] - [e5]William C. Rounds, Nancy Martin, Jack W. Carlyle, Michael A. Harrison:
Proceedings of the 7th Annual ACM Symposium on Theory of Computing, May 5-7, 1975, Albuquerque, New Mexico, USA. ACM 1975 [contents] - 1974
- [j28]Ronald V. Book, Michael A. Harrison:
Mutually divisible semigroups. Discret. Math. 9(4): 329-332 (1974) - [j27]Michael A. Harrison, Ivan M. Havel
:
On the Parsing of Deterministic Languages. J. ACM 21(4): 525-548 (1974) - [c8]Matthew M. Geller, Susan L. Graham, Michael A. Harrison:
Production Prefix Parsing (Extended Abstract). ICALP 1974: 232-241 - [e4]Robert L. Constable, Robert W. Ritchie, Jack W. Carlyle, Michael A. Harrison:
Proceedings of the 6th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1974, Seattle, Washington, USA. ACM 1974 [contents] - 1973
- [j26]Jim Gray, Michael A. Harrison:
Canonical Precedence Schemes. J. ACM 20(2): 214-234 (1973) - [j25]Michael A. Harrison, Ivan M. Havel
:
Strict Deterministic Grammars. J. Comput. Syst. Sci. 7(3): 237-277 (1973) - [j24]Michael A. Harrison:
On the Number of Classes of Binary Matrices. IEEE Trans. Computers 22(12): 1048-1052 (1973) - [c7]Matthew M. Geller, Michael A. Harrison:
Characterizations of LR(0) Languages (Extended Abstract). SWAT 1973: 103-108 - [c6]Michael A. Harrison:
On Covers and Precedence Analysis. GI Jahrestagung 1973: 2-17 - [c5]Matthew M. Geller, Michael A. Harrison:
Strict Deterministic Versus LR(0) Parsing. POPL 1973: 22-32 - [e3]Alfred V. Aho, Allan Borodin, Robert L. Constable, Robert W. Floyd, Michael A. Harrison, Richard M. Karp, H. Raymond Strong:
Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1973, Austin, Texas, USA. ACM 1973 [contents] - 1972
- [j23]Jim Gray, Michael A. Harrison:
On the Covering and Reduction Problems for Context-Free Grammars. J. ACM 19(4): 675-698 (1972) - [j22]Michael A. Harrison, Ivan M. Havel:
Real-Time Strict Deterministic Languages. SIAM J. Comput. 1(4): 333-349 (1972) - [c4]Michael A. Harrison, Ivan M. Havel:
On a Family of Deterministic Grammars (Extended Abstract). ICALP 1972: 413-441 - 1971
- [j21]Michael A. Harrison, Mario Schkolnick:
A Grammatical Characterization of One-Way Nondeterministic Stack Languages. J. ACM 18(2): 148-172 (1971) - [e2]Michael A. Harrison, Ranan B. Banerji, Jeffrey D. Ullman:
Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, USA. ACM 1971 [contents] - 1970
- [j20]Seymour Ginsburg, Michael A. Harrison:
On the Closure of AFL under Reversal. Inf. Control. 17(4): 395-409 (1970) - [j19]Michael A. Harrison:
B70-1 Truth Functions and the Problem of Their Realization by Two-Terminal Graphs. IEEE Trans. Computers 19(5): 462 (1970)
1960 – 1969
- 1969
- [j18]Hervé Gallaire, Michael A. Harrison:
Decomposition of Linear Sequential Machines. Math. Syst. Theory 3(3): 246-287 (1969) - [c3]Jim Gray, Michael A. Harrison:
Single Pass Precedence Analysis (Extended Abstract). SWAT 1969: 106-117 - [e1]Patrick C. Fischer, Seymour Ginsburg, Michael A. Harrison:
Proceedings of the 1st Annual ACM Symposium on Theory of Computing, May 5-7, 1969, Marina del Rey, CA, USA. ACM 1969 [contents] - 1968
- [j17]Seymour Ginsburg, Michael A. Harrison:
On the Elimination of Endmarkers. Inf. Control. 12(2): 103-115 (1968) - [j16]Michael A. Harrison, Oscar H. Ibarra:
Multi-Tape and Multi-Head Pushdown Automata. Inf. Control. 13(5): 433-470 (1968) - [j15]Seymour Ginsburg, Michael A. Harrison:
One-way nondeterministic real-time list-storage languages. J. ACM 15(3): 428-446 (1968) - [j14]Hervé Gallaire, Jim Gray, Michael A. Harrison, Gabor T. Herman:
Infinite Linear Sequential Machines. J. Comput. Syst. Sci. 2(4): 381-419 (1968) - [j13]Michael A. Harrison:
On Equivalence of State Assignments. IEEE Trans. Computers 17(1): 55-57 (1968) - 1967
- [j12]Jim Gray, Michael A. Harrison, Oscar H. Ibarra:
Two-Way Pushdown Automata. Inf. Control. 11(1/2): 30-70 (1967) - [j11]Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison:
Stack automata and compiling. J. ACM 14(1): 172-201 (1967) - [j10]Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison:
One-way stack automata. J. ACM 14(2): 389-418 (1967) - [j9]Seymour Ginsburg, Michael A. Harrison:
Bracketed Context-Free Languages. J. Comput. Syst. Sci. 1(1): 1-23 (1967) - [j8]Michael A. Harrison:
A Remark on Determining the Number of States of a Sequential Machine. IEEE Trans. Electron. Comput. 16(5): 689-690 (1967) - 1966
- [j7]Jim Gray, Michael A. Harrison:
The Theory of Sequential Relations. Inf. Control. 9(5): 435-468 (1966) - [j6]Michael A. Harrison:
On Asymptotic Estimates in Switching and Automata Theory. J. ACM 13(1): 151-157 (1966) - [c2]Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison:
One-Way Stack Automata (Extended Abstract). SWAT 1966: 47-52 - 1965
- [j5]Michael A. Harrison:
On the Error Correcting Capacity of Finite Automata. Inf. Control. 8(4): 430-450 (1965) - 1964
- [j4]Michael A. Harrison:
A Remark on Uniform Distribution. IEEE Trans. Electron. Comput. 13(5): 630-631 (1964) - [c1]Michael A. Harrison:
A census of finite automata (extended summary). SWCT 1964: 44-46 - 1963
- [j3]Michael A. Harrison:
The Number of Classes of Invertible Boolean Functions. J. ACM 10(1): 25-28 (1963) - [j2]Richard F. Arnold, Michael A. Harrison:
Algebraic Properties of Symmetric and Partially Symmetric Boolean Functions. IEEE Trans. Electron. Comput. 12(3): 244-251 (1963) - [j1]Michael A. Harrison:
The Number of Equivalence Classes of Boolean Functions Under Groups Containing Negation. IEEE Trans. Electron. Comput. 12(5): 559-561 (1963)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint