Discovering Process Models from Patient Notes. - Bänziger, Rolf B.; Basukoski, Artie; Chaussalet, Thierry J. (2023)

A Conceptual Framework to Predict Disease Progressions in Patients with Chronic Kidney Disease, Using Machine Learning and Process Mining. - Kandasamy, Nichalini; Chaussalet, Thierry J.; Basukoski, Artie (2023)

Comparative analysis of clustering-based remaining-time predictive process monitoring approaches. - Ogunbiyi, Niyi; Basukoski, Artie; Chaussalet, Thierry J. (Int. J. Bus. Process. Integr. Manag., 2021)

Investigating the Diffusion of Workload-Induced Stress - A Simulation Approach. - Ogunbiyi, Niyi; Basukoski, Artie; Chaussalet, Thierry J. (Inf., 2021)

Incorporating spatial context into remaining-time predictive process monitoring. - Ogunbiyi, Niyi; Basukoski, Artie; Chaussalet, Thierry J. (2021)

Investigating Social Contextual Factors in Remaining-Time Predictive Process Monitoring - A Survival Analysis Approach. - Ogunbiyi, Niyi; Basukoski, Artie; Chaussalet, Thierry J. (Algorithms, 2020)

Machine Learning-Based Approaches for Location Based Dengue Prediction: Review. - Kalansuriya, Chamalka Seneviratne; Aponso, Achala Chathuranga; Basukoski, Artie (2019)

Discovering Business Processes in CRM Systems by Leveraging Unstructured Text Data. - Bänziger, Rolf B.; Basukoski, Artie; Chaussalet, Thierry J. (2018)

Weightbit: An Advancement in Wearable Technology. - Guida, Dario; Basukoski, Artie; Database, Performance (2017)

WMIN-MOBILE: A Mobile Learning Platform for Information and Service Provision. - Economou, Daphne; Keable-Crouch, Alex; Bouki, Vassiliki; Basukoski, Artie; Getov, Vladimir (2011)

Advanced Grid Programming with Components: A Biometric Identification Case Study. - Weigold, Thomas; Buhler, Peter; Thiyagalingam, Jeyarajan; Basukoski, Artie; Getov, Vladimir (2008)

Component-Based Development Environment for Grid Systems: Design and Implementation. - Basukoski, Artie; Getov, Vladimir; Thiyagalingam, Jeyarajan; Isaiadis, Stavros (2007)

Temporal resolution for branching time logics : extensions and complexity. - Basukoski, Artie (2006)

A clausal resolution method for branching-time logic ECTL+. - Bolotov, Alexander; Basukoski, Artie (Ann. Math. Artif. Intell., 2006)

A clausal resolution method for extended computation tree logic ECTL. - Bolotov, Alexander; Basukoski, Artie (J. Appl. Log., 2006)

Natural Deduction Calculus for Linear-Time Temporal Logic. - Bolotov, Alexander; Basukoski, Artie; Grigoriev, Oleg M.; Shangin, Vasilyi (2006)

Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. - Basukoski, Artie; Bolotov, Alexander (2005)

A Clausal Resolution Method for Branching-Time Logic ECTL+. - Bolotov, Alexander; Basukoski, Artie (2004)