Search WestminsterResearch

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. https://doi.org/10.5176/2251-2136_ICT-BDCS17.52

Chishti, I., Basukoski, A. and Chaussalet, T.J. 2018. Modeling Patient Flows: A Temporal Logic Approach. Journal On Computing. 6 (1) 1516. https://doi.org/10.5176/2251-3043_6.1.107

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

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., Basukoski, A., Gregoryev, O. and Shangin, V. 2008. Natural deduction system for linear time temporal logic. in: Logical Investigations Moscow Nauka.

Bolotov, Alexander 2022. On the Expressive Power of the Normal Form for Branching-Time Temporal Logics. Electronic Proceedings in Theoretical Computer Science. 358, pp. 254-269. https://doi.org/10.4204/eptcs.358.19

Mesgarpour, M. 2017. Predictive Risk Modelling of Hospital Emergency Readmission, and Temporal Comorbidity Index Modelling Using Machine Learning Methods. PhD thesis University of Westminster Computer Science https://doi.org/10.34737/q3031

Bolotov, A. (ed.) 2014. Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014. IJCAR.

Protopsaltis, A. 2006. Reading in Web-based hypertexts: cognitive processes strategies and reading goals. PhD thesis University of Westminster School of Electronics and Computer Science https://doi.org/10.34737/92701

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

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.

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

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

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

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

Chishti, I., Basukoski, A., Chaussalet, T.J. and Beeknoo, N. 2018. Transformation of UML Activity Diagram for Enhanced Reasoning. Future Technologies Conference 2018. Vancouver, Canada 13 - 14 Nov 2018 Springer. https://doi.org/10.1007/978-3-030-02683-7_33

Bolotov, A. and Gorchakov, A. 2018. Tuning Natural Deduction Proof Search by Analytic Methods. The 25th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Cambridge Apr 2018 University of Cambridge.

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

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.