Hartmut Ehrig

Hartmut Ehrig (born 6 December 1944 in Angermünde; died 17 March 2016) was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars. Provided by Wikipedia
Showing 1 - 20 results of 149 for search 'Ehrig, Hartmut', query time: 0.19s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Transformation of type graphs with inheritance for ensuring security in e-government networks (long version)

    Transformation of type graphs with inheritance for ensuring security in e-government networks (long version) by Hermann, Frank, Ehrig, Hartmut 1944-2016, Ermel, Claudia

    Published 2011
    Get full text
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Concurrent model synchronization with conflict resolution based on triple graph grammars

    Concurrent model synchronization with conflict resolution based on triple graph grammars by Hermann, Frank, Ehrig, Hartmut 1944-2016, Ermel, Claudia, Orejas, Fernando

    Published 2011
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    Formal analysis of functional behaviour for model transformations based on triple graph grammars

    Formal analysis of functional behaviour for model transformations based on triple graph grammars by Hermann, Frank, Ehrig, Hartmut 1944-2016, Orejas, Fernando, Golas, Ulrike 1980-

    Published 2010
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Finitary M-adhesive categories

    Finitary M-adhesive categories by Gabriel, Karsten, Braatz, Benjamin, Ehrig, Hartmut 1944-2016, Golas, Ulrike 1980-

    Published 2010
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    Propagation of constraints along model transformatons based on triple graph grammars

    Propagation of constraints along model transformatons based on triple graph grammars by Schölzel, Hanna, Ehrig, Hartmut 1944-2016, Hermann, Frank, Brandt, Christoph

    Published 2010
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Evolution of model transformations by model refactoring: long version

    Evolution of model transformations by model refactoring: long version by Ehrig, Hartmut 1944-2016, Ehrig, Karsten, Ermel, Claudia

    Published 2009
    Get full text
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Completeness and correctness of model transformations based on triple graph grammars with negative application conditions

    Completeness and correctness of model transformations based on triple graph grammars with negative application conditions by Ehrig, Hartmut 1944-2016, Hermann, Frank, Sartorius, Christoph

    Published 2009
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  8. 8
    Generalized typed attributed graph transformation systems based on morphisms changing type graphs and data signatures

    Generalized typed attributed graph transformation systems based on morphisms changing type graphs and data signatures by Ehrig, Hartmut 1944-2016, Ehrig, Karsten, Ermel, Claudia, Prange, Ulrike

    Published 2009
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  9. 9
    Sufficient criteria for applicability and non-applicability of rule sequences

    Sufficient criteria for applicability and non-applicability of rule sequences by Lambers, Leen, Ehrig, Hartmut 1944-2016, Taentzer, Gabriele 1963-

    Published 2008
    Get full text
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    From model transformation to model integration based on the algebraic approach to triple graph grammars

    From model transformation to model integration based on the algebraic approach to triple graph grammars by Ehrig, Hartmut 1944-2016, Ehrig, Karsten, Hermann, Frank

    Published 2008
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  11. 11
    On the relationship of model transformations based on triple and plain graph grammars (Long version)

    On the relationship of model transformations based on triple and plain graph grammars (Long version) by Ehrig, Hartmut 1944-2016, Ermel, Claudia, Hermann, Frank

    Published 2008
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  12. 12
    Efficient conflict detection in graph transformation systems by essential critical pairs

    Efficient conflict detection in graph transformation systems by essential critical pairs by Lambers, Leen, Ehrig, Hartmut 1944-2016, Orejas, Fernando

    Published 2006
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors

    Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors by Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Orejas, Fernando

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Graph grammars an introduction to the double pushout approach

    Graph grammars an introduction to the double pushout approach by Martini, Alfio, Ehrig, Hartmut 1944-2016, Nunes, Daltro

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development

    A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development by Ehrig, Hartmut 1944-2016, Mahr, Bernd

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Algebraic high level nets Petri nets revisited

    Algebraic high level nets Petri nets revisited by Ehrig, Hartmut 1944-2016, Padberg, Julia, Ribeiro, Leila

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    FLEX a flexible extension and integration concept for software development in KORSO and COMPASS

    FLEX a flexible extension and integration concept for software development in KORSO and COMPASS by Ehrig, Hartmut 1944-2016

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Algebraic specification techniques and tools for software development the ACT approach

    Algebraic specification techniques and tools for software development the ACT approach by Claßen, Ingo, Ehrig, Hartmut 1944-2016, Wolz, Dietmar

    Published 1993
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    Specification techniques for concurrent and distributed systems

    Specification techniques for concurrent and distributed systems by Ehrig, Hartmut 1944-2016, Große-Rhode, Martin, Heise, Andreas

    Published 1992
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Nonequivalence of categories for equational algebraic specifications in view of high level replacement systems

    Nonequivalence of categories for equational algebraic specifications in view of high level replacement systems by Ehrig, Hartmut 1944-2016, Parisi-Presicce, Francesco

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: