Applied Cryptology, Cryptographic Protocols, and Computer Security,29,
Proceedings of Symposia in Applied Mathematics,
American Mathematical Society,
Providence, Rhode Island, (1983).
(co-authored with Richard A. DeMillo, George I. Davida,
David P. Dobkin, and Richard J. Lipton.)
The Technology War,
John Wiley and Sons, New York, (1987).
(coauthored with David H. Brandin.)
Translated into Japanese and Spanish.
Advanced Software Applications in Japan,
Noyes Data Corporation, Park Ridge NJ, (1995).
(co-authored with Edward Feigenbaum, Gio Wiederhold, and Elaine Rich.)
PAPERS
Representative papers from over 100 publications.
``Algebraic Properties of Symmetric and Partially Symmetric
Boolean Functions'', (co-author R. F. Arnold),
IEEE Transactions on Electronic Computers,EC-12,
pp. 244-251 (1963).
``The Number of Transitivity Sets of Boolean Functions'',
Journal of the Society for Industrial and Applied Mathematics,11, pp. 808-828 (1963).
``On the Classification of Boolean Functions by the General Linear
and Affine Groups'', Journal of the Society for Industrial and Applied
Mathematics,12, pp. 285-299 (1964).
``A Census of Finite Automata'', Canadian Journal of Mathematics,17, pp. 100-113 (1965).
``On the Error Correcting Capacity of Finite Automata'',
Information and Control,8,
pp. 430-450 (1965).
``On Asymptotic Estimates in Switching and Automata Theory'',
Journal of the Association for Computing Machinery,13,
pp. 151-157 (1966).
``The Number of Isomorphism Types of Finite Algebras'',
Proceedings of the American Mathematical Society,17,
pp. 731-737 (1966).
``The Theory of Sequential Relations'' (with J. N. Gray),
Information and Control,9,
pp. 435-468 (1966).
``Stack Automata and Compiling'' (with S. Ginsburg and S. A. Greibach),
Journal of the Association for Computing Machinery,14,
pp. 172-201 (1967).
``One-Way Stack Automata'' (with S. Ginsburg and S. A. Greibach),
Journal of the Association for Computing Machinery,14,
pp. 389-418 (1967).
``Bracketed Context-Free Languages'' (with S. Ginsburg),
Journal of Computer and System Sciences,1,
pp. 1-23 (1967).
``Two Way Pushdown Automata'' (with J. N. Gray and O. H. Ibarra),
Information and Control,11,
pp. 30-70 (1967).
``One Way Nondeterministic Real Time List-Storage Languages''
(with S. Ginsburg),
Journal of the Association for Computing Machinery,15,
pp. 428-446 (1968).
``On the Elimination of Endmarkers'' (with S. Ginsburg),
Information and Control,12,
pp. 103-115 (1968).
``Infinite Linear Sequential Machines'' (with H. Gallaire,
J. N. Gray and G. T. Herman),
Journal of Computer and System Sciences,2, pp. 381-419 (1968).
``Decomposition of Linear Sequential Machines'' (with H. Gallaire),
Mathematical Systems Theory,3, pp. 246-287 (1969).
``Sur la Classification des Fonctions Logiques à
Plusieurs Valeurs'',
Bul. Math. de la Soc. Sci. Math. de la R.S. de Roumanie,13, pp. 41-54 (1969).
``Single Pass Precedence Analysis (Extended Abstract)''
(with J. N. Gray),
IEEE Conference Record of 1969 Tenth Annual Symposium on Switching and
Automata Theory,
Waterloo, Canada, pp. 106-117 (1969).
``On the Closure of AFL under Reversal'' (with S. Ginsburg),
Information and Control,17, pp. 395-409 (November 1970).
``Counting Theorems and Their Applications to Classification of Switching Functions'', in
Recent Developments in Switching Theory,
edited by A. Mukhopadhyay, Academic Press (1961).
``A Grammatical Characterization of One-Way Nondeterministic Stack
Languages'', (with M. Schkolnick),
Journal of the Association for Computing Machinery,18, pp. 148-172 (1971).
``On the Relation Between Grammars and Automata'', Chapter 2 of
Advances in Information Systems Science,
J. T. Tou, Editor, 4, pp. 39-92, Plenum Press, New York (1972).
``On the Covering and Reduction Problems for Context Free Grammars'',
(with J. N. Gray),
Journal of the Association for Computing Machinery,19, pp. 675-698 (1972).
``Canonical Precedence Schemes'' (with J. N. Gray),
Journal of the Association for Computing Machinery,20, pp. 214-234 (1973).
``Strict Deterministic Grammars'' (with I. M. Havel),
Journal of Computer and Systems Sciences,7, pp. 237-277 (1973).
``Real Time Strict Deterministic Languages'' (with I. M. Havel),
SIAM Journal on Computing,1, pp. 333-349 (1972).
``On the Parsing of Deterministic Languages'' (with I. M. Havel),
Journal on the Association for Computing Machinery,21, pp. 528-548 (1974).
``On the Number of Class of Matrices'',
IEEE Transactions on Computers,C-22, pp. 1048-1052 (1973).
``On Covers and Precedence Analysis'' in
GI,
Gesellschaft für Informatik, e.V, e Jahrestagung,
Hamburg, 8-10 Oktober 1973, W. Brauer, editor, pp. 2-17,
Lectures Notes in Computer Science,
Springer Verlag, Berlin, (1973).
``Production Prefix Parsing'' (with M. M. Geller and S. L. Graham)
in
Automata, Languages, and Programming,
2nd Colloquium, University of Saarbrücken,
July 29-August 2, 1974,
Lecture Notes in Computer Science,
14}
pp. 232-241, (1974).
``Mutually Divisible Semigroups'' (with R. V. Book),
Discrete Mathematics,9, pp. 332 (1974).
``On Protection in Operating Systems'' (with W. L. Ruzzo and J. D.
Ullman), Communications of the ACM,19, pp. 461-471 (1976).
``On Models of Protection in Operating Systems'', in
Mathematical Foundations of Computer Science 75,
Fourth Symposium, Mariánské Lázne,
September 1-5, 1975, J. Becvár, editor, pp. 46-60,
Springer Verlag, (1975).
``Constructing Economical Linear Time Parsers'',
in
Computing Systems 1975, Proceedings of the Fourth Texas Conference
on Computing Systems,
University of Texas, Austin, Texas, pp. 1A-2.1 - 1A-2.5,
(November 1975).
``Parsing of General Context-Free Languages'' (with S. L. Graham) in
Advances in Computers,14, (M. Rubinoff and M. C. Yovits, editors),
Academic Press Inc., New York, (1976).
``On Line Context Free Recognition in Less Than Cubic Time'' (with
S. L. Graham and W. L. Ruzzo),
Proceedings of the Eighth Annual ACM Symposium on Theory of Computing,
pp. 112-120 (1976).
``Normal Forms of Deterministic Grammars'' (with M. M. Geller
and I. M. Havel),
Discrete Mathematics,16, pp. 313-322 (1976).
``Characteristic Parsing: A Framework for Producing
Compact Deterministic Parsers, I'' (with M. M. Geller),
Journal of Computer and System Sciences,14, pp. 265-317 (1977).
``Characteristic Parsing: A Framework for Producing
Compact Deterministic Parsers, II'' (with M. M. Geller),
Journal of Computer and System Sciences,14, pp. 318-343 (1977).
``On LR(k) Grammars and Languages'' (with M. M. Geller),
Theoretical Computer Science,4, pp. 245-276 (1977).
``Monotonic Protection Systems'' (with W. L. Ruzzo),
in
Foundations of Secure Computation, edited by DeMillo et al,
Academic Press, New York, pp.337-365 (1978).
``On Equivalence of grammars through Transformation
Trees'' (with I. M. Havel and A. Yehudai),
Theoretical Computer Science,9, pp. 173-206 (1979).
``A Hierarchy of Deterministic Languages'' (with A. Yehudai),
Journal of Computer and System Sciences,19, pp. 63-78 (1979).
``An Improved Context-Free Recognizer'' (with S. L. Graham and
W. L. Ruzzo),
ACM Transactions of Programming Languages and Systems,2, pp. 415-462 (1980).
``Eliminating Null Rules in Linear Time'' (with A. Yehudai),
The Computer Journal,24, pp. 156-161, (1981).
``Theoretical Models of Security in Operating Systems''
(Extended Abstract),
Fourth Jerusalem Conference on Information Technology,
pp. 106-113, May 20-25, (1984).
``Technology Transfer and Fifth Generation Computing.
Who is Transferring What and to Whom?'' (Extended Abstract),
Fourth Jerusalem Conference on Information Technology,
p. 674, May 20-25, (1984).
JTECH Panel Report on Computer Science in Japan (with D.
Brandin, J. Bentley, T. Gannon, J. Riganati, F. Ris, and N.
Sondheimer), Japanese Technology Evaluation Program, Science
Applications International Corporation Technical Report,
JTECH-TAR-8401, December, (1984).
The Role of Government, Industry, and Universities in Support
of Research and Development in the Field of Knowledge Systems,
U.S.-Japan Seminar, Knowledge Systems: Cooperation through
Competition, Tsukuba, Japan, June 18-25, (1985).
International Developments in Computer Science, ACM `84, 1984
Annual Conference, The Fifth Generation Challenge, San
Francisco, CA, October 8-10, (1984).
``Theoretical Issues Concerning Issues in Operating Systems'',
in
Advances in
Computers, M. Yovits, editor, 24, Academic Press, Inc., Orlando, Florida,
61-100, (1985).
``An Improved User Environment for TeX'',
(with P. Chen, J. Coker, J. McCarrell, and S. Procter),
in TeX for Scientific Documentation,
Proceedings of the Second European Conference,
Strasbourg, France,
June 19-21 1986,
J. Désarménien, editor,
Lecture Notes in Computer Science,236,
pp. 32-44,
(1986).
``The VorTeX document preparation Environment'',
(with P. Chen, J. Coker, J. McCarrell, and S. Procter),
in TeX for Scientific Documentation,
Proceedings of the Second European Conference,
Strasbourg, France,
June 19-21 1986,
J. Désarménien, editor,
Lecture Notes in Computer Science,236,
pp. 45-54,
(1986).
``Iteration Theorems for Deterministic Families of Languages'',
Fundamenta Informaticae,9, No. 4, pp. 481-508, (1986).
``Some Aspects of Japanese Technology Transfer'',
Transfer of Science and Technology Research into Production,
National Academy of
Sciences, pp. 68-75, (1987).
``VorTeX, a Multiple Representation System: Applications to Statistical
Document Processing'',
Proceedings of the Statistical Computing Section,
American Statistical Association,
pp. 48-55, (1987).
``Multiple Representation Document Development'',
(with P. Chen),
Computer,21, No. 1, pp. 15-31, (1988).
``Index Preparation and Processing'',
(with P. Chen),
Software, Practice and Experience,18, No. 9, pp. 897-915, (1988).
``Incremental Document Processing''
(with P. Chen, and I. Minakata),
Proceedings of the ACM Conference on Document Processing,
pp. 93-100, Dec. 5-9, Santa Fe, New Mexico, (1988).
``Advanced Computing in Japan'',
(with E. F. Hayes, J. D. Meindl, J. H. Morris, D. P.
Siewiorek, and R. M. White),
JTEC 1989 Study, Loyola University and NSF, (1990).
``Numbering Document Components''
(with Ethan V. Munson),
Electronic Publishing,4, No. 1, pp. 43-60, (1991).
``IncTeX: An Incremental Document Processing System''
(with Derluen Pan),
Computer Science Division Technical Report 90/614, Computer Science Division,
University of California, Berkeley, CA, March 1991.
``Proving Non-membership in certain families of Context Free
Languages'', Theoretical Studies in Computer Science,
J. D. Ullman, editor, pages 15-71.
Academic Press, San Diego, CA, (1992).
``The Proteus Presentation System'',
(with Susan L, Graham and Ethan V. Munson),
Proceedings of the Fifth ACM Symposium on Software Development
Environments,17, No. 5, pp. 130-138, (1992).
Keynote speech, ``The U.S. and Japan - The Technological Relationship,''
Proceedings of the Third JICST/NTIS Conference,
March 18, 1993.
``The Next Best Thing in File Browsers'',
(with Thomas A. Phelps),
Proceedings of the TCL/Tk Workshop,
pp. 110-112, (1993).
``User Interface Management System Embedded in a
Multimedia Document Editor Framework'',
(with Takashi Ohtsu).
In Foundation of Data Organization and Algorithms,
David B. Lomet, editor, pages 35-50, Springer Verlag, (1993).
``The Development and Applications of Hypermedia'',
Keynote Address, International Conference on Multimedia Systems and
Applications,
British Computer Society, (1993).
``Accurate static estimates for program optimization'',
(with Tim A. Wagner, Vance Maverick, and Susan L. Graham),
In SIGPLAN Notices, pages 85-96,
ACM Press, New York, (1994).
``Technical Issues in Hypermedia Authoring Systems'',
(with Brian M. Dennis)
In Digest of Papers - CompCon '95, IEEE Computer Conference,
pages 373-378, IEEE Computer Society Press, Los Alamitos, CA, (1995).