Julia Padberg

Available identifiers

zbMath Open padberg.juliaMaRDI QIDQ934667

List of research outcomes

Publication	Date of Publication	Type
Horizontal and vertical structuring techniques for statecharts	2023-05-17	Paper
Hierarchical Graph Transformation Revisited	2019-11-22	Paper
The category of typed graph grammars and its adjunctions with categories of derivations	2019-01-10	Paper
A tutorial on graph transformation	2018-04-04	Paper
Overview of reconfigurable Petri nets	2018-04-04	Paper
Model Checking Reconfigurable Petri Nets with Maude	2016-09-05	Paper
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs	2015-09-22	Paper
Visual Design of Software Architecture and Evolution based on Graph Transformation	2013-05-24	Paper
Rule-Based Refinement of Petri Nets: A Survey	2011-04-08	Paper
A Generic Approach to Connector Architectures Part I: The General Framework	2010-05-25	Paper
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP	2010-05-25	Paper
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems	2009-03-11	Paper
Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components	2008-07-30	Paper
Transformations in Reconfigurable Place/Transition Systems	2008-06-19	Paper
Graph Transformations	2007-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q3416071	2007-01-19	Paper
Petri net modules in the transformation-based component framework	2006-04-28	Paper
Lectures on Concurrency and Petri Nets	2005-12-23	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4738296	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4438763	2003-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4438793	2003-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4421724	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4421725	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4790388	2003-06-02	Paper
Rule-based refinement of high-level nets preserving safety properties	2001-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4502807	2001-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4790391	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4502819	2000-09-12	Paper
Categorical approach to horizontal structuring and refinement of high-level replacement systems	2000-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4940886	2000-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4942095	2000-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4941935	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4223777	1999-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4370279	1998-04-20	Paper
https://portal.mardi4nfdi.de/entity/Q4371022	1998-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4355675	1997-11-20	Paper
Algebraic high-level net transformation systems	1996-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4318986	1995-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4763985	1995-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q3142554	1994-04-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Julia Padberg