


default search action
Hartmut 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
2010 – 2019
- 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 - [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) - [c186]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
- [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) - [c185]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
- [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) - [c184]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
- [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) - [c183]Karsten Gabriel, Hartmut Ehrig:
Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes. Software Service and Application Engineering 2012: 10-25 - [c182]Hartmut Ehrig, Claudia Ermel, Falk Hüffner
, Rolf Niedermeier, Olga Runge:
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. CiE 2012: 193-202 - [c181]Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
:
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE 2012: 178-193 - [c180]Reiko Heckel, Hartmut Ehrig, Ulrike Golas
, Frank Hermann:
Parallelism and Concurrency of Stochastic Graph Transformations. ICGT 2012: 96-110 - [c179]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 - [c178]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 - [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] - 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) - [c177]Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer:
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. FASE 2011: 202-216 - [c176]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 - [c175]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
- [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) - [c174]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 - [c173]Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone
, Patrizio Pelliccione
:
Formal Analysis and Verification of Self-Healing Systems. FASE 2010: 139-153 - [c172]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 - [c171]Benjamin Braatz
, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas
:
Finitary ℳ-Adhesive Categories. ICGT 2010: 234-249 - [c170]Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas
, Ulrike Golas
:
Local Confluence for Rules with Nested Application Conditions. ICGT 2010: 330-345 - [c169]Ulrike Golas
, Hartmut Ehrig, Annegret Habel:
Multi-Amalgamation in Adhesive Categories. ICGT 2010: 346-361 - [c168]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 - [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]
2000 – 2009
- 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) - [c167]Fernando Orejas
, Esther Guerra, Juan de Lara, Hartmut Ehrig:
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397 - [c166]Frank Hermann, Hartmut Ehrig, Claudia Ermel:
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE 2009: 325-339 - [c165]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 - [c164]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
- [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) - [c163]Ulrike Prange
, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113 - [c162]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
:
Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76 - [c161]Fernando Orejas
, Hartmut Ehrig, Ulrike Prange
:
A Logic of Graph Constraints. FASE 2008: 179-198 - [c160]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction. FASE 2008: 347-361 - [c159]Leen Lambers, Leonardo Mariani
, Hartmut Ehrig, Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406 - [c158]Guilherme Rangel, Barbara König, Hartmut Ehrig:
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. FoSSaCS 2008: 413-427 - [c157]Leen Lambers, Hartmut Ehrig, Ulrike Prange
, Fernando Orejas
:
Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177 - [c156]Hartmut Ehrig, Ulrike Prange
:
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. ICGT 2008: 178-193 - [c155]Hartmut Ehrig, Claudia Ermel:
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. ICGT 2008: 194-210 - [c154]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 - [c153]Paolo Baldan, Andrea Corradini
, Hartmut Ehrig, Barbara König:
Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT 2008: 257-273 - [c152]Hartmut Ehrig, Claudia Ermel, Frank Hermann:
On the relationship of model transformations based on triple and plain graph grammars. GRaMoT@ICSE 2008: 9-16 - [c151]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Compositional Verification of Architectural Refactorings. WADS 2008: 308-333 - [c150]Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Compositionality of Model Transformations. VODCA@FOSAD 2008: 5-19 - [c149]Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg:
Composition and Independence of High-Level Net Processes. FMWS@CONCUR 2008: 59-71 - [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] - [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) - 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) - [c148]Christoph Brandt, Thomas Engel, Benjamin Braatz, Frank Hermann, Hartmut Ehrig:
An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario. ACIS 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
- [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 - [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) - [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]