| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas |
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel |
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ulrike Golas, Hartmut Ehrig, Frank Hermann |
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt |
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Gabriel |
Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll |
Foreword. |
J. Symb. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer |
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong |
Correctness of Model Synchronization Based on Triple Graph Grammars. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Annegret Habel, Leen Lambers |
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maria Maximova, Hartmut Ehrig, Claudia Ermel |
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer |
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig |
From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König |
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fernando Orejas, Hartmut Ehrig, Ulrike Prange |
Reasoning with graph constraints. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange |
Consistent integration of models based on views of meta models. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Ulrike Golas, Frank Hermann |
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas |
Local Confluence for Rules with Nested Application Conditions. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr (eds.) |
Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrike Golas, Hartmut Ehrig, Annegret Habel |
Multi-Amalgamation in Adhesive Categories. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas |
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas |
Finitary M\mathcal{M}-Adhesive Categories. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione |
Formal Analysis and Verification of Self-Healing Systems. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Claudia Ermel |
Refactoring of Model Transformations. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Frank Hermann, Christoph Sartorius |
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg |
Composition and Independence of High-Level Net Processes. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Padberg, Hartmut Ehrig, Fernando Orejas |
Towards Component Verification in the Generic Component Framework. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Compositionality of Model Transformations. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König |
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Frank Hermann, Ulrike Prange |
Cospan DPO Approach: An Alternative for DPO Graph Transformations. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Claudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann |
Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. |
VL/HCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Hermann, Hartmut Ehrig, Claudia Ermel |
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Model transformation, correctness, triple graph grammars |
| 1 | Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig |
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Verification of Architectural Refactorings: Rule Extraction and Tool Support. |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Frank Hermann |
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg |
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Leen Lambers, Hartmut Ehrig, Gabriele Taentzer |
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leen Lambers, Hartmut Ehrig, Fernando Orejas |
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Hermann, Hartmut Ehrig, Gabriele Taentzer |
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas |
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Ermel, Hartmut Ehrig |
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Frank Hermann, Hartmut Ehrig |
Process Definition using Subobject Transformation Systems. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Ulrike Prange |
Flattening of Generalized Algebraic High-Level Nets. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ulrike Prange, Hartmut Ehrig, Leen Lambers |
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. |
Applied Categorical Structures |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A05, 18A30, 18A32, 18C10, 18D99 |
| 1 | Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas |
Embedding and Confluence of Graph Transformations with Negative Application Conditions. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan |
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Claudia Ermel |
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (eds.) |
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings |
ICGT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König |
Open Petri Nets: Non-deterministic Processes and Compositionality. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Ulrike Prange |
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Orejas, Hartmut Ehrig, Ulrike Prange |
A Logic of Graph Constraints. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè |
A Formal Framework for Developing Adaptable Service-Based Applications. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange |
Consistent Integration of Models Based on Views of Visual Languages. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Verification of Architectural Refactorings by Rule Extraction. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
UML, Service Oriented Architecture, Refactoring, CSP, Graph Transformation |
| 1 | Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg |
Transformations in Reconfigurable Place/Transition Systems. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Compositional Verification of Architectural Refactorings. |
WADS |
2008 |
DBLP DOI BibTeX RDF |
UML, Service Oriented Architecture, Refactoring, CSP, Graph Transformation |
| 1 | Guilherme Rangel, Barbara König, Hartmut Ehrig |
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme Rangel, Barbara König, Hartmut Ehrig |
Bisimulation Verification for the DPO Approach with Borrowed. |
ECEASST |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer |
Attributed graph transformation with node type inheritance. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig |
Termination Criteria for DPO Transformations with Injective Matches. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer |
Model Transformations should be Functors. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann |
Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange |
Model Transformations by Graph Transformation are Functors. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel |
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
integration of net theory and graph transformations, parallel and sequential independence of net transformations and token firing |
| 1 | Ulrike Prange, Hartmut Ehrig |
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. |
CAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè |
Iterative model-driven development of adaptable service-based applications. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
visual languages, graph transformations, service integration, live sequence charts, automated analysis |
| 1 | Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer |
Information Preserving Bidirectional Model Transformations. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel |
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Ermel, Hartmut Ehrig, Karsten Ehrig |
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg |
Foreword. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Julia Padberg, Hartmut Ehrig |
Petri net modules in the transformation-based component framework. |
J. Log. Algebr. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Barbara König |
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Leen Lambers, Hartmut Ehrig, Fernando Orejas |
Efficient Detection of Conflicts in Graph-based Model Transformation. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig |
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg |
Transformations of Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann |
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel |
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer |
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig |
Revie of Dines Bjørner's Textbooks Software Engineering 1-3. |
Bulletin of the EATCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig |
Footprints of HR in Initial Algebra and Final Coalgebra. |
Bulletin of the EATCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig |
Report on ACCAT Workshop at ETAPS 2006: Applied and Computational Category Theory. |
Bulletin of the EATCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Hartmut Ehrig, Barbara König |
Composition and Decomposition of DPO Transformations with Borrowed Context. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Leen Lambers, Hartmut Ehrig, Fernando Orejas |
Conflict Detection for Graph Transformation with Negative Application Conditions. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer |
Termination Analysis of Model Transformations by Petri Nets. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
Petri nets, model transformation, termination, graph transformation |
| 1 | Hartmut Ehrig, Fernando Orejas, Ulrike Prange |
Categorical Foundations of Distributed Graph Transformation. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg |
Workshop on Petri Nets and Graph Transformations. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg (eds.) |
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings |
ICGT |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel |
Compositional semantics for open Petri nets based on deterministic processe. |
Mathematical Structures in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino |
Object-Oriented Connector-Component Architectures. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")