Search Results - Ehrig, Hartmut

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
Refine Results
  1. 1
    Cover Image

    Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints / by Ehrig, Hartmut

    Published 1990
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics / by Ehrig, Hartmut

    Published 1985
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    Fundamentals of algebraic specification / by Ehrig, Hartmut

    Published 1985
    Book

    Save to List
    Saved in:
  4. 4
    Cover Image

    Graph and model transformation : general framework and applications / by Ehrig, Hartmut, Ermel, Claudia, Golas, Ulrike, 1980-, Hermann, Frank

    Published 2015
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  5. 5
    Cover Image

    Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings /

    Published 2004
    Other Authors: “…Ehrig, Hartmut…”
    Access full-text online
    Conference Proceeding Book

    Save to List
    Saved in:
  6. 6
    Cover Image

    Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report /

    Published 2004
    Other Authors: “…Ehrig, Hartmut…”
    Access full-text online
    Conference Proceeding Book

    Save to List
    Saved in:
  7. 7
    Cover Image

    Graph transformations 5th international conference, ICGT 2010, Enschede, the Netherlands, September 27-October 2, 2010 : proceedings /

    Published 2010
    Other Authors: “…Ehrig, Hartmut…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  8. 8
    Cover Image

    Unifying Petri nets : advances in Petri nets /

    Published 2001
    Other Authors: “…Ehrig, Hartmut…”
    Book

    Save to List
    Saved in:
  9. 9
    Cover Image

    Petri net technology for communication-based systems : advances in Petri nets /

    Published 2003
    Other Authors: “…Ehrig, Hartmut…”
    Access full-text online
    Book

    Save to List
    Saved in:
  10. 10
    Cover Image

    Fundamentals of algebraic graph transformtion /

    Published 2006
    Other Authors: “…Ehrig, Hartmut…”
    Book

    Save to List
    Saved in:
  11. 11
    Cover Image

    Categorical methods in computer science : with aspects from topology /

    Published 1989
    Other Authors: “…Ehrig, Hartmut…”
    Conference Proceeding Book

    Save to List
    Saved in:
  12. 12
    Cover Image

    Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types : proceedings, Wusterhausen/Dosse, Germany, April 17-20, 1990 /

    Published 1991
    Other Authors: “…Ehrig, Hartmut…”
    Conference Proceeding Book

    Save to List
    Saved in:
  13. 13
    Cover Image

    Mathematical foundations of software development

    Published 1985
    Other Authors: “…Ehrig, Hartmut…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  14. 14
    Cover Image

    Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

    Published 1985
    Other Authors: “…Ehrig, Hartmut…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  15. 15
    Cover Image

    Graph transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /

    Published 2012
    Other Authors: “…Ehrig, Hartmut…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  16. 16
    Cover Image

    Integration of software specification techniques for applications in engineering Priority Program SoftSpez of the German Research Foundation (DFG) : final report /

    Published 2004
    Other Authors: “…Ehrig, Hartmut…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  17. 17
    Cover Image

    Theory and application of graph transformations 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers /

    Published 2000
    Other Authors: “…Ehrig, Hartmut…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  18. 18
    Cover Image

    Categorical methods in computer science : with aspects from topology /

    Published 1989
    Other Authors: “…Ehrig, Hartmut…”
    Full Text (via Internet Archive)
    Conference Proceeding eBook

    Save to List
    Saved in:
  19. 19
    Cover Image

    Petri net technology for communication-based systems : advances in Petri nets /

    Published 2003
    Other Authors: “…Ehrig, Hartmut…”
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  20. 20
    Cover Image

    Unifying petri nets advances in petri nets /

    Published 2001
    Other Authors: “…Ehrig, Hartmut…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search