Timur Umarov

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 3

Top Topics

Electronic Markets

Application Development

Conceptual Framework

Top Venues

Sci. Ann. Comput. Sci.

Publications

Batyr B. Orazbayev, Ainur Zhumadillayeva, Kanagat Dyussekeyev, Kulman Orazbayeva, Timur Umarov, Lyailya Kurmangaziyeva
Modeling Subsystem for Optimizing Reforming Processes of an Intellectualized Decision Support System. ICICT (2022)
Timur Umarov
Verification and Validation of Formal Data-Centric Business Models. Sci. Ann. Comput. Sci. 25 (2) (2015)
Timur Umarov, Rustem Kamun, Askhat Omarov, Sanzhar Altayev
Verification and Validation of Formal Data-Centric Business Models. EGC (2015)
Ross Horne, Timur Umarov
Ensuring Faultless Communication Behaviour in A Commercial Cloud. SEFM Workshops (2013)
Iman Poernomo, Timur Umarov
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management. CEE-SET (2009)
Iman Poernomo, Timur Umarov
Business Process Development in Semantically-Enriched Environment. ITNG (2008)
Iman Poernomo, Timur Umarov
Normative Ontologies for Data-Centric Business Process Management. EDOCW (2008)