Search the dblp DataBase
Julia Padberg :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hartmut Ehrig , Julia Padberg Graph Grammars and Petri Net Transformations. [Citation Graph (0, 0)][DBLP ] Lectures on Concurrency and Petri Nets, 2003, pp:496-536 [Conf ] Julia Padberg , Hartmut Ehrig Parameterized Net Classes: A Uniform Approach to Petri Net Classes. [Citation Graph (0, 0)][DBLP ] Unifying Petri Nets, 2001, pp:173-229 [Conf ] Julia Padberg , Hartmut Ehrig , Grzegorz Rozenberg Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. [Citation Graph (0, 0)][DBLP ] Unifying Petri Nets, 2001, pp:230-249 [Conf ] Hartmut Ehrig , Kathrin Hoffmann , Julia Padberg , Paolo Baldan , Reiko Heckel High-Level Net Processes. [Citation Graph (0, 0)][DBLP ] Formal and Natural Computing, 2002, pp:191-219 [Conf ] Hartmut Ehrig , Julia Padberg A Uniform Approach to Petri Nets. [Citation Graph (0, 0)][DBLP ] Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:219-231 [Conf ] Julia Padberg , Hans-Jörg Kreowski Loose Semantics of Petri Nets. [Citation Graph (0, 0)][DBLP ] Formal Methods in Software and Systems Modeling, 2005, pp:370-384 [Conf ] Hartmut Ehrig , Julia Padberg , Leila Ribeiro Algebraic High-Level Nets: Petri Nets Revisited. [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1992, pp:188-206 [Conf ] Hartmut Ehrig , Robert Geisler , Marcus Klar , Julia Padberg Horizontal and Vertical Structuring Techniques for Statecharts. [Citation Graph (0, 0)][DBLP ] CONCUR, 1997, pp:181-195 [Conf ] Julia Padberg , Milan Urbásek Rule-Based Refinement of Petri Nets: A Survey. [Citation Graph (0, 0)][DBLP ] Petri Net Technology for Communication-Based Systems, 2003, pp:161-196 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Petri Net Technology for Communication-Based Systems, 2003, pp:1-21 [Conf ] Julia Padberg , Magdalena Gajewsky , Claudia Ermel Rule-Based Refinement of High-Level Nets Preserving Safety Properties. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:221-238 [Conf ] Julia Padberg , Kathrin Hoffmann , Magdalena Gajewsky Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. [Citation Graph (0, 0)][DBLP ] FASE, 2000, pp:249-265 [Conf ] Paolo Baldan , Hartmut Ehrig , Julia Padberg , Grzegorz Rozenberg Workshop on Petri Nets and Graph Transformations. [Citation Graph (0, 0)][DBLP ] ICGT, 2006, pp:467-469 [Conf ] Hartmut Ehrig , Annegret Habel , Julia Padberg , Ulrike Prange Adhesive High-Level Replacement Categories and Systems. [Citation Graph (0, 0)][DBLP ] ICGT, 2004, pp:144-160 [Conf ] Roswitha Bardohl , Claudia Ermel , Julia Padberg Transforming Specification Architectures by GenGED. [Citation Graph (0, 0)][DBLP ] ICGT, 2002, pp:30-44 [Conf ] Hartmut Ehrig , Julia Padberg , Grzegorz Rozenberg Workshop on Petri Nets and Graph Transformations. [Citation Graph (0, 0)][DBLP ] ICGT, 2004, pp:442-444 [Conf ] Julia Padberg , Bettina Enders Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. [Citation Graph (0, 0)][DBLP ] ICGT, 2002, pp:334-350 [Conf ] Julia Padberg , Claudia Ermel , Roswitha Bardohl Rule-Based and Visual Model Evolution using GENGED. [Citation Graph (0, 0)][DBLP ] ICALP Satellite Workshops, 2000, pp:467-476 [Conf ] Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Julia Padberg The Category of Typed Graph Grammars and its Adjunctions with Categories. [Citation Graph (0, 0)][DBLP ] TAGT, 1994, pp:56-74 [Conf ] Hartmut Ehrig , Reiko Heckel , Mercè Llabrés , Fernando Orejas , Julia Padberg , Grzegorz Rozenberg Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. [Citation Graph (0, 0)][DBLP ] TAGT, 1998, pp:85-102 [Conf ] Julia Padberg , Magdalena Gajewsky , Kathrin Hoffmann Incremental Development of Safety Properties in Petri Net Transformations. [Citation Graph (0, 0)][DBLP ] TAGT, 1998, pp:410-425 [Conf ] Julia Padberg Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets. [Citation Graph (0, 0)][DBLP ] WADT, 1998, pp:241-260 [Conf ] Hartmut Ehrig , A. Merten , Julia Padberg How to Transfer Concepts of Abstract Data Types to Petri Nets? [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1997, v:62, n:, pp:- [Journal ] Hartmut Ehrig , Julia Padberg Linking Algebraic High level Nets and Dynamic Abstract Data. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1994, v:54, n:, pp:132-144 [Journal ] Hartmut Ehrig , Julia Padberg , Fernando Orejas From Basic Views and Aspects to Integration of Specification Formalisms. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1999, v:69, n:, pp:98-109 [Journal ] Julia Padberg Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 2005, v:87, n:, pp:138-154 [Journal ] Julia Padberg Algebreic high-level net transformation systems: a survey over theory and applications. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1993, v:51, n:, pp:102-110 [Journal ] Julia Padberg Classification of Petri Nets Using Adjoint Functors. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1998, v:66, n:, pp:85-91 [Journal ] Hartmut Ehrig , Claudia Ermel , Julia Padberg Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal ] Hartmut Ehrig , Kathrin Hoffmann , Julia Padberg Transformations of Petri Nets. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:148, n:1, pp:151-172 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:53-67 [Journal ] Hartmut Ehrig , Julia Padberg , Grzegorz Rozenberg Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:1-3 [Journal ] Claudia Ermel , Roswitha Bardohl , Julia Padberg Visual Design of Software Architecture and Evolution based on Graph Transformation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal ] Julia Padberg Case Study: Modelling Telecom Services with Petri Net Modules [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal ] Julia Padberg Basic Ideas for Transformations of Specification Architectures. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:4, pp:- [Journal ] Markus Klein , Julia Padberg , Fernando Orejas Towards Multiple Access in Generic Component Architectures. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:25-45 [Journal ] Hartmut Ehrig , Julia Padberg , Ulrike Prange , Annegret Habel Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2006, v:74, n:1, pp:1-29 [Journal ] Julia Padberg , Hartmut Ehrig Petri net modules in the transformation-based component framework. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:198-225 [Journal ] Julia Padberg , Hartmut Ehrig , Leila Ribeiro Algebraic High-Level Net Transformation Systems. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:217-256 [Journal ] Julia Padberg , Magdalena Gajewsky , Claudia Ermel Rule-based refinement of high-level nets preserving safety properties. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2001, v:40, n:1, pp:97-118 [Journal ] Hartmut Ehrig , Kathrin Hoffmann , Julia Padberg , Ulrike Prange , Claudia Ermel Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. [Citation Graph (0, 0)][DBLP ] ICATPN, 2007, pp:104-123 [Conf ] Julia Padberg , Kathrin Hoffmann , Hartmut Ehrig , Tony Modica , Enrico Biermann , Claudia Ermel Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP ] FASE, 2007, pp:383-397 [Conf ] Transformations in Reconfigurable Place/Transition Systems. [Citation Graph (, )][DBLP ] Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. [Citation Graph (, )][DBLP ] Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. [Citation Graph (, )][DBLP ] Composition and Independence of High-Level Net Processes. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.006secs