Kathrin Hoffmann

	2009
17		Hartmut Ehrig, Kathrin Hoffmann, K. Gabriel, Julia Padberg: Composition and Independence of High-Level Net Processes. Electr. Notes Theor. Comput. Sci. 242(2): 59-71 (2009)
	2008
16		Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113
15		Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg: Negative Application Conditions for Reconfigurable Place/Transition Systems. ECEASST 10: (2008)
	2007
14		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		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		Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce: Termination of Algebraic Rewriting with Inhibitors. ECEASST 4: (2006)
11		Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations of Petri Nets. Electr. Notes Theor. Comput. Sci. 148(1): 151-172 (2006)
10		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		Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski: High-Level Nets with Nets and Rules as Tokens. ICATPN 2005: 268-288
8		Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce: Higher-Order Nets for Mobile Policies. Electr. Notes Theor. Comput. Sci. 127(2): 87-105 (2005)
7		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		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		Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel: High-Level Net Processes. Formal and Natural Computing 2002: 191-219
4		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		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

Coauthor Index

1	Paolo Baldan	[5]
2	Enrico Biermann	[14]
3	Paolo Bottoni	[7] [10] [12]
4	Hartmut Ehrig	[5] [9] [11] [13] [14] [16] [17]
5	Claudia Ermel	[13] [14]
6	K. Gabriel	[17]
7	Magdalena Gajewsky	[1] [2]
8	Reiko Heckel	[5]
9	Leen Lambers	[15]
10	Massimo Mecella	[10]
11	Tony Modica	[14]
12	Till Mossakowski	[4] [8] [9]
13	Julia Padberg	[1] [2] [5] [11] [13] [14] [15] [16] [17]
14	Francesco Parisi-Presicce	[7] [8] [12]
15	Ulrike Prange	[13] [15] [16]
16	Alexander Rein	[15]
17	Fabio De Rosa	[10]
18	Gabriele Taentzer	[7]