Ernest G. Manes

Publication Activity (10 Years)

Years Active: 1974-2002
Publications (10 Years): 0

Publications

Ernest G. Manes
Taut Monads and T0-spaces. Theor. Comput. Sci. 275 (1-2) (2002)
Stephen L. Bloom, Zoltán Ésik, Anna Labella, Ernest G. Manes
Iteration 2-theories. Appl. Categorical Struct. 9 (2) (2001)
Ernest G. Manes
Implementing Collection Classes with Monads. Math. Struct. Comput. Sci. 8 (3) (1998)
Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes
Iteration 2-Theories: Extended Abstract. AMAST (1997)
Ernest G. Manes
The Equational Theory of a Boolean Monad. FCT (1993)
Ernest G. Manes
Equations for if-then-else. MFPS (1991)
Ernest G. Manes
. Theor. Comput. Sci. 71 (3) (1990)
Ernest G. Manes
Monads, Matrices and Generalized Dynamic Algebra. Categorial Methods in Computer Science (1988)
Ernest G. Manes
Weakest Preconditions: Categorical Insights. CTCS (1985)
Ernest G. Manes
Additive Domains. Mathematical Foundations of Programming Semantics (1985)
Martha Steenstrup, Michael A. Arbib, Ernest G. Manes
Port Automata and the Algebra of Concurrent Processes. J. Comput. Syst. Sci. 27 (1) (1983)
Michael A. Arbib, Ernest G. Manes
The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions. J. ACM 29 (2) (1982)
Michael A. Arbib, Ernest G. Manes
Parametrized Data Types Do Not Need Highly Constrained Parameters Inf. Control. 52 (2) (1982)
Michael A. Arbib, Ernest G. Manes
Foundations of System Theory: The Hankel Matrix. J. Comput. Syst. Sci. 20 (3) (1980)
Ernest G. Manes
Partially-additive semantics: A progress report. FCT (1979)
Michael A. Arbib, Ernest G. Manes
Intertwined Recursion, Tree Transformations, and Linear Systems Inf. Control. 40 (2) (1979)
Michael A. Arbib, Ernest G. Manes
Tree transformations and the semantics of loop-free programs. Acta Cybern. 4 (1) (1978)
Michael A. Arbib, Ernest G. Manes
Partially-Additive Monoids, Graph-Growing, and the Algebraic Semantics of Recursive Calls. Graph-Grammars and Their Application to Computer Science and Biology (1978)
Ernest G. Manes
On the Point Transitivity of Symbolic Flows. Math. Syst. Theory 10 (1977)
Michael A. Arbib, Ernest G. Manes
Efficient State-Splitting. FCT (1977)
Michael A. Arbib, Ernest G. Manes
Basic concepts of category theory applicable to computation and control. Category Theory Applied to Computation and Control (1974)
Michael A. Arbib, Ernest G. Manes
Time-varying systems. Category Theory Applied to Computation and Control (1974)
Michael A. Arbib, Ernest G. Manes
Foundations of system theory: Decomposable systems. Autom. 10 (3) (1974)
Brian D. O. Anderson, Michael A. Arbib, Ernest G. Manes
Realization of multilinear and multidcomposable machines. Category Theory Applied to Computation and Control (1974)
Michael A. Arbib, Ernest G. Manes
Fuzzy morphism in automata theory. Category Theory Applied to Computation and Control (1974)
Michael A. Arbib, Ernest G. Manes
A categorist's view of automata and systems. Category Theory Applied to Computation and Control (1974)