| 2008 |
|---|
| 16 | EE | Ulrike Prange,
Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg:
Transformations in Reconfigurable Place/Transition Systems.
Concurrency, Graphs and Models 2008: 96-113 |
| 15 | EE | Alexander Rein,
Ulrike Prange,
Leen Lambers,
Kathrin Hoffmann,
Julia Padberg:
Negative Application Conditions for Reconfigurable Place/Transition Systems.
ECEASST 10: (2008) |
| 2007 |
|---|
| 14 | EE | 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 |
| 13 | EE | 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 |
| 2006 |
|---|
| 12 | EE | Paolo Bottoni,
Kathrin Hoffmann,
Francesco Parisi-Presicce:
Termination of Algebraic Rewriting with Inhibitors.
ECEASST 4: (2006) |
| 11 | EE | Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg:
Transformations of Petri Nets.
Electr. Notes Theor. Comput. Sci. 148(1): 151-172 (2006) |
| 10 | EE | Paolo Bottoni,
Fabio De Rosa,
Kathrin Hoffmann,
Massimo Mecella:
Applying algebraic approaches for modeling workflows and their transformations in mobile networks.
Mobile Information Systems 2(1): 51-76 (2006) |
| 2005 |
|---|
| 9 | EE | Kathrin Hoffmann,
Hartmut Ehrig,
Till Mossakowski:
High-Level Nets with Nets and Rules as Tokens.
ICATPN 2005: 268-288 |
| 8 | EE | Kathrin Hoffmann,
Till Mossakowski,
Francesco Parisi-Presicce:
Higher-Order Nets for Mobile Policies.
Electr. Notes Theor. Comput. Sci. 127(2): 87-105 (2005) |
| 7 | EE | Paolo Bottoni,
Kathrin Hoffmann,
Francesco Parisi-Presicce,
Gabriele Taentzer:
High-level replacement units and their termination properties.
J. Vis. Lang. Comput. 16(6): 485-507 (2005) |
| 2003 |
|---|
| 6 | EE | Kathrin Hoffmann:
Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets.
Petri Net Technology for Communication-Based Systems 2003: 145-160 |
| 2002 |
|---|
| 5 | EE | Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg,
Paolo Baldan,
Reiko Heckel:
High-Level Net Processes.
Formal and Natural Computing 2002: 191-219 |
| 4 | EE | Kathrin Hoffmann,
Till Mossakowski:
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens.
WADT 2002: 253-267 |
| 2001 |
|---|
| 3 | | Kathrin Hoffmann:
Flexible Modellierung mit Algebraischen Higher Order Netzen.
Modellierung 2001: 101-110 |
| 2000 |
|---|
| 2 | EE | Julia Padberg,
Kathrin Hoffmann,
Magdalena Gajewsky:
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems.
FASE 2000: 249-265 |
| 1998 |
|---|
| 1 | | Julia Padberg,
Magdalena Gajewsky,
Kathrin Hoffmann:
Incremental Development of Safety Properties in Petri Net Transformations.
TAGT 1998: 410-425 |
