dblp.uni-trier.dewww.uni-trier.de

Julia Padberg Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
52EEUlrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113
51EEJulia Padberg: Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. Applied Categorical Structures 16(3): 333-364 (2008)
50EEAlexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg: Negative Application Conditions for Reconfigurable Place/Transition Systems. ECEASST 10: (2008)
49EEConny Ullrich, Julia Padberg: Reconfigurable Open Algebraic High-Level Systems. ECEASST 14: (2008)
2007
48EEJulia 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
47EEHartmut 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
46EEMarkus Klein, Julia Padberg, Fernando Orejas: Towards Multiple Access in Generic Component Architectures. Electr. Notes Theor. Comput. Sci. 176(2): 25-45 (2007)
2006
45EEPaolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Workshop on Petri Nets and Graph Transformations. ICGT 2006: 467-469
44EEPaolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Foreword. ECEASST 2: (2006)
43EEJulia Padberg, Tiziana Margaria, Gabriele Taentzer: Editorial. ECEASST 4: (2006)
42EEHartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations of Petri Nets. Electr. Notes Theor. Comput. Sci. 148(1): 151-172 (2006)
41EEHartmut 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)
40EEJulia Padberg, Hartmut Ehrig: Petri net modules in the transformation-based component framework. J. Log. Algebr. Program. 67(1-2): 198-225 (2006)
2005
39EEJulia Padberg, Hans-Jörg Kreowski: Loose Semantics of Petri Nets. Formal Methods in Software and Systems Modeling 2005: 370-384
38 Julia Padberg: Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems. Bulletin of the EATCS 87: 138-154 (2005)
37EEHartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Preface. Electr. Notes Theor. Comput. Sci. 127(2): 1-3 (2005)
2004
36EEHartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange: Adhesive High-Level Replacement Categories and Systems. ICGT 2004: 144-160
35EEHartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Workshop on Petri Nets and Graph Transformations. ICGT 2004: 442-444
34EEHartmut 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
33EEHartmut Ehrig, Julia Padberg: Graph Grammars and Petri Net Transformations. Lectures on Concurrency and Petri Nets 2003: 496-536
32EEHerbert 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
31EEJulia Padberg, Milan Urbásek: Rule-Based Refinement of Petri Nets: A Survey. Petri Net Technology for Communication-Based Systems 2003: 161-196
30EEJulia Padberg: Basic Ideas for Transformations of Specification Architectures. Electr. Notes Theor. Comput. Sci. 72(4): (2003)
29EEJulia Padberg: Case Study: Modelling Telecom Services with Petri Net Modules Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2002
28EEHartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel: High-Level Net Processes. Formal and Natural Computing 2002: 191-219
27EERoswitha Bardohl, Claudia Ermel, Julia Padberg: Transforming Specification Architectures by GenGED. ICGT 2002: 30-44
26EEJulia Padberg, Bettina Enders: Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. ICGT 2002: 334-350
2001
25 Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg: Unifying Petri Nets, Advances in Petri Nets Springer 2001
24EEJulia Padberg, Hartmut Ehrig: Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Unifying Petri Nets 2001: 173-229
23EEJulia 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
22 Julia Padberg: Classification of Petri Nets Using Adjoint Functors. Current Trends in Theoretical Computer Science 2001: 171-179
21 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
20EEHartmut Ehrig, Claudia Ermel, Julia Padberg: Preface. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
19EEClaudia Ermel, Roswitha Bardohl, Julia Padberg: Visual Design of Software Architecture and Evolution based on Graph Transformation. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
18 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
17EEJulia Padberg, Kathrin Hoffmann, Magdalena Gajewsky: Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. FASE 2000: 249-265
16 Julia Padberg, Claudia Ermel, Roswitha Bardohl: Rule-Based and Visual Model Evolution using GENGED. ICALP Satellite Workshops 2000: 467-476
1999
15EEJulia Padberg: Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures 7(4): 371-403 (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
13EEJulia 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
10EEJulia 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
8EEHartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg: Horizontal and Vertical Structuring Techniques for Statecharts. CONCUR 1997: 181-195
7EEHartmut 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

Coauthor Index

1Paolo Baldan [28] [44] [45]
2Roswitha Bardohl [16] [19] [27]
3Enrico Biermann [48]
4Alexander Borusan [32]
5Benjamin Braatz [34]
6Andrea Corradini [4]
7Juliane Dehnert [32]
8Hartmut Ehrig [1] [3] [4] [5] [6] [7] [8] [11] [14] [20] [21] [23] [24] [25] [28] [32] [33] [34] [35] [36] [37] [40] [41] [42] [44] [45] [47] [48] [52]
9Bettina Enders [26]
10Claudia Ermel [13] [16] [18] [19] [20] [27] [32] [47] [48]
11Magdalena Gajewsky [12] [13] [17] [18]
12Robert Geisler [8]
13Annegret Habel [36] [41]
14Reiko Heckel [11] [28]
15Kathrin Hoffmann [12] [17] [28] [42] [47] [48] [50] [52]
16Gabriel Juhás [25]
17Marcus Klar [8]
18Markus Klein [34] [46]
19Hans-Jörg Kreowski [39]
20Leen Lambers [50]
21Sabine Lembke [32]
22Mercè Llabrés [11]
23Michael Löwe [4]
24Tiziana Margaria (Tiziana Margaria-Steffen) [43]
25Axel Martens [32]
26A. Merten [6]
27Tony Modica [48]
28Ugo Montanari [4]
29Fernando Orejas [11] [14] [21] [34] [46]
30Sonia Pérez [34]
31Elvira Pino [34]
32Ulrike Prange [36] [41] [47] [50] [52]
33Anilda Qemali [32]
34Alexander Rein [50]
35Wolfgang Reisig [32]
36Leila Ribeiro (Leila Ribeiro Korff) [1] [5]
37Grzegorz Rozenberg [11] [23] [25] [35] [37] [44] [45]
38Gabriele Taentzer [43]
39Conny Ullrich [49]
40Milan Urbásek [31]
41Herbert Weber [32]
42Michael Weber [32]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)