Automated Verification of Asynchronous Circuits Using Circuit Petri Nets. - Ivan Poliakov; Andrey Mokhov; Ashur Rafiev; Danil Sokolov; Alex Yakovlev (ASYNC, 2008)

Conversion driven design of binary to mixed radix circuits. - Ashur Rafiev; Julian P. Murphy; Danil Sokolov; Alexandre Yakovlev (ICCD, 2008)

Quaternary Reed-Muller Expansions of Mixed Radix Arguments in Cryptographic Circuits. - Ashur Rafiev; Julian P. Murphy; Alexandre Yakovlev (ISMVL, 2009)

Secure Design Flow for Asynchronous Multi-valued Logic Circuits. - Ashur Rafiev; Julian P. Murphy; Alexandre Yakovlev (ISMVL, 2010)

Mixed radix design flow for security applications. - Ashur Rafiev (2011)

Mixed Radix Reed-Muller Expansions. - Ashur Rafiev; Andrey Mokhov; Frank P. Burns; Julian P. Murphy; Albert Koelmans; Alex Yakovlev (IEEE Trans. Computers, 2012)

BinCam: Designing for Engagement with Facebook for Behavior Change. - Rob Comber; Anja Thieme; Ashur Rafiev; Nick Taylor 002; Nicole C. Krämer; Patrick Olivier (INTERACT (2), 2013)

Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. - Ashur Rafiev; Alexei Iliasov; Alexander B. Romanovsky; Andrey Mokhov; Fei Xia 001; Alexandre Yakovlev (ACSD, 2014)

ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. - Ashur Rafiev; Alexei Iliasov; Alexander B. Romanovsky; Andrey Mokhov; Fei Xia 001; Alexandre Yakovlev (ES4CPS@DATE, 2014)

Order Graphs and Cross-Layer Parametric Significance-Driven Modelling. - Ashur Rafiev; Fei Xia 001; Alexei Iliasov; Rem Gensh; Ali Aalsaud; Alexander B. Romanovsky; Alex Yakovlev (ACSD, 2015)

A Formal Specification and Prototyping Language for Multi-core System Management. - Alexei Iliasov; Ashur Rafiev; Fei Xia 001; Rem Gensh; Alexander B. Romanovsky; Alexandre Yakovlev (PDP, 2015)

Can a kitchen teach languages? Linking theory and practice in the design of context-aware language learning environments. - Anne Preston; Madeline Balaam; Paul Seedhouse; Salla Kurhila; Lari Kotilainen; Ashur Rafiev; Daniel Jackson 002; Patrick Olivier (Smart Learn. Environ., 2015)

Power and Energy Normalized Speedup Models for Heterogeneous Many Core Computing. - Mohammed A. Noaman Al-Hayanni; Ashur Rafiev; Rishad A. Shafik; Fei Xia 001 (ACSD, 2016)

Challenges for Designing new Technology for Health and Wellbeing in a Complex Mental Healthcare Context. - Anja Thieme; John C. McCarthy 002; Paula Johnson; Stephanie Phillips; Jayne Wallace; Siân E. Lindley; Karim Ladha; Daniel Jackson 002; Diana Nowacka; Ashur Rafiev; Cassim Ladha; Thomas Nappey; et al. (CHI, 2016)

Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. - Ashur Rafiev; Fei Xia 001; Alexei Iliasov; Rem Gensh; Ali Aalsaud; Alexander B. Romanovsky; Alexandre Yakovlev (FDL, 2016)

Power-Aware Performance Adaptation of Concurrent Applications in Heterogeneous Many-Core Systems. - Ali Aalsaud; Rishad A. Shafik; Ashur Rafiev; Fei Xia 001; Sheng Yang 003; Alex Yakovlev (ISLPED, 2016)

Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework. - Ashur Rafiev; Fei Xia 001; Alexei Iliasov; Alexander B. Romanovsky; Alexandre Yakovlev (ACSD, 2017)

Architecting Holistic Fault Tolerance. - Rem Gensh; Ashur Rafiev; Alexander B. Romanovsky; Alessandro F. Garcia 001; Fei Xia 001; Alex Yakovlev (HASE, 2017)

Speedup and Parallelization Models for Energy-Efficient Many-Core Systems Using Performance Counters. - Mohammed A. Noaman Al-Hayanni; Rishad A. Shafik; Ashur Rafiev; Fei Xia 001; Alex Yakovlev (HPCS, 2017)

Modelling for Systems with Holistic Fault Tolerance. - Rem Gensh; Ashur Rafiev; Fei Xia 001; Alexander B. Romanovsky; Alex Yakovlev (SERENE, 2017)

Voltage, Throughput, Power, Reliability, and Multicore Scaling. - Fei Xia 001; Ashur Rafiev; Ali Aalsaud; Mohammed A. Noaman Al-Hayanni; James J. Davis 001; Joshua M. Levine; Andrey Mokhov; Alexander B. Romanovsky; Rishad A. Shafik; Alex Yakovlev; Sheng Yang 003 (Computer, 2017)

Model-Free Runtime Management of Concurrent Workloads for Energy-Efficient Many-Core Heterogeneous Systems. - Ali Aalsaud; Ashur Rafiev; Fei Xia 001; Rishad A. Shafik; Alex Yakovlev (PATMOS, 2018)

Speedup and Power Scaling Models for Heterogeneous Many-Core Systems. - Ashur Rafiev; Mohammed A. Noaman Al-Hayanni; Fei Xia 001; Rishad A. Shafik; Alexander B. Romanovsky; Alex Yakovlev (IEEE Trans. Multi Scale Comput. Syst., 2018)

Amdahl's law in the context of heterogeneous many-core systems - a survey. - Mohammed A. Noaman Al-Hayanni; Fei Xia 001; Ashur Rafiev; Alexander B. Romanovsky; Rishad A. Shafik; Alex Yakovlev (IET Comput. Digit. Tech., 2020)

PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core Systems. - Mohammed A. Noaman Al-Hayanni; Ashur Rafiev; Fei Xia 001; Rishad A. Shafik; Alexander B. Romanovsky; Alex Yakovlev (IEEE Trans. Computers, 2020)

Non-deterministic event brokered computing. - Andrew Brown; Tim Todman; Wayne Luk; David B. Thomas; Mark Vousden; Graeme M. Bragg; Jonny Beaumont; Simon W. Moore; Alex Yakovlev; Ashur Rafiev (HEART, 2022)

Synchronization in graph analysis algorithms on the Partially Ordered Event-Triggered Systems many-core architecture. - Ashur Rafiev; Alex Yakovlev; Ghaith Tarawneh; Matthew Naylor; Simon W. Moore; David B. Thomas; Graeme M. Bragg; Mark Vousden; Andrew D. Brown (IET Comput. Digit. Tech., 2022)

Practical Distributed Implementation of Very Large Scale Petri Net Simulations. - Ashur Rafiev; Jordan Morris; Fei Xia 001; Alex Yakovlev; Matthew Naylor; Simon W. Moore; David B. Thomas; Graeme M. Bragg; Mark Vousden; Andrew Brown (Trans. Petri Nets Other Model. Concurr., 2022)

An Event-Driven Approach To Genotype Imputation On A Custom RISC-V FPGA Cluster. - Jordan Morris; Ashur Rafiev; Graeme M. Bragg; Mark Vousden; David B. Thomas; Alex Yakovlev; Andrew Brown (CoRR, 2023)

Event-based high throughput computing: A series of case studies on a massively parallel softcore machine. - Mark Vousden; Jordan Morris; Graeme McLachlan Bragg; Jonathan Beaumont; Ashur Rafiev; Wayne Luk; David B. Thomas; Andrew D. Brown (IET Comput. Digit. Tech., 2023)

REDRESS: Generating Compressed Models for Edge Inference Using Tsetlin Machines. - Sidharth Maheshwari; Tousif Rahman; Rishad A. Shafik; Alex Yakovlev; Ashur Rafiev; Lei Jiao 001; Ole-Christoffer Granmo (IEEE Trans. Pattern Anal. Mach. Intell., 2023)

An Event-Driven Approach to Genotype Imputation on a Custom RISC-V Cluster. - Jordan Morris; Ashur Rafiev; Graeme M. Bragg; Mark L. Vousden; David B. Thomas; Alex Yakovlev; Andrew D. Brown (IEEE ACM Trans. Comput. Biol. Bioinform., 2024)