Search WestminsterResearch

Computer Science and Engineering

Assistant Head of School

Basukoski, A. and Bolotov, A. 2002. Towards Automated Generation of Beliefs in BDI Logics. Automated Reasoning Workshop ARW2002. Imperial College, London Imperial College.

Basukoski, A. and Bolotov, A. 2002. Towards Automated Generation of Beliefs in BDI Logics. UK Automated Reasoning Workshop (ARW). Imperial College.

Bolotov, A., Basukoski, A., Grigoriev, O. and Shangin, V. 2006. Natural deduction calculus for linear-time temporal logic. in: Fisher, M., van der Hoek, W., Konev, B. and Lisitsa, A. (ed.) Logics in artificial intelligence: 10th European conference, JELIA 2006: Liverpool, UK September 13-15 2006: proceedings Berlin, Germany Springer.

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

Bolotov, A., Basukoski, A., Gregoryev, O. and Shangin, V. 2008. Natural deduction system for linear time temporal logic. in: Logical Investigations Moscow Nauka.

Bolotov, A., Getov, Vladimir, Basso, A. and Basukoski, A. 2006. Specification and Verification of Reconfiguration Protocols in Grid Component Systems. Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. London 30 - 31 Mar 2010 University of Bristol Technical Report.

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.

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.

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.

Economou, D., Keable-Crouch, A., Bouki, V., Basukoski, A. and Getov, Vladimir 2012. WMIN-MOBILE: a mobile learning platform for information and service provision. in: Venkatasubramanian, N., Getov, Vladimir and Steglich, S. (ed.) Mobile wireless middleware, operating systems and applications: 4th international ICST conference, Mobilware 2011. London, UK, June 2011. Revised selected papers. Springer.

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.

Basukoski, A. and Bolotov, A. 2005. Search strategies for resolution in CTL-type logics: extension and complexity. in: 12th International Symposium on Temporal Representation and Reasoning, 2005: TIME 2005 Los Alamitos, USA IEEE . pp. 195-197

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

Guida, D. and Basukoski, A. 2017. WEIGHTBIT: An advancement in wearable technology. IEEE 30th International Symposium on Computer-Based Medical Systems. Thessaloniki, Greece 22 - 24 Jun 2017 IEEE . https://doi.org/10.1109/CBMS.2017.85

Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. in: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006) Los Alamitos, USA IEEE . pp. 450-455

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

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

Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0042