Karsten Gabriel

According to our database, Karsten Gabriel authored at least 10 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Interaction on human-centric communication platforms: modelling and analysis using algebraic high-level nets and processes.

Karsten Gabriel

PhD thesis, 2014

Finitary ℳ-adhesive categories.

Karsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas

Math. Struct. Comput. Sci., 2014

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

Algebraic Approach to Timed Petri Nets.

Karsten Gabriel, Pascal Lingnau, Claudia Ermel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories

Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann

Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes.

Karsten Gabriel, Hartmut Ehrig

Proceedings of the Software Service and Application Engineering, 2012

2011

Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms.

Hartmut Ehrig, Karsten Gabriel

Int. J. Softw. Informatics, 2011

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

2008

Composition and Independence of High-Level Net Processes.

Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg

Proceedings of the First Workshop on Formal Methods for Wireless Systems, 2008