Ehrig, Hartmut.
Ehrig, Hartmut 1944-2016
Ehrig, Hartmut, 1944-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Ehrig, Hartmut, Software, theoretische informatica, 1944-
Hartmut Ehrig
VIAF ID: 91382328 (Personal)
Permalink: http://viaf.org/viaf/91382328
Preferred Forms
-
100 1 _
‡a
Ehrig, Hartmut
-
100 1 _ ‡a Ehrig, Hartmut
-
100 1 _
‡a
Ehrig, Hartmut
-
100 1 _ ‡a Ehrig, Hartmut
-
100 1 _
‡a
Ehrig, Hartmut
-
100 1 _ ‡a Ehrig, Hartmut
-
100 1 _ ‡a Ehrig, Hartmut
-
100 1 _ ‡a Ehrig, Hartmut
-
100 1 _
‡a
Ehrig, Hartmut
‡d
1944-2016
-
100 1 _ ‡a Ehrig, Hartmut, ‡c Software, theoretische informatica, ‡d 1944-
-
100 1 _ ‡a Ehrig, Hartmut, ‡d 1944-
-
100 1 _
‡a
Ehrig, Hartmut,
‡d
1944-....
-
100 1 _ ‡a Ehrig, Hartmut.
-
200 _ 1 ‡a Ehrig, ‡b Hartmut
-
100 0 _
‡a
Hartmut Ehrig
4xx's: Alternate Name Forms (11)
5xx's: Related Names (6)
- 551 _ _
‡a
Angermünde
‡4
ortg
‡4
http://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _
‡a
International Joint Conference Theory and Practice of Software Development, 1985
- 510 2 _
‡a
Technische Universität Berlin
‡4
affi
‡4
http://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
- 510 2 _
‡a
Technische Universität Berlin
- 510 2 _
‡a
Technische Universität Berlin Fachbereich Informatik
- 510 2 _
‡a
Technische Universität Berlin Fachbereich Kybernetik
Works
| Title | Sources |
|---|---|
| Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) |
|
| Algebraic high level nets Petri nets revisited |
|
| Categorical methods in computer science with aspects from topology |
|
| Colloquium on software engineering (CSE) |
|
| COMPASS |
|
| Concurrency in Reconfigurable Place/Systems Independence of Net Transformations as well as Net Transformations and Token Firing |
|
| Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors |
|
| Equations and Initial Semantics |
|
| Finitary M-Adhesive Categories Unabridged Version |
|
| Formal analysis and verification of self-healing systems: long version |
|
| Formal and natural computing : essays dedicated to Grzegorz Rozenberg |
|
| Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday |
|
| From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars |
|
| Fundamentals of algebraic specification |
|
| Generalized Typed Attributed Graph Transformation Systems based on Morphisms Changing Type Graphs and Data Signature |
|
| generic component concept for integrated data type and process modeling techniques |
|
| Graph and Model Transformation General Framework and Applications |
|
| Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 |
|
| Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings |
|
| Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings |
|
| Handbook of graph grammars and computing by graph transformation. |
|
| ICGT 2004 |
|
| Integration of software specification techniques for applications in engineering priority program softspez of the German Research Foundation (DFG) ; final report |
|
| Kategorien und Automaten |
|
| Kick-off-Workshop der DFG-Forschergruppe Petrinetz-Technologie : Berlin, 15. Juli 1996 |
|
| Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion |
|
| Mathematisch-strukturelle Grundlagen der Informatik |
|
| New concepts for amalgamation and extension in the framework of specification logics |
|
| Parallelism and concurrency in high level replacement systems |
|
| Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers |
|
| Relevance, integration and classification of specification formalisms and formal specification techniques |
|
| Solvability and complexity of algebraic implementation problems |
|
| Specification techniques for concurrent and distributed systems |
|
| Sufficient criteria for applicability and non-applicability of rule sequences |
|
| Systematic approach of reduction and minimization in automata and system theory |
|
| TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 |
|
| Termination criteria for model transformation |
|
| Three papers on graph rewriting systems and their applications |
|
| Transfer of local confluence and termination between Petri net and graph transformation systems based on M-functors: extended version |
|
| Transformation of combined data type and process specifications using projection algebras |
|
| Unifying Petri nets advances in Petri nets |
|
| Universal theory of automata : a categorical approach |
|
