BibSonomy :: author  :: Prange ::

bookmarks

publications

(25)

• Negative Application Conditions for Reconfigurable Place/Transition Systems.
  Alexander Rein and Ulrike Prange and Leen Lambers and Kathrin Hoffmann and Julia Padberg ECEASST 10 (2008)
  to dblp by dblp on 2008-11-19 00:00:00
  | URL | BibTeX  
• Algebraic High-Level Nets as Weak Adhesive HLR Categories.
  Ulrike Prange ECEASST 2 (2006)
  to dblp by dblp on 2008-11-19 00:00:00
  | URL | BibTeX  
• From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.
  Ulrike Prange and Hartmut Ehrig CAI 122-146 (2007)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.
  Hartmut Ehrig and Ulrike Prange ICGT 178-193 (2008)
  to dblp by dblp on 2008-09-22 00:00:00
  | URL | BibTeX  
• Embedding and Confluence of Graph Transformations with Negative Application Conditions.
  Leen Lambers and Hartmut Ehrig and Ulrike Prange and Fernando Orejas ICGT 162-177 (2008)
  to dblp by dblp on 2008-09-22 00:00:00
  | URL | BibTeX  
• Transformations in Reconfigurable Place/Transition Systems.
  Ulrike Prange and Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg Concurrency, Graphs and Models 96-113 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories.
  Ulrike Prange and Hartmut Ehrig and Leen Lambers Applied Categorical Structures 16 365-388 (2008)
  to dblp by dblp on 2008-05-26 00:00:00
  | URL | BibTeX  
• A Logic of Graph Constraints.
  Fernando Orejas and Hartmut Ehrig and Ulrike Prange FASE 179-198 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Consistent Integration of Models Based on Views of Visual Languages.
  Hartmut Ehrig and Karsten Ehrig and Claudia Ermel and Ulrike Prange FASE 62-76 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Termination Criteria for DPO Transformations with Injective Matches.
  Tihamer Levendovszky and Ulrike Prange and Hartmut Ehrig Electr. Notes Theor. Comput. Sci. 175 87-100 (2007)
  to dblp by dblp on 2007-09-21 00:00:00
  | URL | BibTeX