dblp.uni-trier.dewww.uni-trier.de

Ernest G. Manes

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
26EEErnest G. Manes: Taut Monads and T0-spaces. Theor. Comput. Sci. 275(1-2): 79-109 (2002)
2001
25EEStephen L. Bloom, Zoltán Ésik, Anna Labella, Ernest G. Manes: Iteration 2-theories. Applied Categorical Structures 9(2): 173-216 (2001)
1998
24 Ernest G. Manes: Implementing Collection Classes with Monads. Mathematical Structures in Computer Science 8(3): 231-276 (1998)
1997
23 Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes: Iteration 2-Theories: Extended Abstract. AMAST 1997: 30-44
1993
22 Ernest G. Manes: The Equational Theory of a Boolean Monad. FCT 1993: 363-374
1991
21 Ernest G. Manes: Equations for if-then-else. MFPS 1991: 446-456
1990
20 Ernest G. Manes: A Transformational Characterization of if-then-else. Theor. Comput. Sci. 71(3): 413-417 (1990)
1988
19 Ernest G. Manes: Monads, Matrices and Generalized Dynamic Algebra. Categorial Methods in Computer Science 1988: 66-81
1985
18 Ernest G. Manes: Weakest Preconditions: Categorical Insights. CTCS 1985: 182-197
17 Ernest G. Manes: Additive Domains. Mathematical Foundations of Programming Semantics 1985: 184-195
1983
16 Martha Steenstrup, Michael A. Arbib, Ernest G. Manes: Port Automata and the Algebra of Concurrent Processes. J. Comput. Syst. Sci. 27(1): 29-50 (1983)
1982
15 Michael A. Arbib, Ernest G. Manes: Parametrized Data Types Do Not Need Highly Constrained Parameters Information and Control 52(2): 139-158 (1982)
14EEMichael A. Arbib, Ernest G. Manes: The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions. J. ACM 29(2): 577-602 (1982)
1980
13 Michael A. Arbib, Ernest G. Manes: Tree transformations and the semantics of loop-free programs. Acta Cybern. 4: 11-17 (1980)
12 Michael A. Arbib, Ernest G. Manes: Foundations of System Theory: The Hankel Matrix. J. Comput. Syst. Sci. 20(3): 330-378 (1980)
1979
11 Ernest G. Manes: Partially-additive semantics: A progress report. FCT 1979: 279-290
10 Michael A. Arbib, Ernest G. Manes: Intertwined Recursion, Tree Transformations, and Linear Systems Information and Control 40(2): 144-180 (1979)
1978
9 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: 127-138
1977
8 Michael A. Arbib, Ernest G. Manes: Efficient State-Splitting. FCT 1977: 228-239
7 Ernest G. Manes: On the Point Transitivity of Symbolic Flows. Mathematical Systems Theory 10: 259-261 (1977)
1975
6 Ernest G. Manes: Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings Springer 1975
1974
5 Michael A. Arbib, Ernest G. Manes: Basic concepts of category theory applicable to computation and control. Category Theory Applied to Computation and Control 1974: 1-34
4 Michael A. Arbib, Ernest G. Manes: A categorist's view of automata and systems. Category Theory Applied to Computation and Control 1974: 51-64
3 Brian D. O. Anderson, Michael A. Arbib, Ernest G. Manes: Realization of multilinear and multidcomposable machines. Category Theory Applied to Computation and Control 1974: 73-79
2 Michael A. Arbib, Ernest G. Manes: Fuzzy morphism in automata theory. Category Theory Applied to Computation and Control 1974: 80-86
1 Michael A. Arbib, Ernest G. Manes: Time-varying sytems. Category Theory Applied to Computation and Control 1974: 87-92

Coauthor Index

1Brian D. O. Anderson [3]
2Michael A. Arbib [1] [2] [3] [4] [5] [8] [9] [10] [12] [13] [14] [15] [16]
3Stephen L. Bloom [23] [25]
4Zoltán Ésik [23] [25]
5Anna Labella [23] [25]
6Martha Steenstrup [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)