On the total length of an experiment, I - Zamir Bavel (SWCT, 1964)

Reversibility in monadic algebras and automata - Zamir Bavel; David E. Muller (SWCT, 1965)

On the Decomposability of Monadic Algebras and Automata - Zamir Bavel; James W. Thomas (SWAT, 1967)

Structure and Transition-Preserving Functions of Finite Automata. - Zamir Bavel (J. ACM, 1968)

On the number of automorphisms of a singly generated automaton. - Zamir Bavel (Commun. ACM, 1970)

Connectivity and Reversibility in Automata. - Zamir Bavel; David E. Muller (J. ACM, 1970)

The Source as a Tool in Automata - Zamir Bavel (Inf. Control., 1971)

The Left-Discrimination Sequence of an Automaton - William R. Edwards; Zamir Bavel (Inf. Control., 1978)

Tier automation representation of communication protocols. - Zamir Bavel; Jerzy W. Grzymala-Busse; Yen-Teh Hsia; Rodolfo Mancisidor-Landa (SIGCOMM, 1986)

Characterization of State-Independent Automata. - Jerzy W. Grzymala-Busse; Zamir Bavel (Theor. Comput. Sci., 1986)

New communication protocols from old. - Zamir Bavel; Jerzy W. Grzymala-Busse; Yen-Teh Hsia (Comput. Commun. Rev., 1987)