WMIN-MOBILE: a mobile learning platform for information and service provision 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.
2008
Advanced Grid programming with components: a biometric identification case study 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
Design and implementation of a hybrid P2P-based Grid resource discovery system 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.
2008
Methodology for component-based development of grid applications 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.
2006
Natural deduction calculus for linear-time temporal logic 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.
2006
Specification and verification of reconfiguration protocols in grid component systems 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
2005
Search strategies for resolution in CTL-type logics: extension and complexity 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
2004
A clausal resolution method for branching-time logic ECTL+ 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
2023
Discovering Process Models from Patient Notes 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
2021
Incorporating spatial context into remaining-time predictive process monitoring 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
2018
Discovering Business Processes in CRM Systems by leveraging unstructured text data 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
2018
Transformation of UML Activity Diagram for Enhanced Reasoning 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
2017
WEIGHTBIT: An advancement in wearable technology 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
2017
Modeling and Optimizing Patient Flows 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
Comparative analysis of clustering-based remaining-time predictive process monitoring approaches 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
Modeling Patient Flows: A Temporal Logic Approach 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
2006
Specification and Verification of Reconfiguration Protocols in Grid Component Systems 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.
2002
Towards Automated Generation of Beliefs in BDI Logics. Basukoski, A. and Bolotov, A. 2002. Towards Automated Generation of Beliefs in BDI Logics. Automated Reasoning Workshop ARW2002. Imperial College, London Imperial College.
Business Process Modelling based on formal temporal theory with an application to hospital patient flows 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.
A clausal resolution method for branching-time logic ECTL+ 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