Mining conditional partial order graphs from event logs A Mokhov, J Carmona, J Beaumont Transactions on Petri Nets and Other Models of Concurrency XI, 114-136, 2016 | 20 | 2016 |
Termination detection for fine-grained message-passing architectures M Naylor, SW Moore, A Mokhov, D Thomas, JR Beaumont, S Fleming, ... 2020 IEEE 31st International Conference on Application-specific Systems …, 2020 | 11 | 2020 |
High-level asynchronous concepts at the interface between analog and digital worlds J Beaumont, A Mokhov, D Sokolov, A Yakovlev IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017 | 8 | 2017 |
Compositional design of asynchronous circuits from behavioural concepts J Beaumont, A Mokhov, D Sokolov, A Yakovlev 2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015 | 6 | 2015 |
POETS: A parallel cluster architecture for Spiking Neural Network M Shahsavari, J Beaumont, D Thomas, A Brown International Journal of Machine Learning and Computing, 2020 | 3 | 2020 |
Plato: a tool for behavioural specification of asynchronous circuits J Beaumont 2017 17th International Conference on Application of Concurrency to System …, 2017 | 1 | 2017 |
Compositional circuit design with asynchronous concepts JR Beaumont Newcastle University, 2018 | | 2018 |
Automated translation of asynchronous concepts to Signal Transition Graphs J Beaumont | | 2016 |
A survey of theory and practice in compositional design of asynchronous circuits J Beaumont | | 2015 |
Modelling Digital Systems using Behavioural Fragments J Beaumont | | 2015 |