Concepedia

Michael A. Harrison

MA

92

Publications

5.5K

Citations

37

H-Index

1963

Active since

Affiliations

University of California, Berkeley(Current)

University of Leeds

Osnabrück University

Michael A. Harrison is an author at University of California, Berkeley specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsNatural SciencesAutomated ReasoningMedicineBiochemistryMolecular BiologyLanguageSyntax

Publications per year

1963–2017

92

Publications

92

Protection in operating systems

Michael A. Harrison, Walter L. Ruzzo, Jeffrey D. Ullman · Communications of the ACM · 1976 · 1K citations · Full text

Engineering, Information Security, Verification +22

One-way stack automata

Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison · Journal of the ACM · 1967 · 222 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +11

An Improved Context-Free Recognizer

Susan L. Graham, Michael A. Harrison, Walter L. Ruzzo · ACM Transactions on Programming Languages and Systems · 1980 · 216 citations

Syntactic Parsing, Engineering, Arbitrary Context-free Languages +27

Damage to functional components and partial degradation of Photosystem II reaction center proteins upon chloroplast exposure to ultraviolet-B radiation

Anastasios Melis, Jeff A. Nemson, Michael A. Harrison · Biochimica et Biophysica Acta (BBA) - Bioenergetics · 1992 · 211 citations

Photodegradation, Health Sciences, Biochemistry +13

Proceedings of the third annual ACM symposium on Theory of computing

Michael A. Harrison, Ranan B. Banerji, Jeffrey D. Ullman · 1971 · 204 citations

Theory Of Computing, Computational Complexity Theory, Engineering +6

Rows per page

1–5 of 92