| 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, ... | | |
Thierry ChaussaletUniversity of WestminsterVerified email at westminster.ac.uk
