Ernest G. Manes

29 papers B 5Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2002 J jnl
Taut Monads and T0-spaces.
Theor. Comput. Sci.
Ernest G. Manes
2001 J jnl
Iteration 2-theories.
Appl. Categorical Struct.
Stephen L. Bloom, Zoltán Ésik, Anna Labella, Ernest G. Manes
1998 J jnl
Implementing Collection Classes with Monads.
Math. Struct. Comput. Sci.
Ernest G. Manes
1997 — conf
Iteration 2-Theories: Extended Abstract.
AMAST
Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes
1993 B conf
The Equational Theory of a Boolean Monad.
FCT
Ernest G. Manes
1992 — book
Predicate transformer semantics.
Ernest G. Manes
1991 B conf
Equations for if-then-else.
MFPS
Ernest G. Manes
1990 J jnl
A Transformational Characterization of
Theor. Comput. Sci.
Ernest G. Manes
1988 — conf
Monads, Matrices and Generalized Dynamic Algebra.
Categorial Methods in Computer Science
Ernest G. Manes
1986 — book
Algebraic Approaches to Program Ssemantics.
Ernest G. Manes, Michael A. Arbib
1985 B conf
Additive Domains.
Mathematical Foundations of Programming Semantics
Ernest G. Manes
1985 — conf
Weakest Preconditions: Categorical Insights.
CTCS
Ernest G. Manes
1983 J jnl
Port Automata and the Algebra of Concurrent Processes.
J. Comput. Syst. Sci.
Martha Steenstrup, Michael A. Arbib, Ernest G. Manes
1982 J jnl
Parametrized Data Types Do Not Need Highly Constrained Parameters
Inf. Control.
Michael A. Arbib, Ernest G. Manes
1982 J jnl
The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions.
J. ACM
Michael A. Arbib, Ernest G. Manes
1980 J jnl
Foundations of System Theory: The Hankel Matrix.
J. Comput. Syst. Sci.
Michael A. Arbib, Ernest G. Manes
1979 J jnl
Intertwined Recursion, Tree Transformations, and Linear Systems
Inf. Control.
Michael A. Arbib, Ernest G. Manes
1979 B conf
Partially-additive semantics: A progress report.
FCT
Ernest G. Manes
1978 — conf
Partially-Additive Monoids, Graph-Growing, and the Algebraic Semantics of Recursive Calls.
Graph-Grammars and Their Application to Computer Science and Biology
Michael A. Arbib, Ernest G. Manes
1978 J jnl
Tree transformations and the semantics of loop-free programs.
Acta Cybern.
Michael A. Arbib, Ernest G. Manes
1977 B conf
Efficient State-Splitting.
FCT
Michael A. Arbib, Ernest G. Manes
1977 J jnl
On the Point Transitivity of Symbolic Flows.
Math. Syst. Theory
Ernest G. Manes
1975 — ed.
Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings
Category Theory Applied to Computation and Control
Ernest G. Manes
1974 — conf
A categorist's view of automata and systems.
Category Theory Applied to Computation and Control
Michael A. Arbib, Ernest G. Manes
1974 — conf
Basic concepts of category theory applicable to computation and control.
Category Theory Applied to Computation and Control
Michael A. Arbib, Ernest G. Manes
1974 J jnl
Foundations of system theory: Decomposable systems.
Autom.
Michael A. Arbib, Ernest G. Manes
1974 — conf
Fuzzy morphism in automata theory.
Category Theory Applied to Computation and Control
Michael A. Arbib, Ernest G. Manes
1974 — conf
Realization of multilinear and multidcomposable machines.
Category Theory Applied to Computation and Control
Brian D. O. Anderson, Michael A. Arbib, Ernest G. Manes
1974 — conf
Time-varying systems.
Category Theory Applied to Computation and Control
Michael A. Arbib, Ernest G. Manes