default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUlrike Golas
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
Books and Theses
- 2015
[b3]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- 2011
- [b2]Ulrike Golas:
Analysis and correctness of algebraic graph and model transformations. Berlin Institute of Technology, 2011, ISBN 978-3-8348-1493-7, pp. 1-226 - 2006
- [b1]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
Journal Articles
- 2014
- [j25]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) - [j24]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) - [j23]Karsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas:
Finitary ℳ-adhesive categories. Math. Struct. Comput. Sci. 24(4) (2014) - [j22]Ulrike Golas, Annegret Habel, Hartmut Ehrig:
Multi-amalgamation of rules with application conditions in ℳ-adhesive categories. Math. Struct. Comput. Sci. 24(4) (2014) - 2012
- [j21]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) - [j20]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) - 2011
- [j19]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) - [j18]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) - [j17]Jochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll:
Foreword. J. Symb. Comput. 46(3): 219-221 (2011) - [j16]Benjamin Braatz, Ulrike Golas, Thomas Soboll:
How to delete categorically - Two pushout complement constructions. J. Symb. Comput. 46(3): 246-271 (2011) - 2010
- [j15]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) - [j14]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) - [j13]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) - [j12]Fernando Orejas, Hartmut Ehrig, Ulrike Prange:
Reasoning with graph constraints. Formal Aspects Comput. 22(3-4): 385-422 (2010) - [j11]Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer:
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. Int. J. Softw. Tools Technol. Transf. 12(3-4): 245-261 (2010) - 2009
- [j10]Hartmut Ehrig, Frank Hermann, Ulrike Prange:
Cospan DPO Approach: An Alternative for DPO Graph Transformations. Bull. EATCS 98: 139-149 (2009) - 2008
- [j9]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) - [j8]Hartmut Ehrig, Ulrike Prange:
Flattening of Generalized Algebraic High-Level Nets. Bull. EATCS 94: 151-160 (2008) - [j7]Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg:
Negative Application Conditions for Reconfigurable Place/Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - 2007
- [j6]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) - [j5]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange:
Model Transformations by Graph Transformation are Functors. Bull. EATCS 93: 134-142 (2007) - [j4]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) - 2006
- [j3]Ulrike Prange:
Algebraic High-Level Nets as Weak Adhesive HLR Categories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006) - [j2]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) - [j1]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)
Conference and Workshop Papers
- 2015
- [c31]Gabriele Taentzer, Ulrike Golas:
Towards Local Confluence Analysis for Amalgamated Graph Transformation. ICGT 2015: 69-86 - 2013
- [c30]Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis:
Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013: 113-128 - 2012
- [c29]Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann:
Parallelism and Concurrency of Stochastic Graph Transformations. ICGT 2012: 96-110 - [c28]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 - [c27]Ulrike Golas:
A General Attribution Concept for Models in ℳ-Adhesive Transformation Systems. ICGT 2012: 187-202 - [c26]Thomas Soboll, Ulrike Golas:
A Local-global Model for Multiagent Systems - Sheaves on the Category MAS. ICAART (2) 2012: 331-334 - 2011
- [c25]Fadi Chabarek, Ulrike Golas:
Interaktive Vervollständigung der Szenariobasierten Spezifikation eines Parkassistenzsystems. GI-Jahrestagung 2011: 209 - 2010
- [c24]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 - [c23]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 - [c22]Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas:
Finitary ℳ-Adhesive Categories. ICGT 2010: 234-249 - [c21]Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas:
Local Confluence for Rules with Nested Application Conditions. ICGT 2010: 330-345 - [c20]Ulrike Golas, Hartmut Ehrig, Annegret Habel:
Multi-Amalgamation in Adhesive Categories. ICGT 2010: 346-361 - [c19]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 - 2009
- [c18]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 - 2008
- [c17]Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113 - [c16]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange:
Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76 - [c15]Fernando Orejas, Hartmut Ehrig, Ulrike Prange:
A Logic of Graph Constraints. FASE 2008: 179-198 - [c14]Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas:
Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177 - [c13]Hartmut Ehrig, Ulrike Prange:
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. ICGT 2008: 178-193 - 2007
- [c12]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 - [c11]Ulrike Prange, Hartmut Ehrig:
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. CAI 2007: 122-146 - [c10]Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange:
Preface. ACCAT@ETAPS 2007: 1 - [c9]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 - [c8]Ulrike Prange:
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories. ACCAT@ETAPS 2007: 67-88 - 2006
- [c7]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 - [c6]Hartmut Ehrig, Fernando Orejas, Ulrike Prange:
Categorical Foundations of Distributed Graph Transformation. ICGT 2006: 215-229 - [c5]Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer:
Termination Analysis of Model Transformations by Petri Nets. ICGT 2006: 260-274 - [c4]Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig:
Termination Criteria for DPO Transformations with Injective Matches. GT-VC@CONCUR 2006: 87-100 - 2005
- [c3]Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer:
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation. VL/HCC 2005: 71-78 - 2004
- [c2]Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange:
Adhesive High-Level Replacement Categories and Systems. ICGT 2004: 144-160 - [c1]Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer:
Fundamental Theory for Typed Attributed Graph Transformation. ICGT 2004: 161-177
Editorship
- 2012
- [e2]Ulrike Golas, Thomas Soboll:
Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012. EPTCS 93, 2012 [contents] - 2008
- [e1]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]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 00:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
