Michalis Michaelides

According to our database, Michalis Michaelides authored at least 5 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Statistical Abstraction for Multi-scale Spatio-temporal Systems.

Michalis Michaelides, Jane Hillston, Guido Sanguinetti

ACM Trans. Model. Comput. Simul., 2019

Geometric fluid approximation for general continuous-time Markov chains.

Michalis Michaelides, Jane Hillston, Guido Sanguinetti

CoRR, 2019

2016

Property-Driven State-Space Coarsening for Continuous Time Markov Chains.

Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

2015

Detecting Contaminants in Smart Buildings by Exploiting Temporal and Spatial Correlation.

Giacomo Boracchi, Michalis Michaelides, Manuel Roveri

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

2014

A cognitive monitoring system for contaminant detection in intelligent buildings.

Giacomo Boracchi, Michalis Michaelides, Manuel Roveri

Proceedings of the 2014 International Joint Conference on Neural Networks, 2014