Kathrin Hoffmann

	2010
28		Kathrin Hoffmann: Formal Modeling and Analysis of Mobile Ad Hoc Networks and Communication Based Systems using Graph and Net Technologies. Bulletin of the EATCS 101: 148-160 (2010)
27		Tony Modica, Kathrin Hoffmann: Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets. ECEASST 30: (2010)
26		Tony Modica, Karsten Gabriel, Kathrin Hoffmann: Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations. ECEASST 40: (2010)
25		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. ECEASST 40: (2010)
24		Claudia Ermel, Kathrin Hoffmann: Preface. ECEASST 40: (2010)
	2009
23		Claudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann: Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. VL/HCC 2009: 47-50
22		Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg: Composition and Independence of High-Level Net Processes. Electr. Notes Theor. Comput. Sci. 242(2): 59-71 (2009)
	2008
21		Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113
20		Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg: Negative Application Conditions for Reconfigurable Place/Transition Systems. ECEASST 10: (2008)
19		Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg: Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. ECEASST 12: (2008)
18		Enrico Biermann, Kathrin Hoffmann, Julia Padberg: Layered Architecture Consistency for MANETs: Introducing New Team Members. ECEASST 12: (2008)
17		Kathrin Hoffmann, Julia Padberg: Preface. ECEASST 12: (2008)
	2007
16		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
15		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
14		Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann: Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. Bulletin of the EATCS 91: 120-124 (2007)
	2006
13		Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce: Termination of Algebraic Rewriting with Inhibitors. ECEASST 4: (2006)
12		Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations of Petri Nets. Electr. Notes Theor. Comput. Sci. 148(1): 151-172 (2006)
11		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
10		Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski: High-Level Nets with Nets and Rules as Tokens. ICATPN 2005: 268-288
9		Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce: Higher-Order Nets for Mobile Policies. Electr. Notes Theor. Comput. Sci. 127(2): 87-105 (2005)
8		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)
7		Kathrin Hoffmann: Formal approach and applications of algebraic higher-order nets. Berlin Institute of Technology 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	[16] [18] [23]
3	Paolo Bottoni	[8] [11] [13]
4	Hartmut Ehrig	[5] [10] [12] [14] [15] [16] [19] [21] [22] [23] [25]
5	Claudia Ermel	[15] [16] [23] [24]
6	Karsten Gabriel	[22] [26]
7	Magdalena Gajewsky	[1] [2]
8	Ulrike Golas (Ulrike Prange)	[15] [20] [21] [25]
9	Reiko Heckel	[5]
10	Leen Lambers	[20]
11	Massimo Mecella	[11]
12	Tony Modica	[16] [23] [26] [27]
13	Till Mossakowski	[4] [9] [10]
14	Julia Padberg	[1] [2] [5] [12] [14] [15] [16] [17] [18] [19] [20] [21] [22] [25]
15	Francesco Parisi-Presicce	[8] [9] [13]
16	Alexander Rein	[20] [25]
17	Fabio De Rosa	[11]
18	Gabriele Taentzer	[8]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page