Bolotov, A. and Basukoski, A. 2004. A clausal resolution method for branching-time logic ECTL+. in: Combi, C. (ed.) 11th International Symposium on Temporal Representation and Reasoning: (TIME 2004), Tatihou, Normandie, France, 1-3 July 2004 IEEE . pp. 140-147
Bolotov, A. and Basukoski, A. 2006. A clausal resolution method for branching-time logic ECTL+. Annals of Mathematics and Artificial Intelligence. 46 (3), pp. 235-263. https://doi.org/10.1007/s10472-006-9018-1
Bolotov, A. and Basukoski, A. 2006. A clausal resolution method for extended computation tree logic ECTL. Journal of Applied Logic. 4 (2), pp. 141-167. https://doi.org/10.1016/j.jal.2005.06.003
Kandasamy, Nichalini, Chaussalet, Thierry and Basukoski, Artie 2023. A Conceptual Framework to Predict Disease Progressions in Patients with Chronic Kidney Disease, Using Machine Learning and Process Mining. in: Healthcare Transformation with Informatics and Artificial Intelligence IOS Press. pp. 190-193
Chishti, I., Chaussalet, T.J. and Basukoski, A. 2016. A general framework for Business Process Modelling (BPM) based on Formal Temporal Theory with an application to Hospital Patient flows. 8th IMA International Conference on Quantitative Modelling in the Management of Health and Social Care. Asia House, London 21 - 23 Mar 2016 Institute of Mathematics and its Applications.
Chishti, I. 2019. A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows. PhD thesis University of Westminster School of Computer Science and Engineering https://doi.org/10.34737/qy760
Weigold, T., Buhler, P., Thiyagalingam, J., Basukoski, A. and Getov, Vladimir 2008. Advanced Grid programming with components: a biometric identification case study. in: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 28 July - 1 August 2008, Turku, Finland: COMPSAC 2008 Los Alamitos, USA IEEE . pp. 401-408
Ogunbiyi, O., Basukoski, A. and Chaussalet, T.J. 2021. An Exploration of Ethical Decision Making with Intelligence Augmentation. Social Sciences. 10 (2) 57. https://doi.org/10.3390/socsci10020057
Chishti, I., Basukoski, A. and Chaussalet, T.J. 2016. Business Process Modelling based on formal temporal theory with an application to hospital patient flows. 8th IMA International Conference on Quantitative Modelling in the Management of Health and Social Care. Asia House, London 21 - 23 Mar 2016 Institute of Mathematics and its Applications.
Ogunbiyi, O., Basukoski, A. and Chaussalet, T.J. 2022. Comparative analysis of clustering-based remaining-time predictive process monitoring approaches. International Journal of Business Process Integration and Management. 10 (3/4), pp. 230-241. https://doi.org/10.1504/IJBPIM.2021.124023
Ogunbiyi, Oluniyi 2022. Contextual and Ethical Issues with Predictive Process Monitoring. PhD thesis University of Westminster School of Computer Science and Engineering https://doi.org/10.34737/vqy62
Basukoski, A., Getov, Vladimir, Thiyagalingam, J. and Isaiadis, S. 2008. Design and implementation of a hybrid P2P-based Grid resource discovery system. in: Danelutto, M., Fragopoulou, P. and Getov, Vladimir (ed.) Making grids work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece Springer.
Banziger, R.B., Basukoski, A. and Chaussalet, T.J. 2018. Discovering Business Processes in CRM Systems by leveraging unstructured text data. The 4th IEEE International Conference on Data Science and Systems (DSS-2018). Exeter, UK 28 - 30 Jun 2018 IEEE . https://doi.org/10.1109/HPCC/SmartCity/DSS.2018.00257
Banziger, R.B., Basukoski, A. and Chaussalet, T.J. 2023. Discovering Process Models from Patient Notes. 23rd International Conference on Computational Science (ICCS-23). Prague 03 - 05 Jul 2023 Springer. https://doi.org/10.1007/978-3-031-36024-4_18
Ogunbiyi, Niyi, Basukoski, Artie and Chaussalet, Thierry 2021. Incorporating spatial context into remaining-time predictive process monitoring. 36th Annual ACM Symposium on Applied Computing. Virtual Event Republic of Korea 22 - 26 Mar 2021 ACM. https://doi.org/10.1145/3412841.3441933
Basso, A. 2010. Integrating formal reasoning into component-based approach to reconfigurable distributed systems. PhD thesis University of Westminster School of Electronics and Computer Science https://doi.org/10.34737/90499
Ogunbiyi, N., Basukoski, A. and Chaussalet, T.J. 2020. Investigating Social Contextual Factors in Remaining-Time Predictive Process Monitoring—A Survival Analysis Approach. Algorithms. 13 (11), p. e267. https://doi.org/10.3390/a13110267
Ogunbiyi, O., Basukoski, A. and Chaussalet, T.J. 2020. Investigating the Diffusion of Workload-Induced Stress—A Simulation Approach. Information. 12 (1) 11. https://doi.org/10.3390/info12010011
Basukoski, A., Buhler, P., Getov, Vladimir, Isaiadis, S. and Weigold, T. 2008. Methodology for component-based development of grid applications. in: Compframe/Hpc-Geco Workshop: Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance New York, NY, USA ACM.