Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHartmut Ehrig
Person information
- affiliation: Technical University of Berlin, Department of Mathematics, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2015
[b8]Hartmut Ehrig, Claudia Ermel, Ulrike Golas
, Frank Hermann:
Graph and Model Transformation - General Framework and Applications. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2015, ISBN 978-3-662-47979-7, pp. 5-399- 2006
- [b7]Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer:
Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2006, ISBN 978-3-540-31187-4, pp. I-XIII, 1-390 - 2001
- [b6]Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornelius, Philip Zeitz:
Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage. Springer-Lehrbuch, Springer 2001, ISBN 978-3-540-41923-5, pp. 1-606 - 1999
- [b5]Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Große-Rhode, Philip Zeitz:
Mathematisch-strukturelle Grundlagen der Informatik. Springer-Lehrbuch, Springer 1999, ISBN 978-3-540-63865-0 - 1993
- [b4]Ingo Claßen, Hartmut Ehrig, Dietmar Wolz:
Algebraic Specification Techniques and Tools for Software Development: The Act Approach. AMAST Series in Computing 1, World Scientific 1993, ISBN 978-981-02-1227-8, pp. 1-256 - 1990
- [b3]Hartmut Ehrig, Bernd Mahr:
Fundamentals of Algebraic Specification 2. EATCS Monographs on Theoretical Computer Science 21, Springer 1990, ISBN 978-3-642-64776-5, pp. I-XI, 1-427 - 1985
- [b2]Hartmut Ehrig, Bernd Mahr:
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science 6, Springer 1985, ISBN 3-540-13718-1, pp. I-XI, 1-321 - 1974
- [b1]Hartmut Ehrig, Klaus-Dieter Kiermeier, Hans-Jörg Kreowski, Wolfgang Kühnel:
Universal theory of automata - a categorial approach. Teubner Studienbücher, Teubner 1974, ISBN 978-3-519-02054-7, pp. 1-240
Journal Articles
- 2015
- [j146]Maria Maximova, Hartmut Ehrig, Claudia Ermel:
Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg. Sci. Comput. Program. 104: 44-70 (2015) - [j145]Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel:
Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14(1): 241-269 (2015) - 2014
- [j144]Frank Hermann, Andrea Corradini, Hartmut Ehrig:
Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions. Math. Struct. Comput. Sci. 24(4) (2014) - [j143]Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas:
Formal analysis of model transformations based on triple graph grammars. Math. Struct. Comput. Sci. 24(4) (2014) - [j142]Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas:
ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24(4) (2014) - [j141]Karsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas:
Finitary ℳ-adhesive categories. Math. Struct. Comput. Sci. 24(4) (2014) - [j140]Ulrike Golas, Annegret Habel, Hartmut Ehrig:
Multi-amalgamation of rules with application conditions in ℳ-adhesive categories. Math. Struct. Comput. Sci. 24(4) (2014) - 2013
- [j139]Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge:
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. Comput. 2(1): 31-49 (2013) - [j138]Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel:
On Propagation-Based Concurrent Model Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [j137]Maria Maximova, Hartmut Ehrig, Claudia Ermel:
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - [j136]Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt:
Propagation of constraints along model transformations using triple graph grammars and borrowed context. J. Vis. Lang. Comput. 24(5): 365-388 (2013) - 2012
- [j135]Maria Maximova, Hartmut Ehrig, Claudia Ermel:
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012) - [j134]Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas:
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Informaticae 118(1-2): 35-63 (2012) - [j133]Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. 424: 46-68 (2012) - [j132]Karsten Gabriel, Hartmut Ehrig:
Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes. Theor. Comput. Sci. 429: 87-97 (2012) - 2011
- [j131]Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel:
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011) - [j130]Ulrike Golas, Hartmut Ehrig, Frank Hermann:
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011) - [j129]Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt:
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [j128]Hartmut Ehrig, Karsten Gabriel:
Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms. Int. J. Softw. Informatics 5(1-2): 207-229 (2011) - [j127]Jochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll:
Foreword. J. Symb. Comput. 46(3): 219-221 (2011) - 2010
- [j126]Hartmut Ehrig, Ulrike Golas, Frank Hermann:
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. Bull. EATCS 102: 111-121 (2010) - [j125]Hartmut Ehrig, Annegret Habel, Leen Lambers:
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [j124]Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König:
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j123]Hartmut Ehrig:
From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [j122]Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer:
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [j121]Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg:
Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010) - [j120]Maria Maximova, Hartmut Ehrig, Claudia Ermel:
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010) - [j119]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange:
Consistent integration of models based on views of meta models. Formal Aspects Comput. 22(3-4): 327-344 (2010) - [j118]Fernando Orejas, Hartmut Ehrig, Ulrike Prange:
Reasoning with graph constraints. Formal Aspects Comput. 22(3-4): 385-422 (2010) - [j117]Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez:
A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Informaticae 99(1): 63-93 (2010) - [j116]Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez:
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Informaticae 99(1): 95-124 (2010) - 2009
- [j115]Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König:
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bull. EATCS 97: 117-125 (2009) - [j114]Hartmut Ehrig, Frank Hermann, Ulrike Prange:
Cospan DPO Approach: An Alternative for DPO Graph Transformations. Bull. EATCS 98: 139-149 (2009) - [j113]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel:
Refactoring of Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [j112]Hartmut Ehrig, Frank Hermann, Christoph Sartorius:
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - 2008
- [j111]Ulrike Prange, Hartmut Ehrig, Leen Lambers:
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. Appl. Categorical Struct. 16(3): 365-388 (2008) - [j110]Hartmut Ehrig, Ulrike Prange:
Flattening of Generalized Algebraic High-Level Nets. Bull. EATCS 94: 151-160 (2008) - [j109]Frank Hermann, Hartmut Ehrig:
Process Definition using Subobject Transformation Systems. Bull. EATCS 95: 153-163 (2008) - [j108]Hartmut Ehrig, Karsten Ehrig, Frank Hermann:
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j107]Leen Lambers, Hartmut Ehrig, Gabriele Taentzer:
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j106]Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg:
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008) - [j105]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Verification of Architectural Refactorings: Rule Extraction and Tool Support. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008) - [j104]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Log. Methods Comput. Sci. 4(4) (2008) - 2007
- [j103]Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann:
Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. Bull. EATCS 91: 120-124 (2007) - [j102]Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer:
Model Transformations should be Functors. Bull. EATCS 92: 75-81 (2007) - [j101]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange:
Model Transformations by Graph Transformation are Functors. Bull. EATCS 93: 134-142 (2007) - [j100]Guilherme Rangel, Barbara König, Hartmut Ehrig:
Bisimulation Verification for the DPO Approach with Borrowed. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007) - [j99]Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer:
Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376(3): 139-163 (2007) - 2006
- [j98]Hartmut Ehrig:
Footprints of HR in Initial Algebra and Final Coalgebra. Bull. EATCS 88: 120-125 (2006) - [j97]Hartmut Ehrig:
Report on ACCAT Workshop at ETAPS 2006: Applied and Computational Category Theory. Bull. EATCS 89: 134-135 (2006) - [j96]Hartmut Ehrig:
Revie of Dines Bjørner's Textbooks Software Engineering 1-3. Bull. EATCS 90: 131-133 (2006) - [j95]Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Foreword. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006) - [j94]Claudia Ermel, Hartmut Ehrig, Karsten Ehrig:
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006) - [j93]Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel:
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. Fundam. Informaticae 74(1): 1-29 (2006) - [j92]Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer:
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. Fundam. Informaticae 74(1): 31-61 (2006) - [j91]Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann:
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures. Fundam. Informaticae 74(1): 135-166 (2006) - [j90]Julia Padberg, Hartmut Ehrig:
Petri net modules in the transformation-based component framework. J. Log. Algebraic Methods Program. 67(1-2): 198-225 (2006) - [j89]Hartmut Ehrig, Barbara König:
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Math. Struct. Comput. Sci. 16(6): 1133-1163 (2006) - 2005
- [j88]Hartmut Ehrig:
Behaviour and Instantiation of High-Level Petri Net Processes. Fundam. Informaticae 65(3): 211-247 (2005) - [j87]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 Softwarespezifikation für ingenieurwissenschaftliche Anwendungen"). it Inf. Technol. 47(1): 45-53 (2005) - [j86]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel:
Compositional semantics for open Petri nets based on deterministic processe. Math. Struct. Comput. Sci. 15(1): 1-35 (2005) - 2004
- [j85]Hartmut Ehrig:
Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification). Bull. EATCS 82: 175-190 (2004) - [j84]Hartmut Ehrig:
Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification). Bull. EATCS 83: 156-158 (2004) - [j83]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
A component framework for system modeling based on high-level replacement systems. Softw. Syst. Model. 3(2): 114-135 (2004) - 2003
- [j82]Hartmut Ehrig:
On the relevance of high-level net processes, Formal Specification Column. Bull. EATCS 79: 64-68 (2003) - 2002
- [j81]Hartmut Ehrig:
A Review of Algebraic Specification and Component Techniques at TU Berlin. Bull. EATCS 76: 84-87 (2002) - [j80]Hartmut Ehrig:
Bigraphs meet Double Pushouts. Bull. EATCS 78: 72-85 (2002) - [j79]Hartmut Ehrig, Fernando Orejas:
Foreword Volume 72. Electron. Notes Theor. Comput. Sci. 72 (2002) - [j78]Hartmut Ehrig, Julia Padberg:
Component-Based System Development. Trans. SDPS 6(4): 1 (2002) - [j77]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
A Transformation-Based Component Framework for a Generic Integrated Modeling Technique. Trans. SDPS 6(4): 78-104 (2002) - [j76]Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas:
Concurrency and Loose Semantics of Open Graph Transformation Systems. Math. Struct. Comput. Sci. 12(4): 349-376 (2002) - 2001
- [j75]Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini:
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Appl. Categorical Struct. 9(1): 83-110 (2001) - [j74]Hartmut Ehrig:
On the Roots, Birth and Childhood of ETAPS. Bull. EATCS 74: 58-60 (2001) - [j73]Hartmut Ehrig:
A Review of Graph Grammars and Preview of ICGT 2002: The First International Conference on Graph Transformation. Bull. EATCS 75: 97 (2001) - [j72]Hartmut Ehrig, Martin Große-Rhode:
Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. Inform. Forsch. Entwickl. 16(2): 110-117 (2001) - [j71]Hartmut Ehrig, Michael Goedicke, Julia Padberg:
Integration and Collaboration Based on Graphical Techniques (Editorial). Trans. SDPS 5(1): 1-2 (2001) - [j70]Julia Padberg, L. Jansen, Hartmut Ehrig, Eckehard Schnieder, Reiko Heckel:
Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. Trans. SDPS 5(1): 3-21 (2001) - 2000
- [j69]Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages. Bull. EATCS 70: 77-81 (2000) - [j68]Hartmut Ehrig:
On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. Bull. EATCS 71: 90-91 (2000) - [j67]Hartmut Ehrig, Gunnar Schröter:
The Role of Mathematics and Formal Specification Techniques in Software System Development. Bull. EATCS 72: 77-83 (2000) - 1999
- [j66]Hartmut Ehrig, Gabriele Taentzer:
Graphical Represenation and Graph Transformation. ACM Comput. Surv. 31(3es): 9 (1999) - [j65]Hartmut Ehrig, Julia Padberg, Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms. Bull. EATCS 69: 98-109 (1999) - [j64]Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas:
Abstract and behaviour module specifications. Math. Struct. Comput. Sci. 9(1): 21-62 (1999) - 1998
- [j63]Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter:
Applications of Category Theory to the Area of Algebraic Specification in Computer Science. Appl. Categorical Struct. 6(1): 1-35 (1998) - [j62]Hartmut Ehrig, Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques. Bull. EATCS 65: 90-97 (1998) - [j61]Hartmut Ehrig:
EATCS Mini-Track of FM'99. Bull. EATCS 66: 83-84 (1998) - [j60]Hartmut Ehrig, Robert Geisler, Marcus Klar:
DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Inform. Forsch. Entwickl. 13(1): 43-46 (1998) - 1997
- [j59]Hartmut Ehrig, Wolfgang Reisig:
An Algebraic View on Petri Nets. Bull. EATCS 61 (1997) - [j58]Hartmut Ehrig, A. Merten, Julia Padberg:
How to Transfer Concepts of Abstract Data Types to Petri Nets? Bull. EATCS 62 (1997) - [j57]Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig:
A Combined Reference Model- and View-Based Approach to System Specification. Int. J. Softw. Eng. Knowl. Eng. 7(4): 457-477 (1997) - [j56]Fernando Orejas, Elvira Pino, Hartmut Ehrig:
Institutions for Logic Programming. Theor. Comput. Sci. 173(2): 485-511 (1997) - 1996
- [j55]Hartmut Ehrig, Bernd Mahr:
Algebraic Techniques in Software Development. Bull. EATCS 58 (1996) - [j54]Hartmut Ehrig, Uwe Wolter:
The Impact and Future Role of Algebraic Specification. Bull. EATCS 60: 74-77 (1996) - [j53]Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe:
Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Math. Struct. Comput. Sci. 6(6): 613-648 (1996) - 1995
- [j52]Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas:
Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. Bull. EATCS 56 (1995) - [j51]Hartmut Ehrig, Bernd Mahr:
Theory and Practice of Software Development: A Review of Driving Forces and Expectations. Bull. EATCS 57 (1995) - [j50]Julia Padberg, Hartmut Ehrig, Leila Ribeiro:
Algebraic High-Level Net Transformation Systems. Math. Struct. Comput. Sci. 5(2): 217-256 (1995) - [j49]Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig:
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. Math. Struct. Comput. Sci. 5(2): 283-314 (1995) - 1994
- [j48]Hartmut Ehrig:
FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS. Bull. EATCS 52: 188-202 (1994) - [j47]Hartmut Ehrig, Fernando Orejas:
Dynamic Abstract Data Types: An informal Proposal. Bull. EATCS 53: 162-169 (1994) - [j46]Hartmut Ehrig, Julia Padberg:
Linking Algebraic High level Nets and Dynamic Abstract Data. Bull. EATCS 54: 132-144 (1994) - [j45]Hartmut Ehrig, Martin Große-Rhode:
Functorial Theory of Parameterized Specifications in a General Specification Framework. Theor. Comput. Sci. 135(2): 221-266 (1994) - 1993
- [j44]Hartmut Ehrig, Michael Löwe:
Categorical principles, techniques and results for high-level-replacement systems in computer science. Appl. Categorical Struct. 1(1): 21-50 (1993) - [j43]Hartmut Ehrig, Michael Löwe:
The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey. Theor. Comput. Sci. 109(1&2): 3-6 (1993) - [j42]Hartmut Ehrig, Michael Löwe:
Parallel and Distributed Derivations in the Single-Pushout Approach. Theor. Comput. Sci. 109(1&2): 123-143 (1993) - 1992
- [j41]Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas:
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. Comput. J. 35(5): 460-467 (1992) - [j40]Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas:
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. Comput. J. 35(5): 468-477 (1992) - [j39]Martin Große-Rhode, Hartmut Ehrig:
Restriction Constructions in Specification Logics. Bull. EATCS 46: 84-89 (1992) - [j38]Hartmut Ehrig:
Some important new facts supporting the development of algebraic specifications. Bull. EATCS 47: 135-136 (1992) - 1991
- [j37]Hartmut Ehrig, Helmut Adametz:
New Compatibility Results for Implementations within the Initial Algebraic Approach. Bull. EATCS 43: 102-112 (1991) - [j36]Hartmut Ehrig, Michael Baldamus, Fernando Orejas:
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. Bull. EATCS 44: 129-143 (1991) - [j35]Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce:
Parallelism and Concurrency in High-Level Replacement Systems. Math. Struct. Comput. Sci. 1(3): 361-404 (1991) - 1990
- [j34]Hartmut Ehrig, Ingo Claßen:
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems. Bull. EATCS 40: 172-181 (1990) - [j33]Hartmut Ehrig:
ESF-concepts linked with algebraic module specifications. Bull. EATCS 41: 138-144 (1990) - [j32]Hartmut Ehrig, Ingo Claßen:
Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3). Bull. EATCS 41: 145-153 (1990) - [j31]Hartmut Ehrig, Michael A. Arbib:
Linking Schemas and Module Specifications: A Proposal. Bull. EATCS 42: 135 (1990) - [j30]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. Theor. Comput. Sci. 71(3): 347-380 (1990) - [j29]Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce:
Compatibility Problems in the Development of Algebraic Module Specifications. Theor. Comput. Sci. 77(1&2): 27-71 (1990) - 1989
- [j28]Hartmut Ehrig:
The Algebraic Specification Column. Bull. EATCS 38: 79-92 (1989) - [j27]Hartmut Ehrig, Ingo Claßen:
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems. Bull. EATCS 39: 103-111 (1989) - [j26]Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce:
Algebraic Specification of Modules and Configuration Families. J. Inf. Process. Cybern. 25(5/6): 205-232 (1989) - 1988
- [j25]Hartmut Ehrig:
The Algebraic Specification Column. Bull. EATCS 34: 39-40 (1988) - [j24]Hartmut Ehrig:
The Algebraic Specification Column. Bull. EATCS 35: 69-70 (1988) - [j23]Hartmut Ehrig:
The Algebraic Specification Column. Bull. EATCS 36: 52-56 (1988) - 1987
- [j22]Hartmut Ehrig:
The Algebraic Specification Column. Bull. EATCS 32: 70-72 (1987) - [j21]Hartmut Ehrig:
The Algebraic Specification Column. Bull. EATCS 33: 25-26 (1987) - [j20]Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce:
Algebraic Specification of Modules and Their Basic Interconnections. J. Comput. Syst. Sci. 34(2/3): 293-339 (1987) - [j19]Eric G. Wagner, Hartmut Ehrig:
Canonical Constraints for Parameterized Data Types. Theor. Comput. Sci. 50: 323-349 (1987) - 1986
- [j18]Hartmut Ehrig, Annegret Habel, Udo Hummert, Paul Boehm:
Towards algebraic data types grammars: a junction between algebraic specification and graph grammars. Bull. EATCS 29: 22-26 (1986) - [j17]Hartmut Ehrig, Jacques Loeckx, Bernd Mahr:
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Bull. EATCS 30: 61-65 (1986) - [j16]Herbert Weber, Hartmut Ehrig:
Specification of Modular Systems. IEEE Trans. Software Eng. 12(7): 784-798 (1986) - 1984
- [j15]Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
Parameter Passing in Algebraic Specification Languages. Theor. Comput. Sci. 28: 45-81 (1984) - 1983
- [j14]Hartmut Ehrig, Hans-Jörg Kreowski:
Compatibility of Parameter Passing and Implementation of Parameterized Data Types. Theor. Comput. Sci. 27: 255-286 (1983) - 1982
- [j13]Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz:
Algebraic Implementation of Abstract Data Types. Theor. Comput. Sci. 20: 209-263 (1982) - 1981
- [j12]Hartmut Ehrig, Bernd Mahr:
Complexity of Algebraic Implementations for Abstract Data Types. J. Comput. Syst. Sci. 23(2): 223-253 (1981) - [j11]Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski:
Transformations of Structures: an Algebraic Approach. Math. Syst. Theory 14: 305-334 (1981) - 1980
- [j10]Hartmut Ehrig, Hans-Jörg Kreowski:
Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems. Inf. Syst. 5(3): 225-238 (1980) - [j9]Jirí Adámek, Hartmut Ehrig, Vera Trnková:
On an equivalence of system-theoretical and categorical concepts. Kybernetika 16(5): 389-410 (1980) - [j8]Hartmut Ehrig, Barry K. Rosen:
The Mathematics of Record Handling. SIAM J. Comput. 9(3): 441-469 (1980) - [j7]Hartmut Ehrig, Barry K. Rosen:
Parallelism and Concurrency of Graph Manipulations. Theor. Comput. Sci. 11: 247-275 (1980) - 1979
- [j6]Hartmut Ehrig, Wolfgang Kühnel:
Categorial approach to nonlinear constant continuous-time systems. RAIRO Theor. Informatics Appl. 13(2): 107-133 (1979) - [j5]Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz:
Algebraic implementation of abstract data types: an announcement. SIGACT News 11(2): 25-29 (1979) - 1976
- [j4]Hans Jürgen Schneider, Hartmut Ehrig:
Grammars on Partial Graphs. Acta Informatica 6: 297-316 (1976) - [j3]Hartmut Ehrig, Hans-Jörg Kreowski:
Systematic Approach to Reduction and Minimization in Automata and System Theory. J. Comput. Syst. Sci. 12(3): 269-304 (1976) - 1975
- [j2]Hartmut Ehrig, Karl Wilhelm Tischer:
Graph Grammars and Applications to Specialization and Evolution in Biology. J. Comput. Syst. Sci. 11(2): 212-236 (1975) - 1974
- [j1]Hartmut Ehrig, Wolfgang Kühnel:
Topological automata. RAIRO Theor. Informatics Appl. 8(3): 73-91 (1974)
Conference and Workshop Papers
- 2015
- [c185]Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, Olga Runge:
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation. Software, Services, and Systems 2015: 582-601 - 2014
- [c184]Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel:
Triple Graph Grammars in the Large for Translating Satellite Procedures. ICMT 2014: 122-137 - 2013
- [c183]Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel:
Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. AMT@MoDELS 2013 - 2012
- [c182]Karsten Gabriel, Hartmut Ehrig:
Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes. Software Service and Application Engineering 2012: 10-25 - [c181]Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge:
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. CiE 2012: 193-202 - [c180]Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas:
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE 2012: 178-193 - [c179]Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann:
Parallelism and Concurrency of Stochastic Graph Transformations. ICGT 2012: 96-110 - [c178]Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese:
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. ICGT 2012: 141-155 - [c177]Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann:
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories. ACCAT 2012: 83-104 - 2011
- [c176]Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer:
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. FASE 2011: 202-216 - [c175]Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas:
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS 2011: 304-318 - [c174]Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong:
Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS 2011: 668-682 - 2010
- [c173]Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer:
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. Graph Transformations and Model-Driven Engineering 2010: 121-140 - [c172]Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione:
Formal Analysis and Verification of Self-Healing Systems. FASE 2010: 139-153 - [c171]Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas:
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT 2010: 155-170 - [c170]Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas:
Finitary ℳ-Adhesive Categories. ICGT 2010: 234-249 - [c169]Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas:
Local Confluence for Rules with Nested Application Conditions. ICGT 2010: 330-345 - [c168]Ulrike Golas, Hartmut Ehrig, Annegret Habel:
Multi-Amalgamation in Adhesive Categories. ICGT 2010: 346-361 - [c167]Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas:
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. MDI@MoDELS 2010: 22-31 - 2009
- [c166]Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig:
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397 - [c165]Frank Hermann, Hartmut Ehrig, Claudia Ermel:
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE 2009: 325-339 - [c164]Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange:
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. MoDELS 2009: 241-255 - [c163]Claudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann:
Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. VL/HCC 2009: 47-50 - 2008
- [c162]Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113 - [c161]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange:
Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76 - [c160]Fernando Orejas, Hartmut Ehrig, Ulrike Prange:
A Logic of Graph Constraints. FASE 2008: 179-198 - [c159]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction. FASE 2008: 347-361 - [c158]Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406 - [c157]Guilherme Rangel, Barbara König, Hartmut Ehrig:
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. FoSSaCS 2008: 413-427 - [c156]Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas:
Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177 - [c155]Hartmut Ehrig, Ulrike Prange:
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. ICGT 2008: 178-193 - [c154]Hartmut Ehrig, Claudia Ermel:
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. ICGT 2008: 194-210 - [c153]Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan:
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT 2008: 242-256 - [c152]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König:
Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT 2008: 257-273 - [c151]Hartmut Ehrig, Claudia Ermel, Frank Hermann:
On the relationship of model transformations based on triple and plain graph grammars. GRaMoT@ICSE 2008: 9-16 - [c150]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Compositional Verification of Architectural Refactorings. WADS 2008: 308-333 - [c149]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Compositionality of Model Transformations. VODCA@FOSAD 2008: 5-19 - [c148]Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg:
Composition and Independence of High-Level Net Processes. FMWS@CONCUR 2008: 59-71 - 2007
- [c147]Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel:
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. ICATPN 2007: 104-123 - [c146]Ulrike Prange, Hartmut Ehrig:
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. CAI 2007: 122-146 - [c145]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142 - [c144]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer:
Information Preserving Bidirectional Model Transformations. FASE 2007: 72-86 - [c143]Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel:
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. FASE 2007: 383-397 - [c142]Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456 - [c141]Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange:
Preface. ACCAT@ETAPS 2007: 1 - [c140]Julia Padberg, Hartmut Ehrig, Fernando Orejas:
Towards Component Verification in the Generic Component Framework. FESCA@ETAPS 2007: 37-53 - [c139]Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas:
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. ACCAT@ETAPS 2007: 43-66 - [c138]Claudia Ermel, Hartmut Ehrig:
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. GT-VC@CONCUR 2007: 55-74 - 2006
- [c137]Hartmut Ehrig, Ulrike Prange:
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations. Essays Dedicated to Joseph A. Goguen 2006: 235-251 - [c136]Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT 2006: 61-76 - [c135]Paolo Baldan, Hartmut Ehrig, Barbara König:
Composition and Decomposition of DPO Transformations with Borrowed Context. ICGT 2006: 153-167 - [c134]Hartmut Ehrig, Fernando Orejas, Ulrike Prange:
Categorical Foundations of Distributed Graph Transformation. ICGT 2006: 215-229 - [c133]Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer:
Termination Analysis of Model Transformations by Petri Nets. ICGT 2006: 260-274 - [c132]Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations. ICGT 2006: 467-469 - [c131]Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. GT-VMT@ETAPS 2006: 17-26 - [c130]Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig:
Termination Criteria for DPO Transformations with Injective Matches. GT-VC@CONCUR 2006: 87-100 - [c129]Frank Hermann, Hartmut Ehrig, Gabriele Taentzer:
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. GT-VMT@ETAPS 2006: 261-269 - 2005
- [c128]Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski:
High-Level Nets with Nets and Rules as Tokens. ICATPN 2005: 268-288 - [c127]Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation. FASE 2005: 49-63 - [c126]Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer:
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation. VL/HCC 2005: 71-78 - [c125]Hartmut Ehrig, Karsten Ehrig:
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation. GRaMoT@GPCE 2005: 3-22 - [c124]Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Efficient Detection of Conflicts in Graph-based Model Transformation. GRaMoT@GPCE 2005: 97-109 - [c123]Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino:
Object-Oriented Connector-Component Architectures. FESCA@ETAPS 2005: 123-151 - 2004
- [c122]Hartmut Ehrig:
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results. SoftSpez Final Report 2004: 1-8 - [c121]Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer:
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. FASE 2004: 214-228 - [c120]Hartmut Ehrig, Barbara König:
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. FoSSaCS 2004: 151-166 - [c119]Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange:
Adhesive High-Level Replacement Categories and Systems. ICGT 2004: 144-160 - [c118]Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer:
Fundamental Theory for Typed Attributed Graph Transformation. ICGT 2004: 161-177 - [c117]Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann:
Constraints and Application Conditions: From Graphs to High-Level Structures. ICGT 2004: 287-303 - [c116]Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations. ICGT 2004: 442-444 - [c115]Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Preface. PNGT@ICGT 2004: 1-3 - [c114]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. FESCA@ETAPS 2004: 53-67 - [c113]Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
Transformations of Petri Nets. FoVMT 2004: 151-172 - 2003
- [c112]Hartmut Ehrig, Julia Padberg:
Graph Grammars and Petri Net Transformations. Lectures on Concurrency and Petri Nets 2003: 496-536 - [c111]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. Petri Net Technology for Communication-Based Systems 2003: 1-21 - [c110]Benjamin Braatz, Hartmut Ehrig, Milan Urbásek:
Petri Net Transformations in the "Petri Net Baukasten". Petri Net Technology for Communication-Based Systems 2003: 37-65 - [c109]Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig:
Generation of Animation Views for Petri Nets in GenGED. Petri Net Technology for Communication-Based Systems 2003: 83-108 - [c108]Hartmut Ehrig:
Behaviour and Instantiation of High-Level Net Processes. UNIGRA 2003: 1-15 - [c107]Fernando Orejas, Hartmut Ehrig:
Components for Algebra Transformation Systems. UNIGRA 2003: 63-78 - [c106]Roswitha Bardohl, Hartmut Ehrig:
Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. UNIGRA 2003: 166-167 - 2002
- [c105]Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel:
High-Level Net Processes. Formal and Natural Computing 2002: 191-219 - [c104]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
A Generic Component Framework for System Modeling. FASE 2002: 33-48 - [c103]Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
A Component Framework Based on High-Level Replacement Systems. GT-VMT@ICGT 2002: 118-132 - 2001
- [c102]Magdalena Gajewsky, Hartmut Ehrig:
The »Petri Net Baukasten«: An Overview. Unifying Petri Nets 2001: 26-53 - [c101]Julia Padberg, Hartmut Ehrig:
Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Unifying Petri Nets 2001: 173-229 - [c100]Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg:
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. Unifying Petri Nets 2001: 230-249 - [c99]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel:
Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518 - [c98]Fernando Orejas, Hartmut Ehrig, Elvira Pino:
Tight and Loose Semantics for Transformation Systems. WADT 2001: 238-255 - [c97]Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce:
Basic Results for Two Types of High-Level Replacement Systems. GETGRATS Closing Workshop 2001: 127-138 - [c96]Hartmut Ehrig, Claudia Ermel, Julia Padberg:
Preface. UNIGRA 2001: 188-189 - [c95]Hartmut Ehrig, Fernando Orejas:
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. GT-VMT@ICALP 2001: 199-226 - 2000
- [c94]Hartmut Ehrig, Gabriele Taentzer:
A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components. ICALP Satellite Workshops 2000: 427-434 - 1999
- [c93]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. German-Argentinian Workshop on Information Technology 1999: 23-30 - 1998
- [c92]Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg:
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. TAGT 1998: 85-102 - [c91]Roswitha Bardohl, Hartmut Ehrig:
Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages. TAGT 1998: 252-266 - 1997
- [c90]Hartmut Ehrig, Julia Padberg:
A Uniform Approach to Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 219-231 - [c89]Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg:
Horizontal and Vertical Structuring Techniques for Statecharts. CONCUR 1997: 181-195 - [c88]Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig:
A View-Oriented Approach to System Modelling Based on Graph Transformation. ESEC / SIGSOFT FSE 1997: 327-343 - [c87]Hartmut Ehrig:
DFG-Schwerpunktprogramm "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen". GI Jahrestagung 1997: 180-181 - [c86]Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini:
Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS 1997: 219-228 - [c85]Hartmut Ehrig, Bernd Mahr:
Future Trends of TAPSOFT. TAPSOFT 1997: 6-10 - [c84]Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter:
From abstract data types to algebraic development techniques: A shift of paradigms. WADT 1997: 1-17 - 1995
- [c83]Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter:
On the Role of Category Theory in the Area of Algebraic Specification. COMPASS/ADT 1995: 17-48 - [c82]Hartmut Ehrig, Bernd Mahr:
A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. TAPSOFT 1995: 3-24 - [c81]Hartmut Ehrig:
Introduction to COMPUGRAPH. SEGRAGRA 1995: 89-100 - 1994
- [c80]Hartmut Ehrig, Michael Löwe, Fernando Orejas:
Dynamic Abstract Data Types Based on Algebraic Graph Transformations. COMPASS/ADT 1994: 236-254 - [c79]Fernando Orejas, Elvira Pino, Hartmut Ehrig:
Algebraic Methods in the Compositional Analysis of Logic Programs. MFCS 1994: 112-126 - [c78]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
An Event Structure Semantics for Safe Graph Grammars. PROCOMET 1994: 423-444 - [c77]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg:
The Category of Typed Graph Grammars and its Adjunctions with Categories. TAGT 1994: 56-74 - [c76]Hartmut Ehrig, Gregor Engels:
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. TAGT 1994: 137-154 - [c75]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
An Event Structure Semantics for Graph Grammars with Parallel Productions. TAGT 1994: 240-256 - 1993
- [c74]Hartmut Ehrig, Francesco Parisi-Presicce:
Interaction between Algebraic Specification Grammars and Modular System Design. AMAST 1993: 217-224 - [c73]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
Abstract Graph Derivations in the Double Pushout Approach. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 86-103 - [c72]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 119-137 - [c71]Hartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer:
Canonical Derivaitons for High-Level Replacement Systems. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 153-169 - [c70]Hartmut Ehrig:
Combined Algebraic Specification Techniques for Concurrent and Distributed Systems. GI Jahrestagung 1993: 528-533 - [c69]Leila Ribeiro, Hartmut Ehrig, Julia Padberg:
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. SBES 1993: 1-16 - [c68]Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas:
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. TAPSOFT 1993: 31-45 - 1992
- [c67]Hartmut Ehrig, Francesco Parisi-Presicce:
High-Level-Replacement Systems for Equational Algebraic Specifications. ALP 1992: 3-20 - [c66]Hartmut Ehrig, Michael Löwe:
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach. Informatik zwischen Wissenschaft und Gesellschaft 1992: 47-65 - [c65]Hartmut Ehrig, Julia Padberg, Leila Ribeiro:
Algebraic High-Level Nets: Petri Nets Revisited. COMPASS/ADT 1992: 188-206 - 1991
- [c64]Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas:
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. AMAST 1991: 145-172 - [c63]Hartmut Ehrig, Michael Baldamus, Fernando Orejas:
New Concepts of Amalgamation and Extension for a General Theory of Specifications. COMPASS/ADT 1991: 199-221 - [c62]Hartmut Ehrig, Francesco Parisi-Presicce:
Non-Equivalence of Categories for Equational Algebraic Specifications. COMPASS/ADT 1991: 222-235 - [c61]Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs:
On the Relationship Between Algebraic Module Specifications and Program Modules. TAPSOFT, Vol.2 1991: 83-98 - 1990
- [c60]Hartmut Ehrig, Francesco Parisi-Presicce:
A Match Operation for Rule-Based Modular System Design. ADT 1990: 74-97 - [c59]Hartmut Ehrig, Martin Korff, Michael Löwe:
Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts. Graph-Grammars and Their Application to Computer Science 1990: 24-37 - [c58]Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe:
Graph Grammars and Logic Programming. Graph-Grammars and Their Application to Computer Science 1990: 221-237 - [c57]Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce:
From Graph Grammars to High Level Replacement Systems. Graph-Grammars and Their Application to Computer Science 1990: 269-291 - [c56]Hartmut Ehrig, Francesco Parisi-Presicce:
Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars. Graph-Grammars and Their Application to Computer Science 1990: 292-310 - [c55]Hartmut Ehrig, Michael Löwe:
Computing by Graph Transformation: Overall Aims and New Results. Graph-Grammars and Their Application to Computer Science 1990: 688-703 - [c54]Michael Löwe, Hartmut Ehrig:
Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. WG 1990: 338-353 - 1989
- [c53]Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs:
Algebraic Software Development Concepts for Module and Configuration Families. FSTTCS 1989: 181-192 - [c52]Hartmut Ehrig, Peter Pepper, Fernando Orejas:
On Recent Trends in Algebraic Specification. ICALP 1989: 263-288 - [c51]Martin Große-Rhode, Hartmut Ehrig:
Transformation of Combined Data Type and Process Specifications Using Projection Algebras. REX Workshop 1989: 301-339 - [c50]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). Software-Entwicklung 1989: 201-224 - 1988
- [c49]Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe:
Algebraic Theory of Modular Specification Development. ADT 1988 - [c48]Hartmut Ehrig:
Categorical Concept of Constraints for Algebraic Specifications. Categorial Methods in Computer Science 1988: 1-15 - [c47]Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce:
Categories for the Development of Algebraic Module Specifications. Categorial Methods in Computer Science 1988: 157-184 - [c46]Fernando Orejas, Pilar Nivela, Hartmut Ehrig:
Semantical Constructions for Categories of Behavioural Specifications. Categorial Methods in Computer Science 1988: 220-243 - [c45]Horst Herrlich, Hartmut Ehrig:
The Construct PRO of Projection Spaces: Its Internal Structure. Categorial Methods in Computer Science 1988: 286-293 - 1987
- [c44]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. ADT 1987: 23-43 - [c43]Hartmut Ehrig:
Distributed Parallelism of Graph Transformations. WG 1987: 1-19 - 1986
- [c42]Hartmut Ehrig:
Towards an Algebraic Semantics of the ISO Specification Language LOTOS. ADT 1986 - [c41]Hartmut Ehrig:
Tutorial introduction to the algebraic approach of graph grammars. Graph-Grammars and Their Application to Computer Science 1986: 3-14 - [c40]Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe:
Towards distributed graph grammars. Graph-Grammars and Their Application to Computer Science 1986: 86-98 - [c39]Francesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari:
Graph rewriting with unification and composition. Graph-Grammars and Their Application to Computer Science 1986: 496-514 - [c38]Hartmut Ehrig, Herbert Weber:
Programming in the Large with Algebraic Module Specifications (Invited Paper). IFIP Congress 1986: 675-684 - [c37]Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum:
Algebraic Theory of Module Specification with Constraints. MFCS 1986: 59-77 - 1984
- [c36]Hartmut Ehrig, Werner Fey, Horst Hansen:
Towards Abstract User Interfaces for Formal System Specifications. ADT 1984: 73-88 - 1983
- [c35]Hartmut Ehrig, Werner Fey, Horst Hansen:
ACT ONE - An Algebraic Specification Language with two Levels of Semantics. ADT 1983 - [c34]Hartmut Ehrig, Eric G. Wagner, James W. Thatcher:
Algebraic Specifications with Generating Constraints. ICALP 1983: 188-202 - [c33]Hartmut Ehrig, Annegret Habel:
Concurrent Transformations of Graphs and Relational Structures. WG 1983: 76-88 - 1982
- [c32]Hartmut Ehrig:
ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems. ADT 1982 - [c31]Hartmut Ehrig:
Parameterized Data Types and Parameter Passing. ADT 1982 - [c30]Hartmut Ehrig:
Aspects of concurrency in graph grammars. Graph-Grammars and Their Application to Computer Science 1982: 58-81 - [c29]Hartmut Ehrig, John Staples:
Church-Rosser properties for graph replacement systems with unique splitting. Graph-Grammars and Their Application to Computer Science 1982: 82-101 - [c28]Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg, Hartmut Ehrig:
Concurrency of Node-Label-Controlled Graph Transformations. WG 1982: 91-108 - 1981
- [c27]Hartmut Ehrig:
Algebraic Theory of Parameterized Specifications with Requirements. CAAP 1981: 1-24 - [c26]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. Program Specification 1981: 47-117 - [c25]Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
Parameter Passing in Algebraic Specification Languages. Program Specification 1981: 322-369 - [c24]Hartmut Ehrig, Werner Fey:
Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. GI Jahrestagung 1981: 255-269 - [c23]Hartmut Ehrig, Berthold Hoffmann, Ilse Schmiedecke:
A Graph-Theoretical Model for Multi-Pass Parsing. WG 1981: 19-32 - 1980
- [c22]Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz:
Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. ICALP 1980: 142-156 - [c21]Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
Parameterized Data Types in Algebraic Specification Languages (Short Version). ICALP 1980: 157-168 - [c20]Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz:
Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. MFCS 1980: 231-245 - [c19]Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz:
A Case Study of Abstract Implementations and Their Correctness. Symposium on Programming 1980: 108-122 - [c18]Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski:
Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. Software Engineering 1980: 75-90 - [c17]Hartmut Ehrig, Bernd Mahr:
Complexity of Implementations on the Level of Algebraic Specifications. STOC 1980: 281-293 - 1979
- [c16]Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber:
Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme. Formale Modelle für Informationssysteme 1979: 181-198 - 1978
- [c15]Hartmut Ehrig:
Introduction to the Algebraic Theory of Graph Grammars (A Survey). Graph-Grammars and Their Application to Computer Science and Biology 1978: 1-69 - [c14]Hartmut Ehrig, Barry K. Rosen:
Decomposition of Graph Grammar Productions and Derivations. Graph-Grammars and Their Application to Computer Science and Biology 1978: 192-205 - [c13]Hartmut Ehrig, Axel Liedtke:
Locally Star Sluing Formulas for a Class of Parallel Graph Grammars. Graph-Grammars and Their Application to Computer Science and Biology 1978: 206-223 - [c12]Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz:
Stepwise Specification and Implementation of Abstract Data Types. ICALP 1978: 205-226 - [c11]Hartmut Ehrig, Barry K. Rosen:
Concurrency of Manipulations in Multidimensional Information Structures. MFCS 1978: 165-176 - [c10]Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski:
Deriving Structures from Structures. MFCS 1978: 177-190 - [c9]Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber:
Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440 - 1977
- [c8]Hartmut Ehrig:
Embedding Theorem in the Algebraic Theory of Graph Grammars. FCT 1977: 245-255 - [c7]Hartmut Ehrig, Barry K. Rosen:
The Mathematics of Record Handling. ICALP 1977: 206-220 - 1976
- [c6]Hartmut Ehrig, Hans-Jörg Kreowski:
Parallelism of Manipulations in Multidimensional Information Structures. MFCS 1976: 284-293 - 1975
- [c5]Hartmut Ehrig, Hans-Jörg Kreowski:
Parallel Graph Grammers. Automata, Languages, Development 1975: 425-442 - [c4]Hartmut Ehrig, Grzegorz Rozenberg:
Some Definitional Suggestions for Parallel Graph Grammars. Automata, Languages, Development 1975: 443-468 - 1974
- [c3]Hartmut Ehrig, Wolfgang Kühnel, Michael Pfender:
Diagram characterization. Category Theory Applied to Computation and Control 1974: 137-143 - [c2]Hartmut Ehrig, Hans-Jörg Kreowski:
Power and initial automata in pseudoclosed categories. Category Theory Applied to Computation and Control 1974: 144-150 - 1973
- [c1]Hartmut Ehrig, Michael Pfender, Hans Jürgen Schneider:
Graph-Grammars: An Algebraic Approach. SWAT 1973: 167-180
Parts in Books or Collections
- 2001
- [p19]Hartmut Ehrig, Bernd Mahr:
Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997. Current Trends in Theoretical Computer Science 2001: 118-130 - [p18]Hartmut Ehrig:
On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. Current Trends in Theoretical Computer Science 2001: 131-133 - [p17]Hartmut Ehrig, Bernd Mahr:
Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties. Current Trends in Theoretical Computer Science 2001: 134-152 - [p16]Hartmut Ehrig, Fernando Orejas:
Dynamic Abstract Data Types: An Informal Proposal in 1994. Current Trends in Theoretical Computer Science 2001: 180-191 - [p15]Hartmut Ehrig, Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques. Current Trends in Theoretical Computer Science 2001: 192-201 - [p14]Hartmut Ehrig, Julia Padberg, Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms. Current Trends in Theoretical Computer Science 2001: 202-214 - [p13]Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages. Current Trends in Theoretical Computer Science 2001: 226-232 - 1999
- [p12]Hartmut Ehrig, Hans-Jörg Kreowski:
Refinement and Implementation. Algebraic Foundations of Systems Specification 1999: 201-242 - 1997
- [p11]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. Handbook of Graph Grammars 1997: 163-246 - [p10]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. Handbook of Graph Grammars 1997: 247-312 - 1993
- [p9]Hartmut Ehrig:
Algebraic Specification. Current Trends in Theoretical Computer Science 1993: 49-50 - [p8]Hartmut Ehrig, Peter Pepper:
On the potential Role of Algebraic Specification within Computer Science. Current Trends in Theoretical Computer Science 1993: 51-53 - [p7]Hartmut Ehrig, Ingo Claßen:
Overview of Algebraic Specification Languages, Environments and Tools, and Algebraic Specifications of Software Systems. Current Trends in Theoretical Computer Science 1993: 82-110 - [p6]Hartmut Ehrig:
ESF-Concepts Linked with Algebraic Module Specifications. Current Trends in Theoretical Computer Science 1993: 121-128 - [p5]Hartmut Ehrig, Michael A. Arbib:
Linking Schemas and Module Specifications: a Proposal. Current Trends in Theoretical Computer Science 1993: 129-132 - [p4]Hartmut Ehrig:
Concepts and Compatibility Requirements for Implementations and Transformations of Specifications. Current Trends in Theoretical Computer Science 1993: 133-148 - [p3]Hartmut Ehrig, Helmut Adametz:
New Compatibility Results for Implementations within the Initial Algebraic Approach. Current Trends in Theoretical Computer Science 1993: 149-160 - [p2]Hartmut Ehrig, Michael Baldamus, Fernando Orejas:
New Concepts for Amalgamation and Extension in the Framework of Specification Logics. Current Trends in Theoretical Computer Science 1993: 161-182 - [p1]Martin Große-Rhode, Hartmut Ehrig:
Restriction Constructions in Specification Logics. Current Trends in Theoretical Computer Science 1993: 195-201
Editorship
- 2012
- [e29]Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg:
Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings. Lecture Notes in Computer Science 7562, Springer 2012, ISBN 978-3-642-33653-9 [contents] - 2010
- [e28]Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr:
Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings. Lecture Notes in Computer Science 6372, Springer 2010, ISBN 978-3-642-15927-5 [contents] - 2008
- [e27]Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange:
Proceedings of the Second Workshop on Applied and Computational Category Theory, ACCAT@ETAPS 2007, Braga, Portugal, March 25, 2007. Electronic Notes in Theoretical Computer Science 203(6), Elsevier 2008 [contents] - [e26]Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer:
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Lecture Notes in Computer Science 5214, Springer 2008, ISBN 978-3-540-87404-1 [contents] - 2006
- [e25]Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg:
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings. Lecture Notes in Computer Science 4178, Springer 2006, ISBN 3-540-38870-2 [contents] - 2005
- [e24]Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004. Electronic Notes in Theoretical Computer Science 127(2), Elsevier 2005 [contents] - 2004
- [e23]Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper:
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Lecture Notes in Computer Science 3147, Springer 2004, ISBN 3-540-23135-8 [contents] - [e22]Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg:
Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings. Lecture Notes in Computer Science 3256, Springer 2004, ISBN 3-540-23207-9 [contents] - 2003
- [e21]Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber:
Petri Net Technology for Communication-Based Systems - Advances in Petri Nets. Lecture Notes in Computer Science 2472, Springer 2003, ISBN 3-540-20538-1 [contents] - [e20]Roswitha Bardohl, Hartmut Ehrig:
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003. Electronic Notes in Theoretical Computer Science 82(7), Elsevier 2003 [contents] - 2002
- [e19]Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa:
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]. Lecture Notes in Computer Science 2300, Springer 2002, ISBN 3-540-43190-X [contents] - [e18]Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg:
Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings. Lecture Notes in Computer Science 2505, Springer 2002, ISBN 3-540-44310-X [contents] - 2001
- [e17]Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg:
Unifying Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science 2128, Springer 2001, ISBN 3-540-43067-9 [contents] - [e16]Hartmut Ehrig, Claudia Ermel, Julia Padberg:
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, March 31 - April 1, 2001. Electronic Notes in Theoretical Computer Science 44(4), Elsevier 2001 [contents] - 2000
- [e15]Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg:
Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers. Lecture Notes in Computer Science 1764, Springer 2000, ISBN 3-540-67203-6 [contents] - 1996
- [e14]Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg:
Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers. Lecture Notes in Computer Science 1073, Springer 1996, ISBN 3-540-61228-9 [contents] - 1994
- [e13]Hartmut Ehrig:
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. Lecture Notes in Computer Science 785, Springer 1994, ISBN 3-540-57867-6 [contents] - [e12]Hans Jürgen Schneider, Hartmut Ehrig:
Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings. Lecture Notes in Computer Science 776, Springer 1994, ISBN 3-540-57787-4 [contents] - 1991
- [e11]Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel:
Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990. Lecture Notes in Computer Science 534, Springer 1991, ISBN 3-540-54496-8 [contents] - [e10]Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg:
Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings. Lecture Notes in Computer Science 532, Springer 1991, ISBN 3-540-54478-X [contents] - 1989
- [e9]Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß:
Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]. Lecture Notes in Computer Science 393, Springer 1989, ISBN 3-540-51722-7 [contents] - 1988
- [e8]Hartmut Ehrig:
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany. 1988 [contents] - 1987
- [e7]Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld:
Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Lecture Notes in Computer Science 291, Springer 1987, ISBN 3-540-18771-5 [contents] - [e6]Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari:
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87). Lecture Notes in Computer Science 249, Springer 1987, ISBN 3-540-17660-8 [contents] - [e5]Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari:
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP). Lecture Notes in Computer Science 250, Springer 1987, ISBN 3-540-17611-X [contents] - 1985
- [e4]Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher:
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85). Lecture Notes in Computer Science 185, Springer 1985, ISBN 3-540-15198-2 [contents] - [e3]Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher:
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE). Lecture Notes in Computer Science 186, Springer 1985, ISBN 3-540-15199-0 [contents] - 1983
- [e2]Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg:
Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabrück], Germany, October 4-8, 1982. Lecture Notes in Computer Science 153, Springer 1983, ISBN 3-540-12310-5 [contents] - 1979
- [e1]Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg:
Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, Germany, October 30 - November 3, 1978. Lecture Notes in Computer Science 73, Springer 1979, ISBN 3-540-09525-X [contents]
Informal and Other Publications
- 2008
- [i2]Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CoRR abs/0809.4115 (2008) - 2005
- [i1]Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation. Transformation Techniques in Software Engineering 2005
Coauthor Index
Ulrike Golas
aka: Ulrike Prange
aka: Ulrike Prange
[b8] [b7] [j143] [j142] [j141] [j140] [j134] [j133] [j131] [j130] [j127] [j126] [j121] [j119] [j118] [j114] [j111] [j110] [j102] [j101] [j99] [j93] [j92] [c179] [c178] [c173] [c171] [c170] [c169] [c168] [c167] [c164] [c162] [c161] [c160] [c156] [c155] [c147] [c146] [c141] [c139] [c137] [c134] [c133] [c130] [c126] [c119] [c118] [e27]
[j145] [j143] [j142] [j138] [j134] [j133] [j122] [j118] [j117] [j116] [j83] [j79] [j77] [j76] [j65] [j64] [j62] [j56] [j52] [j49] [j47] [j41] [j40] [j36] [c180] [c175] [c174] [c171] [c169] [c167] [c166] [c160] [c156] [c140] [c139] [c136] [c134] [c131] [c124] [c123] [c114] [c107] [c104] [c103] [c98] [c95] [c92] [c80] [c79] [c68] [c64] [c63] [c52] [c46] [p16] [p15] [p14] [p2] [e11]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-01-24 20:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
