Search the dblp DataBase

Publications of Author

1. Hartmut Ehrig, Ulrike Prange
   Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations. [Citation Graph (0, 0)][DBLP]
   Essays Dedicated to Joseph A. Goguen, 2006, pp:235-251 [Conf]
   
2. Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
   Adhesive High-Level Replacement Categories and Systems. [Citation Graph (0, 0)][DBLP]
   ICGT, 2004, pp:144-160 [Conf]
   
3. Hartmut Ehrig, Fernando Orejas, Ulrike Prange
   Categorical Foundations of Distributed Graph Transformation. [Citation Graph (0, 0)][DBLP]
   ICGT, 2006, pp:215-229 [Conf]
   
4. Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
   Fundamental Theory for Typed Attributed Graph Transformation. [Citation Graph (0, 0)][DBLP]
   ICGT, 2004, pp:161-177 [Conf]
   
5. Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
   Termination Analysis of Model Transformations by Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICGT, 2006, pp:260-274 [Conf]
   
6. Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
   Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation. [Citation Graph (0, 0)][DBLP]
   VL/HCC, 2005, pp:71-78 [Conf]
   
7. Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
   Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2006, v:74, n:1, pp:31-61 [Journal]
   
8. Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel
   Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2006, v:74, n:1, pp:1-29 [Journal]
   
9. Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
   Attributed graph transformation with node type inheritance. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:376, n:3, pp:139-163 [Journal]
   
10. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
    Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:104-123 [Conf]
    
11. Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
    Termination Criteria for DPO Transformations with Injective Matches. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:87-100 [Journal]
    
12. 
    Transformations in Reconfigurable Place/Transition Systems. [Citation Graph (, )][DBLP]
    
    
13. 
    Consistent Integration of Models Based on Views of Visual Languages. [Citation Graph (, )][DBLP]
    
    
14. 
    A Logic of Graph Constraints. [Citation Graph (, )][DBLP]
    
    
15. 
    Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. [Citation Graph (, )][DBLP]
    
    
16. 
    Embedding and Confluence of Graph Transformations with Negative Application Conditions. [Citation Graph (, )][DBLP]
    
    
17. 
    On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. [Citation Graph (, )][DBLP]
    
    
18. 
    From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. [Citation Graph (, )][DBLP]
    
    
19. 
    Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. [Citation Graph (, )][DBLP]