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

Finitary ℳ-adhesive categories.
Math. Struct. Comput. Sci., 2014

2012
Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes.
Theor. Comput. Sci., 2012

Algebraic Approach to Timed Petri Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

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

Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories
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.
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.
Int. J. Softw. Informatics, 2011

2010
Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2008
Composition and Independence of High-Level Net Processes.
Proceedings of the First Workshop on Formal Methods for Wireless Systems, 2008