Follow
Michalis Michaelides
Michalis Michaelides
PhysicsX
Verified email at physicsx.ai
Title
Cited by
Cited by
Year
Statistical abstraction for multi-scale spatio-temporal systems
M Michaelides, J Hillston, G Sanguinetti
International Conference on Quantitative Evaluation of Systems, 243-258, 2017
62017
Geometric fluid approximation for general continuous-time Markov chains
M Michaelides, J Hillston, G Sanguinetti
Proceedings of the Royal Society A 475 (2229), 2019
52019
Property-driven state-space coarsening for continuous time Markov chains
M Michaelides, D Milios, J Hillston, G Sanguinetti
International Conference on Quantitative Evaluation of Systems, 3-18, 2016
52016
Statistical abstraction for multi-scale spatio-temporal systems
M Michaelides, J Hillston, G Sanguinetti
ACM Transactions on Modeling and Computer Simulation (TOMACS) 29 (4), 1-29, 2019
32019
Phenomenological modelling: statistical abstraction methods for Markov chains
M Michaelides
The University of Edinburgh, 2019
2019
Supplementary material for Geometric fluid approximation for general continuous-time Markov chains
M Michaelides, J Hillston, G Sanguinetti
2019
The system can't perform the operation now. Try again later.
Articles 1–6