Concepedia

Julia Padberg

JP

14

Publications

411

Citations

12

H-Index

1994

Active since

Affiliations

Technische Universität Berlin(Current)

Julia Padberg is an author at Technische Universität Berlin specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsSoftware DesignComputer EngineeringIndustrial InformaticsSystem SoftwareSoftware EngineeringFormal Verification

Publications per year

1994–2024

14

Publications

14

Algebraic high-level net transformation systems

Julia Padberg, Hartmut Ehrig, Leila Ribeiro · Mathematical Structures in Computer Science · 1995 · 111 citations

Mathematical Programming, Petri Net, Engineering +17

Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation

Hartmut Ehrig, Julia Padberg, Ulrike Prange et al. · 2006 · 59 citations

Rule-based refinement of high-level nets preserving safety properties

Julia Padberg, M. Gajewsky, Claudia Ermel · Science of Computer Programming · 2001 · 38 citations

Safety Engineering, Hardware Security, Rule-based Refinement +9

Transformations of Petri Nets

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg · Electronic Notes in Theoretical Computer Science · 2006 · 29 citations · Full text

Petri Net, Net Structure, Engineering +15

The Category of Typed Graph Grammars and its Adjunctions with Categories

Andrea Corradini, Hartmut Ehrig, M. J. S. Lowe et al. · 1994 · 24 citations

Tree Language, Syntax, Graph Theory +10

Rows per page

1–5 of 14