Search WestminsterResearch

Computer Science and Engineering

Senior Lecturer

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.

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.

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

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., 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., 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.

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

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

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.

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

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 .

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 .

Chishti, I., Basukoski, A. and Chaussalet, T.J. 2017. Modeling and Optimizing Patient Flows. 8th Annual International Conference on ICT: Big Data, Cloud & Security. Singapore 21 - 22 Aug 2017 Global Science & Technology Forum.

Chishti, I., Basukoski, A. and Chaussalet, T.J. 2018. Modeling Patient Flows: A Temporal Logic Approach. Journal On Computing. 6 (1).

Bolotov, A., Grigoriev, O. and Shangin, V. 2006. Natural deduction calculus for computation tree logic. in: IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06) Los Alamitos, USA IEEE . pp. 175-183