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

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)

Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms. - Hartmut Ehrig; Karsten Gabriel (Int. J. Softw. Informatics, 2011)

Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes. - Karsten Gabriel; Hartmut Ehrig (Software Service and Application Engineering, 2012)

Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories - Hanna Schölzel; Hartmut Ehrig; Maria Maximova; Karsten Gabriel; Frank Hermann 001 (ACCAT, 2012)

Process Evolution based on Transformation of Algebraic High-Level Nets with Applications to Communication Platforms. - Karsten Gabriel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Algebraic Approach to Timed Petri Nets. - Karsten Gabriel; Pascal Lingnau; Claudia Ermel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes. - Karsten Gabriel; Hartmut Ehrig (Theor. Comput. Sci., 2012)

Finitary ℳ-adhesive categories. - Karsten Gabriel; Benjamin Braatz; Hartmut Ehrig; Ulrike Golas (Math. Struct. Comput. Sci., 2014)

Interaction on human-centric communication platforms: modelling and analysis using algebraic high-level nets and processes. - Karsten Gabriel (2014)