Realization of multilinear and multidcomposable machines. - Brian D. O. Anderson; Michael A. Arbib; Ernest G. Manes (Category Theory Applied to Computation and Control, 1974)

Basic concepts of category theory applicable to computation and control. - Michael A. Arbib; Ernest G. Manes (Category Theory Applied to Computation and Control, 1974)

A categorist's view of automata and systems. - Michael A. Arbib; Ernest G. Manes (Category Theory Applied to Computation and Control, 1974)

Fuzzy morphism in automata theory. - Michael A. Arbib; Ernest G. Manes (Category Theory Applied to Computation and Control, 1974)

Time-varying systems. - Michael A. Arbib; Ernest G. Manes (Category Theory Applied to Computation and Control, 1974)

Foundations of system theory: Decomposable systems. - Michael A. Arbib; Ernest G. Manes (Autom., 1974)

Efficient State-Splitting. - Michael A. Arbib; Ernest G. Manes (FCT, 1977)

On the Point Transitivity of Symbolic Flows. - Ernest G. Manes (Math. Syst. Theory, 1977)

Partially-Additive Monoids, Graph-Growing, and the Algebraic Semantics of Recursive Calls. - Michael A. Arbib; Ernest G. Manes (Graph-Grammars and Their Application to Computer Science and Biology, 1978)

Tree transformations and the semantics of loop-free programs. - Michael A. Arbib; Ernest G. Manes (Acta Cybern., 1978)

Partially-additive semantics: A progress report. - Ernest G. Manes (FCT, 1979)

Intertwined Recursion, Tree Transformations, and Linear Systems - Michael A. Arbib; Ernest G. Manes (Inf. Control., 1979)

Foundations of System Theory: The Hankel Matrix. - Michael A. Arbib; Ernest G. Manes (J. Comput. Syst. Sci., 1980)

The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions. - Michael A. Arbib; Ernest G. Manes (J. ACM, 1982)

Parametrized Data Types Do Not Need Highly Constrained Parameters - Michael A. Arbib; Ernest G. Manes (Inf. Control., 1982)

Port Automata and the Algebra of Concurrent Processes. - Martha Steenstrup; Michael A. Arbib; Ernest G. Manes (J. Comput. Syst. Sci., 1983)

Weakest Preconditions: Categorical Insights. - Ernest G. Manes (CTCS, 1985)

Additive Domains. - Ernest G. Manes (Mathematical Foundations of Programming Semantics, 1985)

Algebraic Approaches to Program Ssemantics. - Ernest G. Manes; Michael A. Arbib (Springer, 1986)

Assertional Categories. - Ernie Manes (MFPS, 1987)

Monads, Matrices and Generalized Dynamic Algebra. - Ernest G. Manes (Categorial Methods in Computer Science, 1988)

A Transformational Characterization of if-then-else. - Ernest G. Manes (Theor. Comput. Sci., 1990)

Equations for if-then-else. - Ernest G. Manes (MFPS, 1991)

Predicate transformer semantics. - Ernest G. Manes (Cambridge University Press, 1992)

The Equational Theory of a Boolean Monad. - Ernest G. Manes (FCT, 1993)

Iteration 2-Theories: Extended Abstract. - Stephen L. Bloom; Anna Labella; Zoltán Ésik; Ernest G. Manes (AMAST, 1997)

Implementing Collection Classes with Monads. - Ernest G. Manes (Math. Struct. Comput. Sci., 1998)

Iteration 2-theories. - Stephen L. Bloom; Zoltán Ésik; Anna Labella; Ernest G. Manes (Appl. Categorical Struct., 2001)

Taut Monads and T0-spaces. - Ernest G. Manes (Theor. Comput. Sci., 2002)

Boolean restriction categories and taut monads. - Ernie Manes (Theor. Comput. Sci., 2006)

Taut Monads, Dynamic Logic and Determinism. - Ernie Manes (MFPS, 2007)

Monad compositions II: Kleisli strength. - Ernie Manes; Philip S. Mulry (Math. Struct. Comput. Sci., 2008)

Boolean and classical restriction categories. - J. Robin B. Cockett; Ernie Manes (Math. Struct. Comput. Sci., 2009)

Near Distributive Laws. - Ernie Manes; Philip S. Mulry (MFPS, 2018)

Continuous Monads. - Ernie Manes (MFPS, 2020)