Concepedia

Ernest G. Manes

EG

Statistics

Publications

22

Citations

946

H-Index

17

Active since

1970

Affiliations

University of Massachusetts Amherst(Current)

Stevens Institute of Technology

Eötvös József Főiskola

Ernest G. Manes is an author at University of Massachusetts Amherst specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceSystems EngineeringAutomationFormal MethodsArtificial IntelligenceFuzzy LogicFuzzy SystemsFormal Verification

Publications per year

1970–2002

22

Publications

22

Machines in a Category: An Expository Introduction

Michael A. Arbib, Ernest G. Manes · SIAM Review · 1974 · 133 citations

Artificial Intelligence, Tree Automata, Engineering +18

Foundations of system theory: Decomposable systems

Michael A. Arbib, Ernest G. Manes · Automatica · 1974 · 83 citations

System Of System, Decomposable Systems, Systems Engineering +2

Adjoint machines, state-behavior machines, and duality

Michael A. Arbib, Ernest G. Manes · Journal of Pure and Applied Algebra · 1975 · 76 citations · Full text

Artificial Intelligence, Engineering, State Space Search +8

Compact Hausdorff objects

Ernest G. Manes · General Topology and its Applications · 1974 · 73 citations

Topological Property, Compact Hausdorff Objects, Computational Topology +1

Port automata and the algebra of concurrent processes

Martha Steenstrup, Michael A. Arbib, Ernest G. Manes · Journal of Computer and System Sciences · 1983 · 71 citations

Engineering, Port Automata, Concurrency Theory +5

1–5 of 22