The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Hartmut Ehrig: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber
    Algebraic Specification Schemes for Data Base Systems. [Citation Graph (9, 7)][DBLP]
    VLDB, 1978, pp:427-440 [Conf]
  2. Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig
    A View-Oriented Approach to System Modelling Based on Graph Transformation. [Citation Graph (1, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:327-343 [Conf]
  3. Hartmut Ehrig
    Introduction to the Algebraic Theory of Graph Grammars (A Survey). [Citation Graph (1, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science and Biology, 1978, pp:1-69 [Conf]
  4. Hartmut Ehrig, Werner Fey
    Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. [Citation Graph (1, 0)][DBLP]
    GI Jahrestagung, 1981, pp:255-269 [Conf]
  5. Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
    Stepwise Specification and Implementation of Abstract Data Types. [Citation Graph (1, 0)][DBLP]
    ICALP, 1978, pp:205-226 [Conf]
  6. Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce
    Algebraic Specification of Modules and Their Basic Interconnections. [Citation Graph (1, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:293-339 [Journal]
  7. Herbert Weber, Hartmut Ehrig
    Specification of Modular Systems. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:7, pp:784-798 [Journal]
  8. Hartmut Ehrig, Julia Padberg
    Graph Grammars and Petri Net Transformations. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:496-536 [Conf]
  9. Hartmut Ehrig
    ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems. [Citation Graph (0, 0)][DBLP]
    ADT, 1982, pp:- [Conf]
  10. Hartmut Ehrig
    Parameterized Data Types and Parameter Passing. [Citation Graph (0, 0)][DBLP]
    ADT, 1982, pp:- [Conf]
  11. Hartmut Ehrig
    Towards an Algebraic Semantics of the ISO Specification Language LOTOS. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  12. Hartmut Ehrig, Werner Fey, Horst Hansen
    ACT ONE - An Algebraic Specification Language with two Levels of Semantics. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  13. Hartmut Ehrig, Werner Fey, Horst Hansen
    Towards Abstract User Interfaces for Formal System Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:73-88 [Conf]
  14. Hartmut Ehrig, Francesco Parisi-Presicce
    A Match Operation for Rule-Based Modular System Design. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:74-97 [Conf]
  15. Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
    Algebraic Data Type and Process Specifications based on Projection Spaces. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:23-43 [Conf]
  16. Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe
    Algebraic Theory of Modular Specification Development. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  17. Hartmut Ehrig, Francesco Parisi-Presicce
    High-Level-Replacement Systems for Equational Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:3-20 [Conf]
  18. Hartmut Ehrig, Francesco Parisi-Presicce
    Interaction between Algebraic Specification Grammars and Modular System Design. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:217-224 [Conf]
  19. Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas
    Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:145-172 [Conf]
  20. Magdalena Gajewsky, Hartmut Ehrig
    The »Petri Net Baukasten«: An Overview. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:26-53 [Conf]
  21. Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
    High-Level Nets with Nets and Rules as Tokens. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:268-288 [Conf]
  22. Julia Padberg, Hartmut Ehrig
    Parameterized Net Classes: A Uniform Approach to Petri Net Classes. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:173-229 [Conf]
  23. Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg
    Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:230-249 [Conf]
  24. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel
    High-Level Net Processes. [Citation Graph (0, 0)][DBLP]
    Formal and Natural Computing, 2002, pp:191-219 [Conf]
  25. Hartmut Ehrig, Michael Löwe
    From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach. [Citation Graph (0, 0)][DBLP]
    Informatik zwischen Wissenschaft und Gesellschaft, 1992, pp:47-65 [Conf]
  26. Hartmut Ehrig, Ulrike Prange
    Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:235-251 [Conf]
  27. Hartmut Ehrig, Julia Padberg
    A Uniform Approach to Petri Nets. [Citation Graph (0, 0)][DBLP]
    Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:219-231 [Conf]
  28. Hartmut Ehrig
    Algebraic Theory of Parameterized Specifications with Requirements. [Citation Graph (0, 0)][DBLP]
    CAAP, 1981, pp:1-24 [Conf]
  29. Hartmut Ehrig
    Categorical Concept of Constraints for Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Categorial Methods in Computer Science, 1988, pp:1-15 [Conf]
  30. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
    Categories for the Development of Algebraic Module Specifications. [Citation Graph (0, 0)][DBLP]
    Categorial Methods in Computer Science, 1988, pp:157-184 [Conf]
  31. Hartmut Ehrig, Hans-Jörg Kreowski
    Power and initial automata in pseudoclosed categories. [Citation Graph (0, 0)][DBLP]
    Category Theory Applied to Computation and Control, 1974, pp:144-150 [Conf]
  32. Hartmut Ehrig, Wolfgang Kühnel, Michael Pfender
    Diagram characterization. [Citation Graph (0, 0)][DBLP]
    Category Theory Applied to Computation and Control, 1974, pp:137-143 [Conf]
  33. Horst Herrlich, Hartmut Ehrig
    The Construct PRO of Projection Spaces: Its Internal Structure. [Citation Graph (0, 0)][DBLP]
    Categorial Methods in Computer Science, 1988, pp:286-293 [Conf]
  34. Fernando Orejas, Pilar Nivela, Hartmut Ehrig
    Semantical Constructions for Categories of Behavioural Specifications. [Citation Graph (0, 0)][DBLP]
    Categorial Methods in Computer Science, 1988, pp:220-243 [Conf]
  35. Hartmut Ehrig, Michael Baldamus, Fernando Orejas
    New Concepts of Amalgamation and Extension for a General Theory of Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:199-221 [Conf]
  36. Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
    On the Role of Category Theory in the Area of Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:17-48 [Conf]
  37. Hartmut Ehrig, Michael Löwe, Fernando Orejas
    Dynamic Abstract Data Types Based on Algebraic Graph Transformations. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:236-254 [Conf]
  38. Hartmut Ehrig, Francesco Parisi-Presicce
    Non-Equivalence of Categories for Equational Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:222-235 [Conf]
  39. Hartmut Ehrig, Julia Padberg, Leila Ribeiro
    Algebraic High-Level Nets: Petri Nets Revisited. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:188-206 [Conf]
  40. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
    Compositional Modeling of Reactive Systems Using Open Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:502-518 [Conf]
  41. Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
    Horizontal and Vertical Structuring Techniques for Statecharts. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:181-195 [Conf]
  42. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    Abstract Graph Derivations in the Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:86-103 [Conf]
  43. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:119-137 [Conf]
  44. Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay
    Termination Criteria for Model Transformation. [Citation Graph (0, 0)][DBLP]
    Transformation Techniques in Software Engineering, 2005, pp:- [Conf]
  45. Hartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer
    Canonical Derivaitons for High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:153-169 [Conf]
  46. Benjamin Braatz, Hartmut Ehrig, Milan Urbásek
    Petri Net Transformations in the "Petri Net Baukasten". [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:37-65 [Conf]
  47. Hartmut Ehrig
    Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:1-8 [Conf]
  48. Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig
    Generation of Animation Views for Petri Nets in GenGED. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:83-108 [Conf]
  49. Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali
    The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:1-21 [Conf]
  50. Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer
    Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:214-228 [Conf]
  51. Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay
    Termination Criteria for Model Transformation. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:49-63 [Conf]
  52. Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
    A Generic Component Framework for System Modeling. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:33-48 [Conf]
  53. Hartmut Ehrig
    Embedding Theorem in the Algebraic Theory of Graph Grammars. [Citation Graph (0, 0)][DBLP]
    FCT, 1977, pp:245-255 [Conf]
  54. Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Parameter Passing in Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP]
    Program Specification, 1981, pp:322-369 [Conf]
  55. Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen
    KWIC-index generation. [Citation Graph (0, 0)][DBLP]
    Program Specification, 1981, pp:47-117 [Conf]
  56. Hartmut Ehrig, Michael Pfender, Hans Jürgen Schneider
    Graph-Grammars: An Algebraic Approach [Citation Graph (0, 0)][DBLP]
    FOCS, 1973, pp:167-180 [Conf]
  57. Hartmut Ehrig, Barbara König
    Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:151-166 [Conf]
  58. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs
    Algebraic Software Development Concepts for Module and Configuration Families. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1989, pp:181-192 [Conf]
  59. Herbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke
    Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. [Citation Graph (0, 0)][DBLP]
    German-Argentinian Workshop on Information Technology, 1999, pp:23-30 [Conf]
  60. Hartmut Ehrig
    Aspects of concurrency in graph grammars. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1982, pp:58-81 [Conf]
  61. Hartmut Ehrig
    Tutorial introduction to the algebraic approach of graph grammars. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1986, pp:3-14 [Conf]
  62. Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann
    Constraints and Application Conditions: From Graphs to High-Level Structures. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:287-303 [Conf]
  63. Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini
    Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Handbook of Graph Grammars, 1997, pp:247-312 [Conf]
  64. Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
    From Graph Grammars to High Level Replacement Systems. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:269-291 [Conf]
  65. Paolo Baldan, Hartmut Ehrig, Barbara König
    Composition and Decomposition of DPO Transformations with Borrowed Context. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:153-167 [Conf]
  66. Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
    Workshop on Petri Nets and Graph Transformations. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:467-469 [Conf]
  67. Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
    Adhesive High-Level Replacement Categories and Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:144-160 [Conf]
  68. Hartmut Ehrig, Martin Korff, Michael Löwe
    Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:24-37 [Conf]
  69. Hartmut Ehrig, Axel Liedtke
    Locally Star Sluing Formulas for a Class of Parallel Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science and Biology, 1978, pp:206-223 [Conf]
  70. Hartmut Ehrig, Michael Löwe
    Computing by Graph Transformation: Overall Aims and New Results. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:688-703 [Conf]
  71. Hartmut Ehrig, Fernando Orejas, Ulrike Prange
    Categorical Foundations of Distributed Graph Transformation. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:215-229 [Conf]
  72. Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
    Workshop on Petri Nets and Graph Transformations. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:442-444 [Conf]
  73. Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
    Fundamental Theory for Typed Attributed Graph Transformation. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:161-177 [Conf]
  74. Hartmut Ehrig, Barry K. Rosen
    Decomposition of Graph Grammar Productions and Derivations. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science and Biology, 1978, pp:192-205 [Conf]
  75. Hartmut Ehrig, John Staples
    Church-Rosser properties for graph replacement systems with unique splitting. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1982, pp:82-101 [Conf]
  76. Hartmut Ehrig, Francesco Parisi-Presicce
    Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:292-310 [Conf]
  77. Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe
    Towards distributed graph grammars. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1986, pp:86-98 [Conf]
  78. Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe
    Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Handbook of Graph Grammars, 1997, pp:163-246 [Conf]
  79. Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe
    Graph Grammars and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:221-237 [Conf]
  80. Leen Lambers, Hartmut Ehrig, Fernando Orejas
    Conflict Detection for Graph Transformation with Negative Application Conditions. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:61-76 [Conf]
  81. Francesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari
    Graph rewriting with unification and composition. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1986, pp:496-514 [Conf]
  82. Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
    Termination Analysis of Model Transformations by Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:260-274 [Conf]
  83. Hartmut Ehrig
    Combined Algebraic Specification Techniques for Concurrent and Distributed Systems. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:528-533 [Conf]
  84. Hartmut Ehrig
    DFG-Schwerpunktprogramm "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen". [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:180-181 [Conf]
  85. Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
    Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:142-156 [Conf]
  86. Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Parameterized Data Types in Algebraic Specification Languages (Short Version). [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:157-168 [Conf]
  87. Hartmut Ehrig, Peter Pepper, Fernando Orejas
    On Recent Trends in Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:263-288 [Conf]
  88. Hartmut Ehrig, Barry K. Rosen
    The Mathematics of Record Handling. [Citation Graph (0, 0)][DBLP]
    ICALP, 1977, pp:206-220 [Conf]
  89. Hartmut Ehrig, Gabriele Taentzer
    A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:427-434 [Conf]
  90. Hartmut Ehrig, Eric G. Wagner, James W. Thatcher
    Algebraic Specifications with Generating Constraints. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:188-202 [Conf]
  91. Hartmut Ehrig, Herbert Weber
    Programming in the Large with Algebraic Module Specifications (Invited Paper). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:675-684 [Conf]
  92. Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum
    Algebraic Theory of Module Specification with Constraints. [Citation Graph (0, 0)][DBLP]
    MFCS, 1986, pp:59-77 [Conf]
  93. Hartmut Ehrig, Hans-Jörg Kreowski
    Parallelism of Manipulations in Multidimensional Information Structures. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:284-293 [Conf]
  94. Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
    Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:231-245 [Conf]
  95. Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
    Deriving Structures from Structures. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:177-190 [Conf]
  96. Hartmut Ehrig, Barry K. Rosen
    Concurrency of Manipulations in Multidimensional Information Structures. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:165-176 [Conf]
  97. Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
    Integrating the Specification Techniques of Graph Transformation and Temporal Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:219-228 [Conf]
  98. Fernando Orejas, Elvira Pino, Hartmut Ehrig
    Algebraic Methods in the Compositional Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:112-126 [Conf]
  99. Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber
    Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme. [Citation Graph (0, 0)][DBLP]
    Formale Modelle für Informationssysteme, 1979, pp:181-198 [Conf]
  100. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    An Event Structure Semantics for Safe Graph Grammars. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:423-444 [Conf]
  101. Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
    A Case Study of Abstract Implementations and Their Correctness. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1980, pp:108-122 [Conf]
  102. Martin Große-Rhode, Hartmut Ehrig
    Transformation of Combined Data Type and Process Specifications Using Projection Algebras. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:301-339 [Conf]
  103. Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski
    Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:75-90 [Conf]
  104. Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe
    Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag). [Citation Graph (0, 0)][DBLP]
    Software-Entwicklung, 1989, pp:201-224 [Conf]
  105. Hartmut Ehrig, Bernd Mahr
    Complexity of Implementations on the Level of Algebraic Specifications [Citation Graph (0, 0)][DBLP]
    STOC, 1980, pp:281-293 [Conf]
  106. Roswitha Bardohl, Hartmut Ehrig
    Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:252-266 [Conf]
  107. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg
    The Category of Typed Graph Grammars and its Adjunctions with Categories. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:56-74 [Conf]
  108. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    An Event Structure Semantics for Graph Grammars with Parallel Productions. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:240-256 [Conf]
  109. Hartmut Ehrig, Gregor Engels
    Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:137-154 [Conf]
  110. Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg
    Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:85-102 [Conf]
  111. Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas
    Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:31-45 [Conf]
  112. Hartmut Ehrig, Bernd Mahr
    A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:3-24 [Conf]
  113. Hartmut Ehrig, Bernd Mahr
    Future Trends of TAPSOFT. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:6-10 [Conf]
  114. Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs
    On the Relationship Between Algebraic Module Specifications and Program Modules. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:83-98 [Conf]
  115. Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
    Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation. [Citation Graph (0, 0)][DBLP]
    VL/HCC, 2005, pp:71-78 [Conf]
  116. Fernando Orejas, Hartmut Ehrig, Elvira Pino
    Tight and Loose Semantics for Transformation Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:238-255 [Conf]
  117. Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter
    From abstract data types to algebraic development techniques: A shift of paradigms. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:1-17 [Conf]
  118. Hartmut Ehrig
    Distributed Parallelism of Graph Transformations. [Citation Graph (0, 0)][DBLP]
    WG, 1987, pp:1-19 [Conf]
  119. Michael Löwe, Hartmut Ehrig
    Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. [Citation Graph (0, 0)][DBLP]
    WG, 1990, pp:338-353 [Conf]
  120. Hartmut Ehrig, Michael Löwe
    Categorical principles, techniques and results for high-level-replacement systems in computer science. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 1993, v:1, n:1, pp:21-50 [Journal]
  121. Hans Jürgen Schneider, Hartmut Ehrig
    Grammars on Partial Graphs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1976, v:6, n:, pp:297-316 [Journal]
  122. Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
    Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:5, pp:460-467 [Journal]
  123. Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
    Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:5, pp:468-477 [Journal]
  124. Hartmut Ehrig, Gabriele Taentzer
    Graphical Represenation and Graph Transformation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1999, v:31, n:3es, pp:9- [Journal]
  125. Hartmut Ehrig, Michael Baldamus, Fernando Orejas
    Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:44, n:, pp:129-143 [Journal]
  126. Hartmut Ehrig
    On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2000, v:71, n:, pp:90-91 [Journal]
  127. Hartmut Ehrig
    A Review of Graph Grammars and Preview of ICGT 2002: The First International Conference on Graph Transformation. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2001, v:75, n:, pp:97- [Journal]
  128. Hartmut Ehrig
    On the Roots, Birth and Childhood of ETAPS. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2001, v:74, n:, pp:58-60 [Journal]
  129. Hartmut Ehrig
    Bigraphs meet Double Pushouts. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2002, v:78, n:, pp:72-85 [Journal]
  130. Hartmut Ehrig
    A Review of Algebraic Specification and Component Techniques at TU Berlin. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2002, v:76, n:, pp:84-87 [Journal]
  131. Hartmut Ehrig
    On the relevance of high-level net processes, Formal Specification Column. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2003, v:79, n:, pp:64-68 [Journal]
  132. Hartmut Ehrig
    Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification). [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2004, v:82, n:, pp:175-190 [Journal]
  133. Hartmut Ehrig
    Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification). [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2004, v:83, n:, pp:156-158 [Journal]
  134. Hartmut Ehrig
    The Algebraic Specification Column. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1987, v:33, n:, pp:25-26 [Journal]
  135. Hartmut Ehrig
    The Algebraic Specification Column. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1987, v:32, n:, pp:70-72 [Journal]
  136. Hartmut Ehrig
    The Algebraic Specification Column. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1988, v:36, n:, pp:52-56 [Journal]
  137. Hartmut Ehrig
    The Algebraic Specification Column. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1988, v:35, n:, pp:69-70 [Journal]
  138. Hartmut Ehrig
    The Algebraic Specification Column. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1988, v:34, n:, pp:39-40 [Journal]
  139. Hartmut Ehrig
    The Algebraic Specification Column. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1989, v:38, n:, pp:79-92 [Journal]
  140. Hartmut Ehrig
    ESF-concepts linked with algebraic module specifications. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:138-144 [Journal]
  141. Hartmut Ehrig
    Some important new facts supporting the development of algebraic specifications. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1992, v:47, n:, pp:135-136 [Journal]
  142. Hartmut Ehrig
    FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1994, v:52, n:, pp:188-202 [Journal]
  143. Hartmut Ehrig
    EATCS Mini-Track of FM'99. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1998, v:66, n:, pp:83-84 [Journal]
  144. Hartmut Ehrig, Michael A. Arbib
    Linking Schemas and Module Specifications: A Proposal. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:42, n:, pp:135- [Journal]
  145. Hartmut Ehrig, Helmut Adametz
    New Compatibility Results for Implementations within the Initial Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:43, n:, pp:102-112 [Journal]
  146. Hartmut Ehrig, Ingo Claßen
    Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1989, v:39, n:, pp:103-111 [Journal]
  147. Hartmut Ehrig, Ingo Claßen
    Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3). [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:145-153 [Journal]
  148. Hartmut Ehrig, Ingo Claßen
    Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:40, n:, pp:172-181 [Journal]
  149. Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann
    On Formal Semantics and Integration of Object-Oriented Modeling Languages. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2000, v:70, n:, pp:77-81 [Journal]
  150. Hartmut Ehrig, Annegret Habel, Udo Hummert, Paul Boehm
    Towards algebraic data types grammars: a junction between algebraic specification and graph grammars. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1986, v:29, n:, pp:22-26 [Journal]
  151. Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas
    Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1995, v:56, n:, pp:- [Journal]
  152. Hartmut Ehrig, Jacques Loeckx, Bernd Mahr
    A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1986, v:30, n:, pp:61-65 [Journal]
  153. Hartmut Ehrig, Bernd Mahr
    Theory and Practice of Software Development: A Review of Driving Forces and Expectations. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1995, v:57, n:, pp:- [Journal]
  154. Hartmut Ehrig, Bernd Mahr
    Algebraic Techniques in Software Development. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1996, v:58, n:, pp:- [Journal]
  155. Hartmut Ehrig, A. Merten, Julia Padberg
    How to Transfer Concepts of Abstract Data Types to Petri Nets? [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1997, v:62, n:, pp:- [Journal]
  156. Hartmut Ehrig, Fernando Orejas
    Dynamic Abstract Data Types: An informal Proposal. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1994, v:53, n:, pp:162-169 [Journal]
  157. Hartmut Ehrig, Fernando Orejas
    Integration Paradigm for Data Type and Process Specification Techniques. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1998, v:65, n:, pp:90-97 [Journal]
  158. Hartmut Ehrig, Julia Padberg
    Linking Algebraic High level Nets and Dynamic Abstract Data. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1994, v:54, n:, pp:132-144 [Journal]
  159. Hartmut Ehrig, Julia Padberg, Fernando Orejas
    From Basic Views and Aspects to Integration of Specification Formalisms. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1999, v:69, n:, pp:98-109 [Journal]
  160. Hartmut Ehrig, Wolfgang Reisig
    An Algebraic View on Petri Nets. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1997, v:61, n:, pp:- [Journal]
  161. Hartmut Ehrig, Gunnar Schröter
    The Role of Mathematics and Formal Specification Techniques in Software System Development. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2000, v:72, n:, pp:77-83 [Journal]
  162. Hartmut Ehrig, Uwe Wolter
    The Impact and Future Role of Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1996, v:60, n:, pp:74-77 [Journal]
  163. Martin Große-Rhode, Hartmut Ehrig
    Restriction Constructions in Specification Logics. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1992, v:46, n:, pp:84-89 [Journal]
  164. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
    Algebraic Specification of Modules and Configuration Families. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:205-232 [Journal]
  165. Roswitha Bardohl, Hartmut Ehrig
    Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
  166. Hartmut Ehrig
    Behaviour and Instantiation of High-Level Net Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
  167. Hartmut Ehrig
    Introduction to COMPUGRAPH. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  168. Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
    Object-Oriented Connector-Component Architectures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:123-151 [Journal]
  169. Hartmut Ehrig, Karsten Ehrig
    Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:152, n:, pp:3-22 [Journal]
  170. Hartmut Ehrig, Claudia Ermel, Julia Padberg
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal]
  171. Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce
    Basic Results for Two Types of High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  172. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
    Transformations of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:1, pp:151-172 [Journal]
  173. Hartmut Ehrig, Fernando Orejas
    A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:3, pp:- [Journal]
  174. Hartmut Ehrig, Fernando Orejas
    Foreword Volume 72. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:72, n:, pp:- [Journal]
  175. Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
    A Component Framework Based on High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
  176. Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
    A Generic Framework for Connector Architectures based on Components and Transformations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:53-67 [Journal]
  177. Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:1-3 [Journal]
  178. Leen Lambers, Hartmut Ehrig, Fernando Orejas
    Efficient Detection of Conflicts in Graph-based Model Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:152, n:, pp:97-109 [Journal]
  179. Fernando Orejas, Hartmut Ehrig
    Components for Algebra Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
  180. Hartmut Ehrig
    Behaviour and Instantiation of High-Level Petri Net Processes. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:65, n:3, pp:211-247 [Journal]
  181. Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
    Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:74, n:1, pp:31-61 [Journal]
  182. Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann
    Theory of Constraints and Application Conditions: From Graphs to High-Level Structures. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:74, n:1, pp:135-166 [Journal]
  183. Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel
    Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:74, n:1, pp:1-29 [Journal]
  184. Hartmut Ehrig, Martin Große-Rhode
    Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2001, v:16, n:2, pp:110-117 [Journal]
  185. Hartmut Ehrig, Robert Geisler, Marcus Klar
    DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1998, v:13, n:1, pp:43-46 [Journal]
  186. Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig
    A Combined Reference Model- and View-Based Approach to System Specification. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1997, v:7, n:4, pp:457-477 [Journal]
  187. Hartmut Ehrig, Hans-Jörg Kreowski
    Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 1980, v:5, n:3, pp:225-238 [Journal]
  188. Hartmut Ehrig, Benjamin Braatz, Markus Klein
    Priority Program SoftSpez and the International INT Workshops "Integration of Software Specification Techniques for Applications in Engineering" (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops "Integration von Techniken der Softwar [Citation Graph (0, 0)][DBLP]
    it - Information Technology, 2005, v:47, n:1, pp:45-53 [Journal]
  189. Hartmut Ehrig, Wolfgang Kühnel
    Categorial approach to nonlinear constant continuous-time systems. [Citation Graph (0, 0)][DBLP]
    ITA, 1979, v:13, n:2, pp:- [Journal]
  190. Hartmut Ehrig, Hans-Jörg Kreowski
    Systematic Approach to Reduction and Minimization in Automata and System Theory. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1976, v:12, n:3, pp:269-304 [Journal]
  191. Hartmut Ehrig, Bernd Mahr
    Complexity of Algebraic Implementations for Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1981, v:23, n:2, pp:223-253 [Journal]
  192. Hartmut Ehrig, Karl Wilhelm Tischer
    Graph Grammars and Applications to Specialization and Evolution in Biology. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1975, v:11, n:2, pp:212-236 [Journal]
  193. Julia Padberg, Hartmut Ehrig
    Petri net modules in the transformation-based component framework. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:198-225 [Journal]
  194. Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas
    Abstract and behaviour module specifications. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:1, pp:21-62 [Journal]
  195. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
    Compositional semantics for open Petri nets based on deterministic processe. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:1, pp:1-35 [Journal]
  196. Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
    Parallelism and Concurrency in High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:3, pp:361-404 [Journal]
  197. Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe
    Horizontal and Vertical Structuring of Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:613-648 [Journal]
  198. Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas
    Concurrency and Loose Semantics of Open Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:349-376 [Journal]
  199. Julia Padberg, Hartmut Ehrig, Leila Ribeiro
    Algebraic High-Level Net Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:217-256 [Journal]
  200. Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig
    Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:283-314 [Journal]
  201. Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
    Transformations of Structures: an Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1981, v:14, n:, pp:305-334 [Journal]
  202. Hartmut Ehrig, Barry K. Rosen
    The Mathematics of Record Handling. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1980, v:9, n:3, pp:441-469 [Journal]
  203. Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
    A component framework for system modeling based on high-level replacement systems. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2004, v:3, n:2, pp:114-135 [Journal]
  204. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
    Compatibility Problems in the Development of Algebraic Module Specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:77, n:1&2, pp:27-71 [Journal]
  205. Hartmut Ehrig, Martin Große-Rhode
    Functorial Theory of Parameterized Specifications in a General Specification Framework. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:221-266 [Journal]
  206. Hartmut Ehrig, Hans-Jörg Kreowski
    Compatibility of Parameter Passing and Implementation of Parameterized Data Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:27, n:, pp:255-286 [Journal]
  207. Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
    Algebraic Implementation of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1982, v:20, n:, pp:209-263 [Journal]
  208. Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Parameter Passing in Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:45-81 [Journal]
  209. Hartmut Ehrig, Michael Löwe
    The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:109, n:1&2, pp:3-6 [Journal]
  210. Hartmut Ehrig, Michael Löwe
    Parallel and Distributed Derivations in the Single-Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:109, n:1&2, pp:123-143 [Journal]
  211. Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
    Combining Data Type and Recursive Process Specifications Using Projection Algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:71, n:3, pp:347-380 [Journal]
  212. Hartmut Ehrig, Barry K. Rosen
    Parallelism and Concurrency of Graph Manipulations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:11, n:, pp:247-275 [Journal]
  213. Fernando Orejas, Elvira Pino, Hartmut Ehrig
    Institutions for Logic Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:2, pp:485-511 [Journal]
  214. Eric G. Wagner, Hartmut Ehrig
    Canonical Constraints for Parameterized Data Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:50, n:, pp:323-349 [Journal]
  215. Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
    Attributed graph transformation with node type inheritance. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:376, n:3, pp:139-163 [Journal]
  216. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
    Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:104-123 [Conf]
  217. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:126-142 [Conf]
  218. Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer
    Information Preserving Bidirectional Model Transformations. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:72-86 [Conf]
  219. Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel
    Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:383-397 [Conf]
  220. Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
    Termination Criteria for DPO Transformations with Injective Matches. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:87-100 [Journal]

  221. Transformations in Reconfigurable Place/Transition Systems. [Citation Graph (, )][DBLP]


  222. Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. [Citation Graph (, )][DBLP]


  223. Verification of Architectural Refactorings by Rule Extraction. [Citation Graph (, )][DBLP]


  224. Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. [Citation Graph (, )][DBLP]


  225. Consistent Integration of Models Based on Views of Visual Languages. [Citation Graph (, )][DBLP]


  226. A Logic of Graph Constraints. [Citation Graph (, )][DBLP]


  227. A Formal Framework for Developing Adaptable Service-Based Applications. [Citation Graph (, )][DBLP]


  228. Formal Analysis and Verification of Self-Healing Systems. [Citation Graph (, )][DBLP]


  229. Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. [Citation Graph (, )][DBLP]


  230. Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. [Citation Graph (, )][DBLP]


  231. Embedding and Confluence of Graph Transformations with Negative Application Conditions. [Citation Graph (, )][DBLP]


  232. Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. [Citation Graph (, )][DBLP]


  233. Open Petri Nets: Non-deterministic Processes and Compositionality. [Citation Graph (, )][DBLP]


  234. Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. [Citation Graph (, )][DBLP]


  235. Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. [Citation Graph (, )][DBLP]


  236. Finitary M\mathcal{M}-Adhesive Categories. [Citation Graph (, )][DBLP]


  237. Local Confluence for Rules with Nested Application Conditions. [Citation Graph (, )][DBLP]


  238. Multi-Amalgamation in Adhesive Categories. [Citation Graph (, )][DBLP]


  239. Compositional Verification of Architectural Refactorings. [Citation Graph (, )][DBLP]


  240. Iterative model-driven development of adaptable service-based applications. [Citation Graph (, )][DBLP]


  241. On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. [Citation Graph (, )][DBLP]


  242. Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. [Citation Graph (, )][DBLP]


  243. From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. [Citation Graph (, )][DBLP]


  244. Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. [Citation Graph (, )][DBLP]


  245. Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. [Citation Graph (, )][DBLP]


  246. Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets [Citation Graph (, )][DBLP]


  247. Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. [Citation Graph (, )][DBLP]


  248. A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. [Citation Graph (, )][DBLP]


  249. Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. [Citation Graph (, )][DBLP]


  250. Compositionality of Model Transformations. [Citation Graph (, )][DBLP]


  251. Composition and Independence of High-Level Net Processes. [Citation Graph (, )][DBLP]


Search in 0.011secs, Finished in 0.972secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002