( en | de | ru )

 

Disambiguation of "Padberg, Julia"

Author of the publication

copydeleteadd this publication to your clipboard
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation.

, , , and . Fundam. Informaticae, 74 (1): 1-29 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Julia Padberg

Guenter Julian

Otto Julian

Ernst Julian

Klaus Julian

 

Other publications of authors with the same name

Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations., , and . SBES, page 1-16. SBC, (1993)Workshop on Petri Nets and Graph Transformations., , and . ICGT, volume 3256 of Lecture Notes in Computer Science, page 442-444. Springer, (2004)Hierarchical, Reconfigurable Petri Nets., and . Modellierung (Workshops), volume 2060 of CEUR Workshop Proceedings, page 167-186. CEUR-WS.org, (2018)Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. Applied Categorical Structures, (2008)A Uniform Approach to Petri Nets., and . Foundations of Computer Science: Potential - Theory - Cognition, volume 1337 of Lecture Notes in Computer Science, page 219-231. Springer, (1997)Subtyping for Hierarchical, Reconfigurable Petri Nets.. CoRR, (2018)Integration and Collaboration Based on Graphical Techniques (Editorial)., , and . Transactions of the SDPS, 5 (1): 1-2 (2001)Workshop on Petri Nets and Graph Transformations., , , and . ICGT, volume 4178 of Lecture Notes in Computer Science, page 467-469. Springer, (2006)Rule-Based Refinement of High-Level Nets Preserving Safety Properties., , and . FASE, volume 1382 of Lecture Notes in Computer Science, page 221-238. Springer, (1998)Towards Model Checking Reconfigurable Petri Nets using Maude., and . ECEASST, (2014)