2018
Category Methods for Analysis of Two Approaches to Modelling Logical Time Based on Concept of Clocks.
Proceedings of the 14th International Conference on ICT in Education, 2018

Category Methods for Modelling Logical Time Based on the Concept of Clocks.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2018

2017
Two Approaches to Modelling Logical Time in Cyber-Physical Systems.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2017

Logical Time Models to Study Cyber-Physical Systems.
Proceedings of the 13th International Conference on ICT in Education, 2017