Incremental Development of Safety Properties in Petri Net Transformations. - Julia Padberg; Magdalena Gajewsky; Kathrin Hoffmann (TAGT, 1998)

Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. - Julia Padberg; Kathrin Hoffmann; Magdalena Gajewsky (FASE, 2000)

Flexible Modellierung mit Algebraischen Higher Order Netzen. - Kathrin Hoffmann (Modellierung, 2001)

High-Level Net Processes. - Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg; Paolo Baldan; Reiko Heckel (Formal and Natural Computing, 2002)

Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. - Kathrin Hoffmann; Till Mossakowski (WADT, 2002)

Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets. - Kathrin Hoffmann (Petri Net Technology for Communication-Based Systems, 2003)

Transformations of Petri Nets. - Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg (FoVMT, 2004)

Higher-Order Nets for Mobile Policies. - Kathrin Hoffmann; Till Mossakowski; Francesco Parisi-Presicce (PNGT@ICGT, 2004)

High-Level Nets with Nets and Rules as Tokens. - Kathrin Hoffmann; Hartmut Ehrig; Till Mossakowski (ICATPN, 2005)

High-level replacement units and their termination properties. - Paolo Bottoni; Kathrin Hoffmann; Francesco Parisi-Presicce; Gabriele Taentzer (J. Vis. Lang. Comput., 2005)

Formal approach and applications of algebraic higher-order nets. - Kathrin Hoffmann (2005)

Termination of Algebraic Rewriting with Inhibitors. - Paolo Bottoni; Kathrin Hoffmann; Francesco Parisi-Presicce (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Applying algebraic approaches for modeling workflows and their transformations in mobile networks. - Paolo Bottoni; Fabio De Rosa; Kathrin Hoffmann; Massimo Mecella (Mob. Inf. Syst., 2006)

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. - Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg; Ulrike Prange; Claudia Ermel (ICATPN, 2007)

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. - Julia Padberg; Kathrin Hoffmann; Hartmut Ehrig; Tony Modica; Enrico Biermann; Claudia Ermel (FASE, 2007)

Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. - Julia Padberg; Hartmut Ehrig; Kathrin Hoffmann (Bull. EATCS, 2007)

Transformations in Reconfigurable Place/Transition Systems. - Ulrike Prange; Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg (Concurrency, Graphs and Models, 2008)

Layered Architecture Consistency for MANETs: Introducing New Team Members. - Enrico Biermann; Kathrin Hoffmann; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. - Kathrin Hoffmann; Hartmut Ehrig; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Preface. - Kathrin Hoffmann; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Negative Application Conditions for Reconfigurable Place/Transition Systems. - Alexander Rein; Ulrike Prange; Leen Lambers; Kathrin Hoffmann; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Composition and Independence of High-Level Net Processes. - Hartmut Ehrig; Kathrin Hoffmann; Karsten Gabriel; Julia Padberg (FMWS@CONCUR, 2008)

Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. - Claudia Ermel; Tony Modica; Enrico Biermann; Hartmut Ehrig; Kathrin Hoffmann (VL/HCC, 2009)

Formal Modeling and Analysis of Mobile Ad Hoc Networks and Communication Based Systems using Graph and Net Technologies. - Kathrin Hoffmann (Bull. EATCS, 2010)

Preface. - Claudia Ermel; Kathrin Hoffmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. - Ulrike Golas; Kathrin Hoffmann; Hartmut Ehrig; Alexander Rein; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations. - Tony Modica; Karsten Gabriel; Kathrin Hoffmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets. - Tony Modica; Kathrin Hoffmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets. - Susann Gottmann; Nico Nachtigall; Kathrin Hoffmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets. - Julia Padberg; Marvin Ede; Gerhard Oelker; Kathrin Hoffmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

On trajectory tracking control of fluid-driven actuators. - Kathrin Hoffmann; Daniel Müller; René Simon; Oliver Sawodny (Autom., 2021)

Comparison of Cascaded and Flatness-Based Control of a Pneumatically-Driven Rotary Joint. - Kathrin Hoffmann; Christian Trapp; Alexander Hildebrandt; Oliver Sawodny (CCTA, 2022)

Force/Torque Sensor-Free Online Payload Estimation for a Pneumatically Driven Robot. - Kathrin Hoffmann; Christian Trapp; Alexander Hildebrandt; Oliver Sawodny (CCTA, 2023)

Camera Placement Optimization for a Novel Modular Robot Tracking System. - Jan Baumgärtner; Bernd Bertschinger; Kathrin Hoffmann; Alexander Puchta; Oliver Sawodny; Stephan Reichelt; Jürgen Fleischer (SENSORS, 2023)

Flachheitsbasierte Trajektorienfolgeregelung eines pneumatischen Roboters. - Kathrin Hoffmann; Christian Trapp; Alexander Hildebrandt; Oliver Sawodny (Autom., 2023)

Quasi Time-Optimal Trajectory Generation for Pneumatic Drives Considering their Actuator Dynamics and Constraints. - Yuan-Jen Huang; Kathrin Hoffmann; Gajanan Kanagalingam; Christian Trapp; Alexander Hildebrandt; Oliver Sawodny (AIM, 2024)

Quasi Time-Optimal Path Tracking for Pneumatic Robots Considering Third-Order Actuator Constraints. - Gajanan Kanagalingam; Kathrin Hoffmann; Jan Baumgärtner; Bernd Bertschinger; Stephan Reichelt; Jürgen Fleischer; Oliver Sawodny (ACC, 2024)