The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. - N. Petalidis; D. S. Gill (ICFEM, 1998)

Introducing monitoring events to timed-CSP. - N. Petalidis; D. S. Gill (IEE Proc. Softw., 2001)

Automated Classification of Cancer using Heuristic Class Topper Optimization based Naïve Bayes Classifier. - Sonia Kukreja; Munish Sabharwal; Alok Katiyar; D. S. Gill (SN Comput. Sci., 2024)