Edit Profile (opens in new tab) Padberg, Julia Co-Author Distance Author ID: padberg.julia Published as: Padberg, Julia; Padberg, J. Documents Indexed: 42 Publications since 1993 3 Contributions as Editor Co-Authors: 36 Co-Authors with 36 Joint Publications 669 Co-Co-Authors all top 5 Co-Authors 9 single-authored 26 Ehrig, Hartmut 6 Ermel, Claudia 5 Orejas, Fernando 4 Hoffmann, Kathrin 4 Prange, Ulrike 4 Rozenberg, Grzegorz 3 Gajewsky, Maike 2 Bardohl, Roswitha 2 Habel, Annegret 2 Heckel, Reiko 2 Klein, Markus 2 Lembke, Sabine 2 Pérez, Sonia 2 Pino, Elvira 2 Ribeiro, Leila 1 Baldan, Paolo 1 Borusan, Alexander 1 Corradini, Andrea 1 Enders, Bettina E. 1 Geisler, Robert 1 Juhás, Gabriel 1 Kahloul, Laid 1 Klar, Marcus 1 König, Barbara 1 Kreowski, Hans-Jörg 1 Llabrés, Mercè 1 Lowe, Michael J. S. 1 Merten, Alan G. 1 Montanari, Ugo G. 1 Nolte, Dennis 1 Qemali, Anilda 1 Reisig, Wolfgang 1 Rensink, Arend 1 Schulz, Alexander 1 Urbášek, Milan 1 Weber, Herbert all top 5 Serials 3 Bulletin of the European Association for Theoretical Computer Science (EATCS) 3 Fundamenta Informaticae 2 Applied Categorical Structures 2 Bulletin of the European Association for Theoretical Computer Science EATCS 2 Electronic Notes in Theoretical Computer Science 1 Science of Computer Programming 1 MSCS. Mathematical Structures in Computer Science 1 The Journal of Logic and Algebraic Programming 1 Lecture Notes in Computer Science Fields 45 Computer science (68-XX) 5 Category theory; homological algebra (18-XX) 3 General and overarching topics; collections (00-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 24 Publications have been cited 110 times in 75 Documents Cited by ▼ Year ▼ Adhesive high-level replacement categories and systems. Zbl 1116.68480 Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike 21 2004 Algebraic high-level net transformation systems. Zbl 0839.68068 Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila 15 1995 Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056 Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret 8 2006 Graph grammars and Petri net transformations. Zbl 1088.68079 Ehrig, Hartmut; Padberg, Julia 7 2004 Independence of net transformations and token firing in reconfigurable place/transition systems. Zbl 1226.68052 Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike; Ermel, Claudia 6 2007 Overview of reconfigurable Petri nets. Zbl 1383.68056 Padberg, Julia; Kahloul, Laid 5 2018 The category of typed graph grammars and its adjunctions with categories of derivations. Zbl 1412.68099 Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Padberg, J. 5 1996 Model checking reconfigurable Petri nets with Maude. Zbl 1344.68141 Padberg, Julia; Schulz, Alexander 5 2016 Algebraic high level nets. Petri nets revisited. Zbl 0941.68643 Ehrig, Hartmut; Padberg, Julia; Ribeiro, Leila 4 1994 A tutorial on graph transformation. Zbl 1383.68044 König, Barbara; Nolte, Dennis; Padberg, Julia; Rensink, Arend 4 2018 Rule-based refinement of high-level nets preserving safety properties. Zbl 0969.68109 Padberg, J.; Gajewsky, M.; Ermel, C. 4 2001 Transformations in reconfigurable place/transition systems. Zbl 1144.68043 Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia 4 2008 Petri net modules in the transformation-based component framework. Zbl 1088.68129 Padberg, Julia; Ehrig, Hartmut 3 2006 Hierarchical graph transformation revisited. Transformations of coalgebraic graphs. Zbl 1425.68171 Padberg, Julia 3 2017 Rule-based refinement of Petri nets: A survey. Zbl 1283.68251 Padberg, J.; Urbášek, M. 3 2003 Categorical approach to horizontal structuring and refinement of high-level replacement systems. Zbl 0941.18001 Padberg, Julia 2 1999 Double-pullback graph transitions: A rule-based framework with incomplete information. Zbl 0958.68123 Ehrig, Hartmut; Heckel, Reiko; Llabrés, Mercè; Orejas, Fernando; Padberg, Julia; Rozenberg, Grzegorz 2 2000 Algebraic high-level net transformation systems: A survey over theory and applications. Zbl 0785.68064 Padberg, Julia 2 1993 Parameterized net classes: A uniform approach to Petri net classes. Zbl 1017.68078 Padberg, Julia; Ehrig, Hartmut 2 2001 Classification of Petri nets using adjoint functors. Zbl 0912.68144 Padberg, Julia 1 1998 From basic views and aspects to integration of specification formalisms. Zbl 1049.68089 Ehrig, Hartmut; Padberg, Julia; Orejas, Fernando 1 2001 Unifying Petri nets. Advances in Petri nets. Zbl 0978.00023 1 2001 High-level net processes. Zbl 1060.68078 Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko 1 2002 Rule invariants in graph transformation systems for analyzing safety-critical systems. Zbl 1028.68032 Padberg, Julia; Enders, Bettina E. 1 2002 Overview of reconfigurable Petri nets. Zbl 1383.68056 Padberg, Julia; Kahloul, Laid 5 2018 A tutorial on graph transformation. Zbl 1383.68044 König, Barbara; Nolte, Dennis; Padberg, Julia; Rensink, Arend 4 2018 Hierarchical graph transformation revisited. Transformations of coalgebraic graphs. Zbl 1425.68171 Padberg, Julia 3 2017 Model checking reconfigurable Petri nets with Maude. Zbl 1344.68141 Padberg, Julia; Schulz, Alexander 5 2016 Transformations in reconfigurable place/transition systems. Zbl 1144.68043 Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia 4 2008 Independence of net transformations and token firing in reconfigurable place/transition systems. Zbl 1226.68052 Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike; Ermel, Claudia 6 2007 Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056 Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret 8 2006 Petri net modules in the transformation-based component framework. Zbl 1088.68129 Padberg, Julia; Ehrig, Hartmut 3 2006 Adhesive high-level replacement categories and systems. Zbl 1116.68480 Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike 21 2004 Graph grammars and Petri net transformations. Zbl 1088.68079 Ehrig, Hartmut; Padberg, Julia 7 2004 Rule-based refinement of Petri nets: A survey. Zbl 1283.68251 Padberg, J.; Urbášek, M. 3 2003 High-level net processes. Zbl 1060.68078 Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko 1 2002 Rule invariants in graph transformation systems for analyzing safety-critical systems. Zbl 1028.68032 Padberg, Julia; Enders, Bettina E. 1 2002 Rule-based refinement of high-level nets preserving safety properties. Zbl 0969.68109 Padberg, J.; Gajewsky, M.; Ermel, C. 4 2001 Parameterized net classes: A uniform approach to Petri net classes. Zbl 1017.68078 Padberg, Julia; Ehrig, Hartmut 2 2001 From basic views and aspects to integration of specification formalisms. Zbl 1049.68089 Ehrig, Hartmut; Padberg, Julia; Orejas, Fernando 1 2001 Unifying Petri nets. Advances in Petri nets. Zbl 0978.00023 1 2001 Double-pullback graph transitions: A rule-based framework with incomplete information. Zbl 0958.68123 Ehrig, Hartmut; Heckel, Reiko; Llabrés, Mercè; Orejas, Fernando; Padberg, Julia; Rozenberg, Grzegorz 2 2000 Categorical approach to horizontal structuring and refinement of high-level replacement systems. Zbl 0941.18001 Padberg, Julia 2 1999 Classification of Petri nets using adjoint functors. Zbl 0912.68144 Padberg, Julia 1 1998 The category of typed graph grammars and its adjunctions with categories of derivations. Zbl 1412.68099 Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Padberg, J. 5 1996 Algebraic high-level net transformation systems. Zbl 0839.68068 Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila 15 1995 Algebraic high level nets. Petri nets revisited. Zbl 0941.68643 Ehrig, Hartmut; Padberg, Julia; Ribeiro, Leila 4 1994 Algebraic high-level net transformation systems: A survey over theory and applications. Zbl 0785.68064 Padberg, Julia 2 1993 all cited Publications top 5 cited Publications all top 5 Cited by 112 Authors 11 Ehrig, Hartmut 7 Padberg, Julia 6 Behr, Nicolas 6 Gadducci, Fabio 6 Ribeiro, Leila 4 Corradini, Andrea 4 Krivine, Jean 4 Prange, Ulrike 4 Sobociński, Paweł 3 Bonchi, Filippo 3 Capra, Lorenzo 3 Heckel, Reiko 3 König, Barbara 3 Kreowski, Hans-Jörg 3 Lambers, Leen 3 Taentzer, Gabriele 2 Baldan, Paolo 2 Castelnovo, Davide 2 Harmer, Russ 2 Heindel, Tobias 2 Kahl, Wolfram 2 Kissinger, Aleks 2 Kuske, Sabine 2 Lomazova, Irina A. 2 Machado, Rodrigo 2 Miculan, Marino 2 Orejas, Fernando 2 Zanasi, Fabio 1 Alberich, Ricardo 1 Andersen, Jakob Lykke 1 Arbab, Farhad 1 Archibald, Blair 1 Azzi, Guilherme Grochau 1 Bardohl, Roswitha 1 Bauderon, Michel 1 Bernardinello, Luca 1 Betz, Tobias 1 Born, Kristopher 1 Burmeister, Peter 1 Cabac, Lawrence 1 de Lara, Juan 1 de Vink, Erik P. 1 Dershowitz, Nachum 1 Desel, Jörg 1 D’silva, Vijay 1 Durán, Francisco 1 Duvigneau, Michael 1 Endrullis, Jörg 1 Engels, Gregor 1 Ermel, Claudia 1 Fahland, Dirk 1 Gabriel, Karsten 1 Garmendia, Antonio 1 Geisler, Robert 1 Gómez-Martínez, Elena 1 Guerra, Esther 1 Guţuleac, Emilian 1 Habel, Annegret 1 Hafidi, Y. 1 Hoffmann, Kathrin 1 Jacquet, Hélène 1 Jouannaud, Jean-Pierre 1 Juhás, Gabriel 1 Keller, Walter 1 Klar, Marcus 1 Kleijn, Jetty 1 Koch, Manuel 1 Köhler-Bußmeier, Michael 1 Köhler, Christian 1 Korff, Martin 1 Kosiol, Jens 1 Koutny, Maciej 1 Kozioura, Vitali 1 Kröning, Daniel 1 Kulcsár, Géza 1 Lazovik, Alexander 1 Lorenz, Robert G. 1 Lye, Aaron 1 Mahr, Bernd 1 Maksimov, D. Yu. 1 Mancini, Luigi Vincenzo 1 Merkle, Daniel 1 Meseguer Guaita, José 1 Montanari, Ugo G. 1 Moraru, Victor 1 Moreno-Delgado, Antonio 1 Nesterov, Roman 1 Olveczky, Peter Csaba 1 Orejas Fernando 1 Overbeek, Roy 1 Parisi-Presicce, Francesco 1 Pennemann, Karl-Heinz 1 Pomello, Lucia 1 Pshenitsyn, Tikhon 1 Rosselló, Francesc 1 Rozenberg, Grzegorz 1 Ryvkin, Sergey 1 Schulz, Alexander 1 Sevegnani, Michele 1 Sousa, Marcelo S. ...and 12 more Authors all top 5 Cited in 12 Serials 9 Theoretical Computer Science 7 Journal of Logical and Algebraic Methods in Programming 4 Information and Computation 2 Formal Aspects of Computing 2 Applied Categorical Structures 2 The Journal of Logic and Algebraic Programming 1 MSCS. Mathematical Structures in Computer Science 1 Automation and Remote Control 1 Annals of Mathematics and Artificial Intelligence 1 Computer Science Journal of Moldova 1 Fundamenta Informaticae 1 Logical Methods in Computer Science all top 5 Cited in 10 Fields 73 Computer science (68-XX) 11 Category theory; homological algebra (18-XX) 3 Mathematical logic and foundations (03-XX) 2 Probability theory and stochastic processes (60-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year