A cognitive monitoring system for contaminant detection in intelligent buildings. - Giacomo Boracchi; Michalis Michaelides; Manuel Roveri (IJCNN, 2014)

Detecting Contaminants in Smart Buildings by Exploiting Temporal and Spatial Correlation. - Giacomo Boracchi; Michalis Michaelides; Manuel Roveri (SSCI, 2015)

Property-Driven State-Space Coarsening for Continuous Time Markov Chains. - Michalis Michaelides; Dimitrios Milios; Jane Hillston; Guido Sanguinetti (QEST, 2016)

Geometric fluid approximation for general continuous-time Markov chains. - Michalis Michaelides; Jane Hillston; Guido Sanguinetti (CoRR, 2019)

Statistical Abstraction for Multi-scale Spatio-temporal Systems. - Michalis Michaelides; Jane Hillston; Guido Sanguinetti (ACM Trans. Model. Comput. Simul., 2019)

Light-Weight Diffusion Multiplier and Uncertainty Quantification for Fourier Neural Operators. - Albert Matveev; Sanmitra Ghosh; Aamal Hussain; James-Michael Leahy; Michalis Michaelides (CoRR, 2025)