Остановите войну!
for scientists:
default search action
Julia Padberg
- > Home > Persons > Julia Padberg
Publications
- 2018
- [c44]Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink:
A Tutorial on Graph Transformation. Graph Transformation, Specifications, and Nets 2018: 83-104 - 2012
- [j32]Julia Padberg, Kathrin Hoffmann:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012) - [j31]Julia Padberg, Marvin Ede, Gerhard Oelker, Kathrin Hoffmann:
ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012) - 2010
- [j30]Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg:
Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010) - [j29]Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez:
A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Informaticae 99(1): 63-93 (2010) - [j28]Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez:
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Informaticae 99(1): 95-124 (2010) - 2008
- [j26]Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg:
Negative Application Conditions for Reconfigurable Place/Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j25]Enrico Biermann, Kathrin Hoffmann, Julia Padberg:
Layered Architecture Consistency for MANETs: Introducing New Team Members. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008) - [j24]Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg:
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008) - [j23]Kathrin Hoffmann, Julia Padberg:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008) - [c36]Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113 - [c35]Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg:
Composition and Independence of High-Level Net Processes. FMWS@CONCUR 2008: 59-71 - 2007
- [j21]Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann:
Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. Bull. EATCS 91: 120-124 (2007) - [c34]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 - [c33]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 - [c32]Julia Padberg, Hartmut Ehrig, Fernando Orejas:
Towards Component Verification in the Generic Component Framework. FESCA@ETAPS 2007: 37-53 - 2006
- [j20]Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Foreword. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006) - [j19]Julia Padberg, Tiziana Margaria, Gabriele Taentzer:
Editorial. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006) - [j18]Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel:
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. Fundam. Informaticae 74(1): 1-29 (2006) - [j17]Julia Padberg, Hartmut Ehrig:
Petri net modules in the transformation-based component framework. J. Log. Algebraic Methods Program. 67(1-2): 198-225 (2006) - [c31]Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations. ICGT 2006: 467-469 - [c30]Markus Klein, Julia Padberg, Fernando Orejas:
Towards Multiple Access in Generic Component Architectures. FESCA@ETAPS 2006: 25-45 - 2005
- [c29]Julia Padberg, Hans-Jörg Kreowski:
Loose Semantics of Petri Nets. Formal Methods in Software and Systems Modeling 2005: 370-384 - [e3]Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004. Electronic Notes in Theoretical Computer Science 127(2), Elsevier 2005 [contents] - 2004
- [c28]Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange:
Adhesive High-Level Replacement Categories and Systems. ICGT 2004: 144-160 - [c27]Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations. ICGT 2004: 442-444 - [c26]Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Preface. PNGT@ICGT 2004: 1-3 - [c25]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. FESCA@ETAPS 2004: 53-67 - [c24]Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
Transformations of Petri Nets. FoVMT 2004: 151-172 - 2003
- [c23]Hartmut Ehrig, Julia Padberg:
Graph Grammars and Petri Net Transformations. Lectures on Concurrency and Petri Nets 2003: 496-536 - [c22]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 - [c21]Julia Padberg, Milan Urbásek:
Rule-Based Refinement of Petri Nets: A Survey. Petri Net Technology for Communication-Based Systems 2003: 161-196 - 2002
- [j14]Julia Padberg, Herbert Weber, Asuman Sünbül:
Petri Net Based Components for Evolvable Architectures. Trans. SDPS 6(3): 105-114 (2002) - [j13]Hartmut Ehrig, Julia Padberg:
Component-Based System Development. Trans. SDPS 6(4): 1 (2002) - [c19]Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel:
High-Level Net Processes. Formal and Natural Computing 2002: 191-219 - [c18]Roswitha Bardohl, Claudia Ermel, Julia Padberg:
Transforming Specification Architectures by GenGED. ICGT 2002: 30-44 - [c17]Julia Padberg, Bettina Enders:
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. ICGT 2002: 334-350 - 2001
- [j11]Hartmut Ehrig, Michael Goedicke, Julia Padberg:
Integration and Collaboration Based on Graphical Techniques (Editorial). Trans. SDPS 5(1): 1-2 (2001) - [j10]Julia Padberg, L. Jansen, Hartmut Ehrig, Eckehard Schnieder, Reiko Heckel:
Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. Trans. SDPS 5(1): 3-21 (2001) - [j9]Asuman Sünbül, Herbert Weber, Julia Padberg:
Evolutionary Development of Business Process Centered Architectures using Component Technologies. Trans. SDPS 5(3): 13-24 (2001) - [j8]Julia Padberg, Magdalena Gajewsky, Claudia Ermel:
Rule-based refinement of high-level nets preserving safety properties. Sci. Comput. Program. 40(1): 97-118 (2001) - [c15]Julia Padberg, Hartmut Ehrig:
Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Unifying Petri Nets 2001: 173-229 - [c14]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 - [c13]Claudia Ermel, Roswitha Bardohl, Julia Padberg:
Visual Design of Software Architecture and Evolution based on Graph Transformation. UNIGRA 2001: 52-66 - [c12]Hartmut Ehrig, Claudia Ermel, Julia Padberg:
Preface. UNIGRA 2001: 188-189 - [p1]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 - [e2]Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg:
Unifying Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science 2128, Springer 2001, ISBN 3-540-43067-9 [contents] - [e1]Hartmut Ehrig, Claudia Ermel, Julia Padberg:
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, March 31 - April 1, 2001. Electronic Notes in Theoretical Computer Science 44(4), Elsevier 2001 [contents] - 2000
- [c11]Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky:
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. FASE 2000: 249-265 - [c10]Julia Padberg, Claudia Ermel, Roswitha Bardohl:
Rule-Based and Visual Model Evolution using GENGED. ICALP Satellite Workshops 2000: 467-476 - 1999
- [j6]Hartmut Ehrig, Julia Padberg, Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms. Bull. EATCS 69: 98-109 (1999) - 1998
- [c9]Julia Padberg, Magdalena Gajewsky, Claudia Ermel:
Rule-Based Refinement of High-Level Nets Preserving Safety Properties. FASE 1998: 221-238 - [c8]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 - [c7]Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann:
Incremental Development of Safety Properties in Petri Net Transformations. TAGT 1998: 410-425 - 1997
- [j4]Hartmut Ehrig, A. Merten, Julia Padberg:
How to Transfer Concepts of Abstract Data Types to Petri Nets? Bull. EATCS 62 (1997) - [c5]Hartmut Ehrig, Julia Padberg:
A Uniform Approach to Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 219-231 - [c4]Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg:
Horizontal and Vertical Structuring Techniques for Statecharts. CONCUR 1997: 181-195 - 1995
- [j3]Julia Padberg, Hartmut Ehrig, Leila Ribeiro:
Algebraic High-Level Net Transformation Systems. Math. Struct. Comput. Sci. 5(2): 217-256 (1995) - 1994
- [j2]Hartmut Ehrig, Julia Padberg:
Linking Algebraic High level Nets and Dynamic Abstract Data. Bull. EATCS 54: 132-144 (1994) - [c3]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 - 1993
- [c2]Leila Ribeiro, Hartmut Ehrig, Julia Padberg:
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. SBES 1993: 1-16 - 1992
- [c1]Hartmut Ehrig, Julia Padberg, Leila Ribeiro:
Algebraic High-Level Nets: Petri Nets Revisited. COMPASS/ADT 1992: 188-206
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-01-14 23:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint