The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Julia Padberg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Roswitha Bardohl, Claudia Ermel, Julia Padberg
    Transforming Specification Architectures by GenGED. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:30-44 [Conf]
  16. Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
    Workshop on Petri Nets and Graph Transformations. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:442-444 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. Hartmut Ehrig, Claudia Ermel, Julia Padberg
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]

  43. Transformations in Reconfigurable Place/Transition Systems. [Citation Graph (, )][DBLP]


  44. Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. [Citation Graph (, )][DBLP]


  45. Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. [Citation Graph (, )][DBLP]


  46. Composition and Independence of High-Level Net Processes. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002