← Back to directory
Hartmut Ehrig
Researcher Next ID · RN-011728
Researcher · Computer Science
Abiola Ajimobi Technical University Ibadan
, Nigeria
Not currently recruitingFunding unknown
- Works count
- 576
- Citation count
- 14,634
- H-index
- 52
- i10-index
- 225
Research interests
Computer Science
Model-Driven Software Engineering Techniques
Formal Methods in Verification
Advanced Software Engineering Methodologies
Logic, programming, and type systems
Semantic Web and Ontologies
Publications
Fundamentals of Algebraic Graph Transformation
Journal · 2006 · 10.1007/3-540-31188-2
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Journal · 1992
Fundamentals of Algebraic Specification 2
Journal · 1990 · 10.1007/978-3-642-61284-8
Fundamentals of Algebraic Specification 1
Journal · 1985 · 10.1007/978-3-642-69962-7
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Journal · 1985
Current projects
No projects listed.