The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ernest G. Manes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  25. Iteration 2-theories. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.305secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002