Timur Umarov

According to our database, Timur Umarov authored at least 7 papers between 2008 and 2022.

Collaborative distances:

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

2022

Modeling Subsystem for Optimizing Reforming Processes of an Intellectualized Decision Support System.

Batyr B. Orazbayev, Ainur Zhumadillayeva, Kanagat Dyussekeyev, Kulman Orazbayeva, Timur Umarov, Lyailya Kurmangaziyeva

Proceedings of the 5th International Conference on Information and Computer Technologies, 2022

2015

Verification and Validation of Formal Data-Centric Business Models.

Timur Umarov

Sci. Ann. Comput. Sci., 2015

Verification and Validation of Formal Data-Centric Business Models.

Timur Umarov, Rustem Kamun, Askhat Omarov, Sanzhar Altayev

Proceedings of the Embracing Global Computing in Emerging Economies - First Workshop, 2015

2013

Ensuring Faultless Communication Behaviour in A Commercial Cloud.

Ross Horne, Timur Umarov

Proceedings of the Software Engineering and Formal Methods, 2013

2009

A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management.

Iman Poernomo, Timur Umarov

Proceedings of the Advances in Software Engineering Techniques, 2009

2008

Business Process Development in Semantically-Enriched Environment.

Iman Poernomo, Timur Umarov

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Normative Ontologies for Data-Centric Business Process Management.

Iman Poernomo, Timur Umarov

Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008