| Statistical abstraction for multi-scale spatio-temporal systems M Michaelides, J Hillston, G Sanguinetti International Conference on Quantitative Evaluation of Systems, 243-258, 2017 | 6 | 2017 |
| Geometric fluid approximation for general continuous-time Markov chains M Michaelides, J Hillston, G Sanguinetti Proceedings of the Royal Society A 475 (2229), 2019 | 5 | 2019 |
| 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 | 5 | 2016 |
| 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 | 3 | 2019 |
| 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 |
Guido SanguinettiReader in Informatics, University of EdinburghEmail verificata su inf.ed.ac.uk
