| 2008 |
|---|
| 46 | EE | Julia Padberg:
Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components.
Applied Categorical Structures 16(3): 333-364 (2008) |
| 2007 |
|---|
| 45 | EE | Julia Padberg,
Kathrin Hoffmann,
Hartmut Ehrig,
Tony Modica,
Enrico Biermann,
Claudia Ermel:
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks.
FASE 2007: 383-397 |
| 44 | EE | 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 |
| 43 | EE | Markus Klein,
Julia Padberg,
Fernando Orejas:
Towards Multiple Access in Generic Component Architectures.
Electr. Notes Theor. Comput. Sci. 176(2): 25-45 (2007) |
| 2006 |
|---|
| 42 | EE | Paolo Baldan,
Hartmut Ehrig,
Julia Padberg,
Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations.
ICGT 2006: 467-469 |
| 41 | EE | Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg:
Transformations of Petri Nets.
Electr. Notes Theor. Comput. Sci. 148(1): 151-172 (2006) |
| 40 | EE | Hartmut Ehrig,
Julia Padberg,
Ulrike Prange,
Annegret Habel:
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation.
Fundam. Inform. 74(1): 1-29 (2006) |
| 39 | EE | Julia Padberg,
Hartmut Ehrig:
Petri net modules in the transformation-based component framework.
J. Log. Algebr. Program. 67(1-2): 198-225 (2006) |
| 2005 |
|---|
| 38 | EE | Julia Padberg,
Hans-Jörg Kreowski:
Loose Semantics of Petri Nets.
Formal Methods in Software and Systems Modeling 2005: 370-384 |
| 37 | | Julia Padberg:
Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems.
Bulletin of the EATCS 87: 138-154 (2005) |
| 36 | EE | Hartmut Ehrig,
Julia Padberg,
Grzegorz Rozenberg:
Preface.
Electr. Notes Theor. Comput. Sci. 127(2): 1-3 (2005) |
| 2004 |
|---|
| 35 | EE | Hartmut Ehrig,
Annegret Habel,
Julia Padberg,
Ulrike Prange:
Adhesive High-Level Replacement Categories and Systems.
ICGT 2004: 144-160 |
| 34 | EE | Hartmut Ehrig,
Julia Padberg,
Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations.
ICGT 2004: 442-444 |
| 33 | EE | Hartmut Ehrig,
Julia Padberg,
Benjamin Braatz,
Markus Klein,
Fernando Orejas,
Sonia Pérez,
Elvira Pino:
A Generic Framework for Connector Architectures based on Components and Transformations.
Electr. Notes Theor. Comput. Sci. 108: 53-67 (2004) |
| 2003 |
|---|
| 32 | EE | Hartmut Ehrig,
Julia Padberg:
Graph Grammars and Petri Net Transformations.
Lectures on Concurrency and Petri Nets 2003: 496-536 |
| 31 | EE | Herbert Weber,
Hartmut Ehrig,
Wolfgang Reisig,
Alexander Borusan,
Sabine Lembke,
Juliane Dehnert,
Michael Weber,
Axel Martens,
Julia Padberg,
Claudia Ermel,
Anilda Qemali:
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.
Petri Net Technology for Communication-Based Systems 2003: 1-21 |
| 30 | EE | Julia Padberg,
Milan Urbásek:
Rule-Based Refinement of Petri Nets: A Survey.
Petri Net Technology for Communication-Based Systems 2003: 161-196 |
| 29 | EE | Julia Padberg:
Basic Ideas for Transformations of Specification Architectures.
Electr. Notes Theor. Comput. Sci. 72(4): (2003) |
| 28 | EE | Julia Padberg:
Case Study: Modelling Telecom Services with Petri Net Modules
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 2002 |
|---|
| 27 | EE | Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg,
Paolo Baldan,
Reiko Heckel:
High-Level Net Processes.
Formal and Natural Computing 2002: 191-219 |
| 26 | EE | Roswitha Bardohl,
Claudia Ermel,
Julia Padberg:
Transforming Specification Architectures by GenGED.
ICGT 2002: 30-44 |
| 25 | EE | Julia Padberg,
Bettina Enders:
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.
ICGT 2002: 334-350 |
| 2001 |
|---|
| 24 | | Hartmut Ehrig,
Gabriel Juhás,
Julia Padberg,
Grzegorz Rozenberg:
Unifying Petri Nets, Advances in Petri Nets
Springer 2001 |
| 23 | EE | Julia Padberg,
Hartmut Ehrig:
Parameterized Net Classes: A Uniform Approach to Petri Net Classes.
Unifying Petri Nets 2001: 173-229 |
| 22 | EE | Julia Padberg,
Hartmut Ehrig,
Grzegorz Rozenberg:
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.
Unifying Petri Nets 2001: 230-249 |
| 21 | | Julia Padberg:
Classification of Petri Nets Using Adjoint Functors.
Current Trends in Theoretical Computer Science 2001: 171-179 |
| 20 | | Hartmut Ehrig,
Julia Padberg,
Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms.
Current Trends in Theoretical Computer Science 2001: 202-214 |
| 19 | EE | Hartmut Ehrig,
Claudia Ermel,
Julia Padberg:
Preface.
Electr. Notes Theor. Comput. Sci. 44(4): (2001) |
| 18 | EE | Claudia Ermel,
Roswitha Bardohl,
Julia Padberg:
Visual Design of Software Architecture and Evolution based on Graph Transformation.
Electr. Notes Theor. Comput. Sci. 44(4): (2001) |
| 17 | | Julia Padberg,
Magdalena Gajewsky,
Claudia Ermel:
Rule-based refinement of high-level nets preserving safety properties.
Sci. Comput. Program. 40(1): 97-118 (2001) |
| 2000 |
|---|
| 16 | EE | Julia Padberg,
Kathrin Hoffmann,
Magdalena Gajewsky:
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems.
FASE 2000: 249-265 |
| 15 | | Julia Padberg,
Claudia Ermel,
Roswitha Bardohl:
Rule-Based and Visual Model Evolution using GENGED.
ICALP Satellite Workshops 2000: 467-476 |
| 1999 |
|---|
| 14 | | Hartmut Ehrig,
Julia Padberg,
Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms.
Bulletin of the EATCS 69: 98-109 (1999) |
| 1998 |
|---|
| 13 | EE | Julia Padberg,
Magdalena Gajewsky,
Claudia Ermel:
Rule-Based Refinement of High-Level Nets Preserving Safety Properties.
FASE 1998: 221-238 |
| 12 | | Julia Padberg,
Magdalena Gajewsky,
Kathrin Hoffmann:
Incremental Development of Safety Properties in Petri Net Transformations.
TAGT 1998: 410-425 |
| 11 | | Hartmut Ehrig,
Reiko Heckel,
Mercè Llabrés,
Fernando Orejas,
Julia Padberg,
Grzegorz Rozenberg:
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.
TAGT 1998: 85-102 |
| 10 | EE | Julia Padberg:
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets.
WADT 1998: 241-260 |
| 9 | | Julia Padberg:
Classification of Petri Nets Using Adjoint Functors.
Bulletin of the EATCS 66: 85-91 (1998) |
| 1997 |
|---|
| 8 | | Hartmut Ehrig,
Robert Geisler,
Marcus Klar,
Julia Padberg:
Horizontal and Vertical Structuring Techniques for Statecharts.
CONCUR 1997: 181-195 |
| 7 | EE | Hartmut Ehrig,
Julia Padberg:
A Uniform Approach to Petri Nets.
Foundations of Computer Science: Potential - Theory - Cognition 1997: 219-231 |
| 6 | | Hartmut Ehrig,
A. Merten,
Julia Padberg:
How to Transfer Concepts of Abstract Data Types to Petri Nets?
Bulletin of the EATCS 62: (1997) |
| 1995 |
|---|
| 5 | | Julia Padberg,
Hartmut Ehrig,
Leila Ribeiro:
Algebraic High-Level Net Transformation Systems.
Mathematical Structures in Computer Science 5(2): 217-256 (1995) |
| 1994 |
|---|
| 4 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Julia Padberg:
The Category of Typed Graph Grammars and its Adjunctions with Categories.
TAGT 1994: 56-74 |
| 3 | | Hartmut Ehrig,
Julia Padberg:
Linking Algebraic High level Nets and Dynamic Abstract Data.
Bulletin of the EATCS 54: 132-144 (1994) |
| 1993 |
|---|
| 2 | | Julia Padberg:
Algebreic high-level net transformation systems: a survey over theory and applications.
Bulletin of the EATCS 51: 102-110 (1993) |
| 1992 |
|---|
| 1 | | Hartmut Ehrig,
Julia Padberg,
Leila Ribeiro:
Algebraic High-Level Nets: Petri Nets Revisited.
COMPASS/ADT 1992: 188-206 |
