Ontology mapping of business process modeling based on formal temporal logic I Chishti, J Ma, B Knight International Journal of Advanced Computer Science and Applications 5 (7 …, 2014 | 11 | 2014 |
Transformation of UML activity diagram for enhanced reasoning I Chishti, A Basukoski, T Chaussalet, N Beeknoo Proceedings of the Future Technologies Conference (FTC) 2018: Volume 2, 466-482, 2019 | 5 | 2019 |
Towards a general framework for business process modeling I Chishti Infonomics Society 5 (3), 443-453, 2014 | 5 | 2014 |
A grounding of business process modeling based on temporal logic I Chishti International Conference on Information Society (i-Society 2014), 266-273, 2014 | 4 | 2014 |
Modeling and optimizing patient flows I Chishti, A Basukoski, TJ Chaussalet 8th Annual International Conference on ICT: Big Data, Cloud & Security, 2017 | 3 | 2017 |
Modeling Patient Flows: A Temporal Logic Approach I Chishti, A Basukoski, TJ Chaussalet Journal On Computing 6 (1), 2018 | 2 | 2018 |
A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows I Chishti University of Westminster, 2019 | | 2019 |
Patient Flow Modelling and Scheduling using Point Interval Logic I Chishti Informatics for Health Manchester, UK., 2017 | | 2017 |
Business Process Modelling based on formal temporal theory with an application to hospital patient flows I Chishti, A Basukoski, TJ Chaussalet 8th IMA International Conference on Quantitative Modelling in the Management …, 2016 | | 2016 |
Session 14: Intelligent data management I Chishti, S Sagot, AJ Fougères, E Ostrosi, P Lacom, A da Silva Jacinto, ... | | |