Hartmut Ehrig
#54,102
Most Influential Person Now
German computer scientist
Hartmut Ehrig's AcademicInfluence.com Rankings
Hartmut Ehrigmathematics Degrees
Mathematics
#4121
World Rank
#5923
Historical Rank
Measure Theory
#596
World Rank
#829
Historical Rank
Download Badge
Computer Science Mathematics
Why Is Hartmut Ehrig Influential?
(Suggest an Edit or Addition)According to Wikipedia, Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars.
Hartmut Ehrig's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution (1999) (1178)
- Fundamentals of Algebraic Graph Transformation (2010) (1158)
- Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (1985) (929)
- Fundamentals of Algebraic Specification 1 (1985) (900)
- Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) (1992) (677)
- Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach (1997) (599)
- Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools (1999) (582)
- Graph-Grammars: An Algebraic Approach (1973) (568)
- Introduction to the Algebraic Theory of Graph Grammars (A Survey) (1978) (568)
- Graph-Grammars and Their Application to Computer Science (1986) (392)
- Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach (1997) (327)
- Graph-Grammars and Their Application to Computer Science (1982) (271)
- Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (1990) (264)
- Graph-Grammars and Their Application to Computer Science and Biology (1978) (245)
- Parallelism and concurrency in high-level replacement systems (1991) (202)
- Fundamental Theory for Typed Attributed Graph Transformation (2004) (193)
- Graph Grammars and Their Application to Computer Science (1990) (165)
- Algebraic high-level net transformation systems (1995) (158)
- Algebraic Implementation of Abstract Data Types (1982) (153)
- Information Preserving Bidirectional Model Transformations (2007) (145)
- Termination Criteria for Model Transformation (2005) (132)
- Theory of Constraints and Application Conditions: From Graphs to High-Level Structures (2004) (129)
- Attributed graph transformation with node type inheritance (2007) (126)
- Tutorial introduction to the algebraic approach of graph grammars (1986) (125)
- ACT ONE - An Algebraic Specification Language with two Levels of Semantics (1983) (116)
- High-Level Nets with Nets and Rules as Tokens (2005) (110)
- Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (2004) (106)
- Refinements of Graph Transformation Systems via Rule Expressions (2000) (102)
- Algebraic theory of automata (1972) (99)
- From Graph Grammars to High Level Replacement Systems (1990) (98)
- Adhesive High-Level Replacement Categories and Systems (2004) (96)
- Termination Analysis of Model Transformations by Petri Nets (2006) (93)
- Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation (2004) (86)
- Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts (1990) (85)
- Equations and initial semantics (1985) (85)
- Parameter Passing in Algebraic Specification Languages (1981) (82)
- Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts (2006) (81)
- Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories (2006) (80)
- Graph Grammars with Application Conditions (1986) (80)
- Algebraic Specification of Modules and Their Basic Interconnections (1987) (78)
- Graph Grammars and Petri Net Transformations (2003) (78)
- A Combined Reference Model- and View-Based Approach to System Specification (1997) (75)
- Petri Net Technology for communication-based systems : advances in Petri Nets (2003) (75)
- Parallelism of Manipulations in Multidimensional Information Structures (1976) (74)
- Horizontal and vertical structuring of typed graph transformation systems (1996) (72)
- Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach (2013) (72)
- Fundamentals of Algebraic Specification 2 (1990) (71)
- Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation (2006) (71)
- Correctness of model synchronization based on triple graph grammars (2011) (71)
- Conflict Detection for Graph Transformation with Negative Application Conditions (2006) (70)
- Applications, languages and tools (1999) (67)
- Parameterized Data Types in Algebraic Specification Languages (Short Version) (1980) (67)
- The Category of Typed Graph Grammars and its Adjunctions with Categories (1994) (66)
- Concurrent semantics of algebraic graph transformations (1999) (65)
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets (2007) (64)
- Consistency analysis of UML class and se-quence diagrams using attributed graph grammars (2000) (63)
- Algebraic Approach to Graph Transformation Based on Single Pushout Derivations (1991) (61)
- $\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (2014) (60)
- Formal and Natural Computing (2002) (59)
- Unifying Petri Nets (2001) (59)
- Graph rewriting with unification and composition (1986) (58)
- Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation (2008) (57)
- ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence (2012) (57)
- Efficient analysis and execution of correct and complete model transformations based on triple graph grammars (2010) (57)
- Stepwise Specification and Implementation of Abstract Data Types (1978) (57)
- Compositional semantics for open Petri nets based on deterministic processes (2005) (55)
- Model synchronization based on triple graph grammars: correctness, completeness and invertibility (2015) (55)
- Graph Transformations in Computer Science (1994) (54)
- Compositional Modeling of Reactive Systems Using Open Nets (2001) (54)
- Algebraic High-Level Nets: Petri Nets Revisited (1992) (53)
- Universal Theory of Automata (1976) (52)
- On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (2009) (49)
- Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (2008) (49)
- Dynamic Abstract Data Types: An informal Proposal (1994) (47)
- Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation (2006) (47)
- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (2010) (46)
- Formal Analysis and Verification of Self-Healing Systems (2010) (46)
- Parallel and Distributed Derivations in the Single-Pushout Approach (1993) (44)
- Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars (2012) (44)
- Specification of modular systems (1986) (44)
- Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems (2007) (43)
- Abstract Graph Derivations in the Double Pushout Approach (1993) (43)
- Unifying Petri Nets: Advances in Petri Nets (2002) (43)
- Algebraic Specification Schemes for Data Base Systems (1978) (42)
- Parallelism and Concurrency of Graph Manipulations (1980) (42)
- Pushout-Properties: An analysis of gluing constructions for graphs (1979) (42)
- From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars (2008) (42)
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (2008) (41)
- New Concepts for Amalgamation and Extension in the Framework of Specification Logics (1993) (41)
- An Algebraic View on Petri Nets (1997) (40)
- Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness (1980) (40)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (1993) (40)
- Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems (1980) (40)
- A Logic of Graph Constraints (2008) (39)
- Classification and comparison of module concepts for graph transformation systems (1999) (39)
- Graph Grammars and Their Application to Computer Science (1982) (39)
- Equational Specifications and Algebras (1985) (38)
- Graph and Model Transformation: General Framework and Applications (2015) (38)
- Algebraic Data Type and Process Specifications based on Projection Spaces (1988) (37)
- An Event Structure Semantics for Safe Graph Grammars (1994) (37)
- M-Adhesive Transformation Systems with Nested Application Conditions. Part 2 (2012) (36)
- Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems (2001) (36)
- Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems (1994) (35)
- Formal specification (2001) (35)
- Graph and Model Transformation (2015) (35)
- Introduction to graph grammars with applications to semantic networks (1992) (34)
- High-Level Net Processes (2002) (34)
- Algebraic Theory of Parameterized Specifications with Requirements (1981) (34)
- Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions (2008) (34)
- Algebraic Specifications with Generating Constraints (1983) (34)
- Cospan DPO Approach: An Alternative for DPO Graph Transformations (2009) (33)
- Local Confluence for Rules with Nested Application Conditions (2010) (33)
- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation (2009) (32)
- 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 (1994) (32)
- Transformations in Reconfigurable Place/Transition Systems (2008) (32)
- On Recent Trends in Algebraic Specification (1989) (32)
- Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs (2012) (32)
- A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications (2011) (32)
- Bigraphs meet Double Pushouts (2002) (31)
- Parallelism and Concurrency Theorems for Rules with Nested Application Conditions (2010) (31)
- Parameter passing commutes with implementation of parameterized data types (1982) (31)
- On the relationship of model transformations based on triple and plain graph grammars (2008) (31)
- Transformations of Petri Nets (2006) (31)
- A view-oriented approach to system modelling based on graph transformation (1997) (31)
- A Generic Component Framework for System Modeling (2002) (31)
- Efficient Detection of Conflicts in Graph-based Model Transformation (2006) (30)
- Functorial Theory of Parameterized Specifications in a General Specification Framework (1994) (30)
- Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (2009) (30)
- Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (2009) (29)
- Combining Data Type and Recursive Process Specifications Using Projection Algebras (1990) (29)
- Verification of Architectural Refactorings by Rule Extraction (2008) (29)
- Termination Criteria for DPO Transformations with Injective Matches (2007) (29)
- Algebraic Specification Techniques and Tools for Software Development: The Act Approach (1993) (29)
- Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development (1992) (29)
- Note on standard representation of graphs and graph derivations (1994) (28)
- Concurrency, parallelism, and distribution (1999) (28)
- Petri Net Transformations (2008) (28)
- Cooperability in Train Control Systems: Specification of Scenarios using Open Nets (2001) (27)
- Triple Graph Grammars in the Large for Translating Satellite Procedures (2014) (27)
- A view-based approach to system modeling based on open graph transformation systems (1999) (27)
- An Event Structure Semantics for Graph Grammars with Parallel Productions (1994) (26)
- Multi-Amalgamation in Adhesive Categories (2010) (26)
- Finitary m-adhesive categories (2010) (25)
- Theory of Algebraic Module Specification including Behavioral Semantics and Constraints (1991) (25)
- Petri net modules in the transformation-based component framework (2006) (24)
- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation (2010) (24)
- The Construct PRO of Projection Spaces: Its Internal Structure (1988) (23)
- A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (2008) (23)
- Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (2008) (23)
- Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories (2008) (22)
- Categorical Foundations of Distributed Graph Transformation (2006) (22)
- Categorical Methods in Computer Science With Aspects from Topology (1989) (22)
- Compositional Verification of Architectural Refactorings (2009) (21)
- On Propagation-Based Concurrent Model Synchronization (2013) (21)
- Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (2011) (21)
- Reasoning with graph constraints (2010) (21)
- Requirements engineering of a medical information system using rule-based refinement of Petri nets (1996) (21)
- Algebraic Theory of Module Specification with Constraints (1996) (21)
- The Mathematics of Record Handling (1977) (21)
- Embedding and Confluence of Graph Transformations with Negative Application Conditions (2008) (21)
- Towards a Component Concept for Continuous Software Engineering (2000) (20)
- Graph Grammars and Logic Programming (1990) (20)
- Distributed Parallelism of Graph Transformations (1987) (20)
- Refactoring of Model Transformations (2009) (19)
- Theory and Application of Graph Transformations (1998) (19)
- A Generic Framework for Connector Architectures based on Components and Transformations (2004) (19)
- Computing by Graph Transformation - A Survey and Annotated Bibliography (1996) (19)
- Low- and High-Level Petri Nets with Individual Tokens (2010) (19)
- Refinement and Implementation (1999) (19)
- Aspects of concurrency in graph grammars (1982) (19)
- Integrating the Specification Techniques of Graph Transformation and Temporal Logic (1997) (19)
- Institutions for Logic Programming (1997) (19)
- A Uniform Approach to Petri Nets (1997) (19)
- Deriving Structures from Structures (1978) (19)
- Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002] (2002) (18)
- Composition and Decomposition of DPO Transformations with Borrowed Context (2006) (18)
- Embedding Theorem in the Algebraic Theory of Graph Grammars (1977) (18)
- Abstract and behaviour module specifications (1999) (18)
- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations (2006) (18)
- Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (2008) (18)
- Mathematical Foundations of Software Development (1985) (18)
- Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages (1998) (17)
- Towards a Module Concept for Graph Transformation Systems (1993) (17)
- Compositionality of Model Transformations (2009) (17)
- Behaviour and Instantiation of High-Level Petri Net Processes (2004) (17)
- Flexible Modeling of Emergency Scenarios using Reconfigurable Systems (2009) (17)
- On the Role of Category Theory in the Area of Algebraic Specification (1995) (17)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (2008) (16)
- Formal integration of inheritance with typed attributed graph transformation for efficient VL definition and model manipulation (2005) (16)
- Applications of Category Theory to the Area of Algebraic Specification in Computer Science (1998) (16)
- Integration Paradigm for Data Type and Process Specification Techniques (2001) (16)
- Transformation of Combined Data Type and Process Specifications Using Projection Algebras (1989) (16)
- Module specifications and constraints (1990) (16)
- Dynamic Abstract Data Types Based on Algebraic Graph Transformations (1994) (16)
- Horizontal and Vertical Structuring Techniques for Statecharts (1997) (16)
- Node Type Inheritance Concept for Typed Graph Transformation (2003) (15)
- Compatibility of Parameter Passing and Implementation of Parameterized Data Types (1983) (15)
- Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars (1990) (15)
- A component framework for system modeling based on high-level replacement systems (2004) (15)
- Categorical Approach to Graphic Systems and Graph Grammars (1976) (14)
- Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks (2007) (14)
- Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (1998) (14)
- Finitary ℳ-Adhesive Categories (2010) (14)
- Multi-amalgamation of rules with application conditions in $\mathcal{M}$-adhesive categories (2014) (14)
- Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications (1992) (14)
- New Concepts of Amalgamation and Extension for a General Theory of Specifications (1991) (14)
- An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario (2007) (14)
- A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (2011) (14)
- Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation (2015) (14)
- Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements (2012) (14)
- Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks (2007) (13)
- Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs (2001) (13)
- Semantical Constructions for Categories of Behavioural Specifications (1988) (13)
- Editors' note: bibliometrics and the curators of orthodoxy (2009) (13)
- Programming in the Large with Algebraic Module Specifications (Invited Paper) (1986) (13)
- Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories (2011) (13)
- Canonical Derivaitons for High-Level Replacement Systems (1993) (13)
- Graph transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004 : proceedings (2004) (12)
- A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development (1995) (12)
- Formal analysis of model transformations based on triple graph grammars (2014) (12)
- Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems (1980) (12)
- Concurrency and loose semantics of open graph transformation systems (2002) (11)
- Object-Oriented Connector-Component Architectures (2005) (11)
- Specification of concurrently executable modules and distributed modular systems (1988) (11)
- Categorical Concept of Constraints for Algebraic Specifications (1988) (11)
- Generic Description, Behavior and Animation of Visual Modeling Languages (2001) (11)
- Transformations of structures: An algebraic approach (1981) (11)
- Consistent Integration of Models Based on Views of Visual Languages (2008) (11)
- Algebraic Theory of Modular Specification Development (1988) (11)
- Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (2008) (10)
- Algebraic implementation of abstract data types: an announcement (1979) (10)
- Concurrency of Manipulations in Multidimensional Information Structures (1978) (10)
- Consistent integration of models based on views of meta models (2010) (10)
- Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications (1981) (10)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (2001) (10)
- Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine (1993) (10)
- Universal theory of automata - a categorial approach (1974) (10)
- Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information (1998) (10)
- Complexity of Algebraic Implementations for Abstract Data Types (1981) (10)
- Graph Grammars and Applications to Specialization and Evolution in Biology (1975) (10)
- Proceedings of the First International Conference on Graph Transformation (2002) (9)
- Iterative model-driven development of adaptable service-based applications (2007) (9)
- Loose Semantics and Constraints for Graph Transformation Systems (1997) (9)
- Graphical represenation and graph transformation (1999) (9)
- Grammars on partial graphs (1976) (9)
- Distributive laws for composition and union of module specifications for software systems (1987) (9)
- The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY (2003) (9)
- High-level replacement systems applied to algebraic specifications and Petri nets (1999) (9)
- Towards distributed graph grammars (1986) (9)
- Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms (2011) (9)
- Parameterized Net Classes: A Uniform Approach to Petri Net Classes (2001) (9)
- How to Transfer Concepts of Abstract Data Types to Petri Nets? (1997) (9)
- Compositionality and compatibility of parameterization and parameter passing in specification languages (1995) (9)
- Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets (2010) (9)
- Veriflcation of Architectural Refactoring Rules (2008) (8)
- Generation of Animation Views for Petri Nets in GenGED (2003) (8)
- Process Definition using Subobject Transformation Systems (2008) (8)
- Basic Results for Two Types of High-Level Replacement Systems (2002) (8)
- A Formal Framework for Developing Adaptable Service-Based Applications (2008) (8)
- Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars (2013) (8)
- High-Level-Replacement Systems for Equational Algebraic Specifications (1992) (8)
- Modeling multicasting in communication spaces by reconfigurable high-level Petri nets (2009) (8)
- Formal Methods and Software Development (1986) (8)
- Integration and Classification of Data Type and Process Specification Techniques (1998) (8)
- Analysis of permutation equivalence in $\mathcal{M}$-adhesive transformation systems with negative application conditions (2014) (8)
- Finitary $\mathcal{M}$-adhesive categories (2014) (8)
- Linking schemas and module specifications for distributed systems (1990) (8)
- Basic Operations on Module Specifications (1990) (8)
- Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes (2012) (8)
- Power and initial automata in pseudoclosed categories (1974) (8)
- Electronic Communications of the EASST Volume 6 ( 2007 ) Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques ( GT-VMT 2007 ) Bisimulation Verification for the DPO Approach with Borrowed Contexts (2007) (7)
- Algebraic Specification of Modules and Configuration Families (1989) (7)
- Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages (1993) (7)
- Computing by Graph Transformation: Overall Aims and New Results (1990) (7)
- Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science (1994) (7)
- Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors (2012) (7)
- Composition and Independence of High-Level Net Processes (2009) (7)
- Interoperability in Train Control Systems Specification of Scenarios Using Open Nets 0 (1998) (7)
- Propagation of Constraints along Model Transformations Based on Triple Graph Grammars (2011) (7)
- The »Petri Net Baukasten«: An Overview (2001) (7)
- From Basic Views and Aspects to Integration of Specification Formalisms (2001) (7)
- From Parallel Graph Grammars to Parallel High-Level Replacement Systems (1992) (7)
- Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag) (1989) (7)
- Open Petri Nets: Non-deterministic Processes and Compositionality (2008) (7)
- Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended Version (2010) (7)
- Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report (2004) (7)
- Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings (2006) (7)
- Tight and Loose Semantics for Transformation Systems (2001) (7)
- NEW CONCEPTS FOR HIGH-LEVEL PETRI NETS IN THE APPLICATION DOMAIN OF TRAIN CONTROL SYSTEMS. (2000) (7)
- Propagation of constraints along model transformations using triple graph grammars and borrowed context (2013) (6)
- On the Relationship Between Algebraic Module Specifications and Program Modules (1991) (6)
- Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks (2011) (6)
- Interaction between Algebraic Specification Grammars and Modular System Design (1993) (6)
- Structure Theory of Automata (1974) (6)
- Systematic Approach to Reduction and Minimization in Automata and System Theory (1976) (6)
- Towards an Algebraic Semantics of the ISO Specification Language LOTOS (1986) (6)
- Recent Trends in Data Type Specification (1990) (6)
- General Operations on Module Specifications (1990) (5)
- Decomposition of Graph Grammar Productions and Derivations (1978) (5)
- Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings (2010) (5)
- Confluence in Data Reduction: Bridging Graph Transformation and Kernelization (2012) (5)
- Complexity of implementations on the level of algebraic specifications (1980) (5)
- Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers (2000) (5)
- A Transformation-Based Component Framework for a Generic Integrated Modeling Technique (2002) (5)
- Behaviour and Instantiation of High-Level Net Processes (2003) (5)
- Graph Transformationcs (ICGT 2010) - Preface (2010) (5)
- KWIC-index generation (1981) (5)
- On Formal Semantics and Integration of Object-Oriented Modeling Languages (2001) (5)
- From abstract data types to algebraic development techniques: A shift of paradigms (1997) (5)
- Non-Equivalence of Categories for Equational Algebraic Specifications (1991) (4)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (2007) (4)
- A Match Operation for Rule-Based Modular System Design (1990) (4)
- A Component Framework Based on High-Level Replacement Systems (2003) (4)
- Concurrency in Reconfigurable Place/Transition Systems: Independence of Net Transformations as well as Net Transformations and Token Firing (2007) (4)
- Semantical Correctness of Simulation-to-Animation Model and Rule Transformation (2006) (4)
- Graph Transformations in Computer Science; International Workshop, Dagstuhl Castle, Germany, January 4-8, 1993 (1994) (4)
- Flexible Independence of Net Transformations and Token Firing in the Cospan DPO Approach (2011) (4)
- Algebraic Methods in the Compositional Analysis of Logic Programs (1994) (4)
- Towards Component Verification in the Generic Component Framework (2009) (4)
- Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties (2001) (4)
- Components for Algebra Transformation Systems (2003) (4)
- Bisimulation Verification for the DPO Approach with Borrowed (2007) (4)
- Initial Semantics of Specifications (1985) (4)
- Linking Algebraic High level Nets and Dynamic Abstract Data (1994) (4)
- Enterprise Modelling using Algebraic Graph Transformation - Extended Version (2010) (4)
- Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes (2012) (4)
- Towards Abstract User Interfaces for Formal System Specifications (1984) (4)
- Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories (2012) (4)
- Categories for the Development of Algebraic Module Specifications (1988) (4)
- Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results (2004) (3)
- Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification) (2004) (3)
- Some Definitional Suggestions for Parallel Graph Grammars (1975) (3)
- Locally Star Sluing Formulas for a Class of Parallel Graph Grammars (1978) (3)
- Model Transformations by Graph Transformation are Functors (2007) (3)
- Diagram characterization (1974) (3)
- Panel discussion: The use of graph grammars in applications (1991) (3)
- Graph Transformation and Other Rule-Based Formalisms with Incomplete Information (1998) (3)
- Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques (2003) (3)
- Electronic Communications of the EASST Volume 57 ( 2013 ) Proceedings of the Second International Workshop on Bidirectional Transformations ( BX 2013 ) On Propagation-Based Concurrent Model Synchronization (2013) (3)
- Petri Net Transformations in the "Petri Net Baukasten" (2003) (3)
- Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques (2007) (3)
- Attributed Graph Transformation with Node Type Inheritance: Long Version (2005) (3)
- Efficient Process Analysis of Transformation Systems Based on Petri nets (2010) (3)
- Basic Properties of Double Pullback Graph Transitions (1999) (3)
- On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version) (2008) (3)
- Functors between M-adhesive Categories Applied to Petri Net and Graph Transformation Systems (2011) (3)
- Compugraph Ii: a Survey of Research Goals and Main Results (1995) (3)
- Adhesive High-Level Replacement Categories and Systems : Long Version (2004) (3)
- On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version (2009) (3)
- Model Transformations should be Functors (2007) (3)
- Graph Transformation (2017) (2)
- Compatibility Problems in the Development of Algebraic Module Specifications (1989) (2)
- Deriving Bisimulation Congruen es in the DPOApproa h to Graph Rewriting ? (2004) (2)
- Classi cation and Comparison of Modularity Concepts forGraph Transformation Systems ? (1998) (2)
- A Case Study of Abstract Implementations and Their Correctness (1980) (2)
- Algebraic Specification as Formal Method for Software Development (1993) (2)
- Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Modeling and Analysis of Self-Adaptive Systems Based on Graph Transformation (2013) (2)
- Parameterized Data Types and Parameter Passing (1982) (2)
- Application of Graph Transformation Techniques to the Area of Petri Nets (2002) (2)
- Analysis of Hypergraph Transformation Systems in AGG based on M-Functors (2013) (2)
- Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms (1991) (2)
- Church-Rosser properties for graph replacement systems with unique splitting (1982) (2)
- Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (Long Version) (2008) (2)
- Parallelism and Concurrency of Stochastic Graph Transformations (2012) (2)
- Workshop on Petri Nets and Graph Transformations (2004) (2)
- Algebraic Software Development Concepts for Module and Configuration Families (1989) (2)
- Fundamental Theory for Typed Attributed Graph Transformation : Long Version (2004) (2)
- On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000 (2001) (2)
- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version (2010) (2)
- Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings (Lecture Notes in Computer Science) (2006) (2)
- Concurrency of Node-Label-Controlled Graph Transformations (1982) (2)
- Deriving bisimulation congruences in the DPO approach to graph rewriting. Long version (2004) (2)
- Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors: Extended Version (2012) (2)
- Inheritance of business processes: Four problems - one solution (1999) (2)
- New Compatibility Results for Implementations within the Initial Algebraic Approach (1991) (2)
- Algebraic Specification (1993) (2)
- Modeling with Graph Transformations (2005) (2)
- Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997 (2001) (2)
- A Graph-Theoretical Model for Multi-Pass Parsing (1981) (2)
- A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP (2010) (2)
- A Generic Approach to Connector Architectures Part I: The General Framework (2010) (1)
- Categorial approach to nonlinear constant continuous-time systems (1979) (1)
- Algebraic concepts for formal specification and transformation of modular software systems (1990) (1)
- A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets (1986) (1)
- Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion (2010) (1)
- Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Formal Analysis and Verication of Self-Healing Systems : Long Version (2010) (1)
- Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors. (1997) (1)
- Module Specifications and Operations with Constraints (1990) (1)
- Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version (2011) (1)
- Graph Transformations (2004) (1)
- Analysis of Hypergraph Transformation Systems in AGG based on M -Functors (2013) (1)
- International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface (2010) (1)
- Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Evolution of Model Transformations by Model Refactoring : Long Version (2009) (1)
- FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS (1994) (1)
- Model Transformation and Model Integration (2015) (1)
- Theory and Practice of Software Development: A Review of Driving Forces and Expectations (1995) (1)
- On the potential Role of Algebraic Specification within Computer Science (1993) (1)
- The Algebraic Specification Column (1987) (1)
- From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach (1992) (1)
- Introduction to COMPUGRAPH (1995) (1)
- Extended ML : Past , present and future (2010) (1)
- Final Report Computing by Graph Transformation Ii (compugraph Ii) (1996) (1)
- Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems (1989) (1)
- Correctness of actualization for parameterized implementation concepts based on constructors and abstractors (1995) (1)
- On an equivalence of system-theoretical and categorical concepts (1980) (1)
- Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations (2012) (1)
- ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems (1982) (1)
- Report on ACCAT Workshop at ETAPS 2006: Applied and Computational Category Theory (2006) (1)
- Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411) (2021) (1)
- 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) (1987) (1)
- Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version (2008) (1)
- The International Joint Conference on theory and practice of software development on TAPSOFT '87 (1987) (1)
- Combined Algebraic Specification Techniques for Concurrent and Distributed Systems (1993) (1)
- Future Trends of TAPSOFT (1997) (1)
- Dynamic Abstract Data Types: An Informal Proposal in 1994 (2001) (1)
- Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3) (1990) (1)
- A Review of Algebraic Specification and Component Techniques at TU Berlin (2002) (1)
- ACT ONE — A Language for Parameterized Specifications (1993) (1)
- Parallelism, Concurrency and Amalgamation (2011) (1)
- Concepts and Compatibility Requirements for Implementations and Transformations of Specifications (1993) (1)
- Towards algebraic data types grammars: a junction between algebraic specification and graph grammars (1986) (1)
- Proceedings of the Third international conference on Graph Transformations (2006) (1)
- Proc. of 5th International Conference on Graph Transformations, ICGT 2010 (2010) (1)
- A Decade of TAPSOFT : (2005) (0)
- Topological automata (1974) (0)
- Algebraic Techniques in Software Development (1996) (0)
- AN ASSESSMENT OF PROGRAMMING STYLES: ASSIGNMENT-ORIENTED LANGUAGES VERSUS FUNCTIONAL AND APPLICATIVE LANGUAGES Manfred Broy (2021) (0)
- European School on Graph Transformation Pullback Rewriting Algebraic Approaches the Logical Expression of Graph Properties and Graph Transformations (2007) (0)
- Restriction Constructions in Specification Logics (1992) (0)
- Minimization Concepts of Automata in Pseudoclosed Categories (1976) (0)
- Graph Transformations: 5th International Conference (2010) (0)
- Formal methods and software development : Colloquium on Software Engineering (CSE) (1985) (0)
- Proceedings of the International Workshop on Graph Transformations in Computer Science (1993) (0)
- Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification (1994) (0)
- Unified Representation of Automata (1974) (0)
- Preface (2001) (0)
- Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (1987) (0)
- Foreword (2011) (0)
- Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) (1987) (0)
- 2 Basic Definitions and Facts 2 . 1 Many-sorted Sets (2011) (0)
- Concurrent Transformations of Graphs and Relational Structures (1983) (0)
- Proceedings of the Workshop on Petri Nets and Graph Transformation (PNGT 2006) (2006) (0)
- Concepts of a Specification Language (1985) (0)
- Specificability and Characterization of Equational Classes (1985) (0)
- On the relevance of high-level net processes, Formal Specification Column (2004) (0)
- Component-Based System Development: Editorial (2002) (0)
- Refinement, Interface Specifications, and Realization (1990) (0)
- MSC volume 22 issue 4 Cover and Back matter (2012) (0)
- A Review of Graph Grammars and Preview of ICGT 2002: The First International Conference on Graph Transformation (2001) (0)
- Example 2: KWIC — index generation (1981) (0)
- Petri Nets : Non-deterministi Pro essesand Compositionality ? (2009) (0)
- Semantics of the Specification Language ACT ONE (1985) (0)
- 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) (1985) (0)
- On the Roots, Birth and Childhood of ETAPS (2001) (0)
- General Concepts of Reduction, Minimization and Realization (1974) (0)
- 1 Petri Net Transformations (2008) (0)
- Multi-amalgamated Transformations (2015) (0)
- Correctness and Extension of Specifications (1985) (0)
- Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Efficient Process Analysis of Transformation Systems Based on Petri nets (2010) (0)
- Categorical approach to nonlinear constant continuous-time systems (2011) (0)
- Behavior of Automata in Closed Categories: The Deterministic Case (1974) (0)
- Electronic Communications of the EASST Volume 18 ( 2009 ) Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques ( GT-VMT 2009 ) Refactoring of Model Transformations (2009) (0)
- Algebraic Specification of Modular Systems (1993) (0)
- Enterprise Modelling and Model Integration (2015) (0)
- Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany] (1989) (0)
- Introduction (2002) (0)
- Some important new facts supporting the development of algebraic specifications (1992) (0)
- Analysis of Model Transformations (2015) (0)
- Modelling and Static Analysis of Self-adaptive Systems by Graph Transformation (2015) (0)
- Action Nets and Abstract Statecharts in the Theory of High-level Replacement Systems 5 Union and Transformation Concepts and Results (1997) (0)
- deOn a reference model for the formalization and integrationof software speci cation languagesMartin (1999) (0)
- Specification of Abstract Data Types (1985) (0)
- Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) (1985) (0)
- Under consideration for publication in Formal Aspects of Computing Reasoning with Graph Constraints (2009) (0)
- Preface (2012) (0)
- Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types Wusterhausen/Dosse, Germany, April 17-20, 1990 Proceedings (1991) (0)
- Specification and Semantics (Dagstuhl Seminar 9628) (2021) (0)
- Parallel Graph Grammers (1975) (0)
- Attributed Graph Transformation with Inheritance (2012) (0)
- International Colloquium on Graph and Model Transformation On the occasion of the 65th birthday of (2010) (0)
- Current Trends in Theoretical Computer Science: Essays and Tutorials (1993) (0)
- Parameterized Specifications and Functors (1985) (0)
- EATCS Mini-Track of FM'99 (1998) (0)
- The Formal Specification Column (2007) (0)
- Foreword Volume 72 (2002) (0)
- Behavior of Automata in Pseudoclosed Categories: The Nondeterministic Case (1974) (0)
- From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement (2010) (0)
- Component-Based System Development (2002) (0)
- The ACT Environment (1993) (0)
- ESF-concepts linked with algebraic module specifications (1990) (0)
- $$\mathcal{M}$$-Adhesive Transformation Systems (2015) (0)
- Reduction and Minimization of Automata in Pseudoclosed Categories (1974) (0)
- Graph Transformations in Computer Science (Dagstuhl Seminar 9637) (2021) (0)
- Adhesive and $$\mathcal{M}$$-Adhesive Categories (2015) (0)
- Selected papers from the 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop on Recent Trends in Data Type Specification (1992) (0)
- Informal Introduction to Abstract Modules (1990) (0)
- Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 98281) (2021) (0)
- Graph Transformations in Computer Science September 9-13 , 1996 Organizers : (2008) (0)
- Development Categories, Simulation, and Transformation (1990) (0)
- Summary of Basic Notions (1990) (0)
- Footprints of HR in Initial Algebra and Final Coalgebra (2006) (0)
- Electronic Communications of the EASST Volume 30 ( 2010 ) International Colloquium on Graph and Model Transformation-On the occasion of the 65 th birthday of Hartmut Ehrig ( GraMoT 2010 ) Preface (2010) (0)
- Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Volume 1: Colloquium on Trees in Algebra and Programming: Mathematical Foundations of Software Development (1985) (0)
- Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation (2009) (0)
- Semantics of Distributed System Speciications Based on Graph Transformation (2007) (0)
- MSC volume 21 issue 5 Cover and Back matter (2011) (0)
- Some Problems in Automata Theory (1974) (0)
- Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques (2000) (0)
- Abstract Act One and Act Two (1990) (0)
- Workshop on Categorial Methods in Computer Science: With Aspects from Topology (1988) (0)
- Foreword (2006) (0)
- Integration and Collaboration Based on Graphical Techniques (Editorial) (2001) (0)
- From Algebraic Graph Transformation to Adhesive High-Level Replacement Categories and Systems (2007) (0)
- 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 (2005) (0)
- A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components (2000) (0)
- Introduction to Universal Parameterized Net Classes (1999) (0)
- Horizonta l and Vertical Structur ing Techniques for Statecharts . (0)
- Appendix: Basic Notions of Category Theory (1974) (0)
- Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg (2015) (0)
- Revie of Dines Bjørner's Textbooks Software Engineering 1-3 (2006) (0)
- Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Propagation of Constraints along Model Transformations Based on Triple Graph Grammars: Long Version (2011) (0)
- Graph-Transformations in Computer Science (Dagstuhl Seminar 9301) (2021) (0)
- On the Concurrent Semantics of Open Graph Transformation Systems and Views (2000) (0)
- North-Holland 45 PARAMETER PASSING IN ALGEBRAIC SPECIFICATION LANGUAGES * (2001) (0)
- Equational Calculus and Term Rewriting (1985) (0)
- Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification) (2004) (0)
- Flattening of Generalized Algebraic High-Level Nets (2008) (0)
- Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Generalized Typed Attributed Graph Transformation Systems based on Morphisms Changing Type Graphs and Data Signature (2010) (0)
- MSC volume 23 issue 5 Cover and Back matter (2013) (0)
- Linking Schemas and Module Specifications: A Proposal (1990) (0)
- Electronic Communications of the EASST Volume 29 ( 2010 ) Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques ( GT-VMT 2010 ) Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets (2010) (0)
- Proceedings of the 7th Workshop on Abstract Data Types: Recent Trends in Data Type Specification (1990) (0)
- Conf Step Event Cond Action trigger StateMachine State stname : String ename : String SC type graph PN type graph PostArc Trans PreArc Place plname : String token : Boolean RefEvent RefState RefStep Transition smname : String isInit : (2007) (0)
- The Impact and Future Role of Algebraic Specification (1996) (0)
- The Role of Mathematics and Formal Specification Techniques in Software System Development (2000) (0)
This paper list is powered by the following services:
Other Resources About Hartmut Ehrig
What Schools Are Affiliated With Hartmut Ehrig?
Hartmut Ehrig is affiliated with the following schools:
