×

zbMATH — the first resource for mathematics

Golas, Ulrike

Compute Distance To:
Author ID: golas.ulrike Recent zbMATH articles by "Golas, Ulrike"
Published as: Golas, Ulrike
Documents Indexed: 19 Publications since 2010, including 1 Book

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 48 times in 27 Documents Cited by Year
Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092
Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
6
2010
\(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. Zbl 1342.68176
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
5
2014
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1306.68121
Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike
5
2010
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence. Zbl 1242.68128
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
4
2012
Parallel independence of amalgamated graph transformations applied to model transformation. Zbl 1309.68106
Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele
4
2010
Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike
4
2010
Graph and model transformation. General framework and applications. Zbl 1341.68002
Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank
3
2015
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1342.68177
Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike
3
2014
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Zbl 1284.68324
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
3
2012
Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178
Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut
2
2014
A general attribution concept for models in \({\mathcal M}\)-adhesive transformation systems. Zbl 1367.68133
Golas, Ulrike
2
2012
How to delete categorically – two pushout complement constructions. Zbl 1215.18002
Braatz, Benjamin; Golas, Ulrike; Soboll, Thomas
2
2011
Multi-amalgamation in adhesive categories. Zbl 1306.68071
Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret
2
2010
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
2
2010
Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements. Zbl 1367.68134
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Giese, Holger
1
2012
Graph and model transformation. General framework and applications. Zbl 1341.68002
Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank
3
2015
\(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. Zbl 1342.68176
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
5
2014
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1342.68177
Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike
3
2014
Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178
Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut
2
2014
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence. Zbl 1242.68128
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
4
2012
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Zbl 1284.68324
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
3
2012
A general attribution concept for models in \({\mathcal M}\)-adhesive transformation systems. Zbl 1367.68133
Golas, Ulrike
2
2012
Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements. Zbl 1367.68134
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Giese, Holger
1
2012
How to delete categorically – two pushout complement constructions. Zbl 1215.18002
Braatz, Benjamin; Golas, Ulrike; Soboll, Thomas
2
2011
Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092
Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
6
2010
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1306.68121
Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike
5
2010
Parallel independence of amalgamated graph transformations applied to model transformation. Zbl 1309.68106
Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele
4
2010
Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike
4
2010
Multi-amalgamation in adhesive categories. Zbl 1306.68071
Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret
2
2010
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
2
2010

Citations by Year