Olzhas Zhalgendinov

According to our database, Olzhas Zhalgendinov authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction.

Antonio Cerone, Olzhas Zhalgendinov

Proceedings of the Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops, 2024

2023

Using Maude to Model Motivation in Human Behaviour.

Antonio Cerone, Olzhas Zhalgendinov

Proceedings of the Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops, 2023