- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j19 |      | Susann Gottmann, Nico Nachtigall, Kathrin Hoffmann: On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets. ECEASST 51 (2012) |
| j18 | | |
| j17 | | Julia Padberg, Marvin Ede, Gerhard Oelker, Kathrin Hoffmann: ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets. ECEASST 54 (2012) |
| 2010 | ||
| j16 | | 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) |
| j15 | | Tony Modica, Kathrin Hoffmann: Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets. ECEASST 30 (2010) |
| j14 | | |
| j13 | | 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) |
| j12 | | Tony Modica, Karsten Gabriel, Kathrin Hoffmann: Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations. ECEASST 40 (2010) |
| 2009 | ||
| j11 | | 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) |
| c11 | | 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 |
| 2008 | ||
| j10 | | Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg: Negative Application Conditions for Reconfigurable Place/Transition Systems. ECEASST 10 (2008) |
| j9 | | Enrico Biermann, Kathrin Hoffmann, Julia Padberg: Layered Architecture Consistency for MANETs: Introducing New Team Members. ECEASST 12 (2008) |
| j8 | | Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg: Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. ECEASST 12 (2008) |
| j7 | | |
| c10 | | Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113 |
| 2007 | ||
| j6 |  | 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) |
| c9 | | 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 |
| c8 | | 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 |
| 2006 | ||
| j5 | | Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce: Termination of Algebraic Rewriting with Inhibitors. ECEASST 4 (2006) |
| j4 | | Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations of Petri Nets. Electr. Notes Theor. Comput. Sci. 148(1): 151-172 (2006) |
| j3 | | 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 | ||
| b1 | | Kathrin Hoffmann: Formal approach and applications of algebraic higher-order nets. Berlin Institute of Technology 2005 |
| j2 | | Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce: Higher-Order Nets for Mobile Policies. Electr. Notes Theor. Comput. Sci. 127(2): 87-105 (2005) |
| j1 | | 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) |
| c7 | | Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski: High-Level Nets with Nets and Rules as Tokens. ICATPN 2005: 268-288 |
| 2003 | ||
| c6 | | 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 | ||
| c5 | | Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel: High-Level Net Processes. Formal and Natural Computing 2002: 191-219 |
| c4 | | Kathrin Hoffmann, Till Mossakowski: Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. WADT 2002: 253-267 |
| 2001 | ||
| c3 | | Kathrin Hoffmann: Flexible Modellierung mit Algebraischen Higher Order Netzen. Modellierung 2001: 101-110 |
| 2000 | ||
| c2 | | Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky: Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. FASE 2000: 249-265 |
| 1998 | ||
| c1 | | Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann: Incremental Development of Safety Properties in Petri Net Transformations. TAGT 1998: 410-425 |
Colors in the list of coauthors
Last update Tue May 21 22:25:24 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page