| 2026 |
— |
conf |
ASPLOS (1)
Matthew Naylor, Alexandre Joannou, A. Theodore Markettos, Paul Metzger, Simon W. Moore, Timothy M. Jones
|
| 2025 |
A* |
conf |
ISCA
Jianyi Cheng, A. Theodore Markettos, Alexandre Joannou, Paul Metzger, Matthew Naylor, Peter Rugg, Timothy M. Jones
|
| 2025 |
A* |
conf |
CCS
Paul Metzger, A. Theodore Markettos, Edward Tomasz Napierala, Matthew Naylor, Robert N. M. Watson, Timothy M. Jones
|
| 2024 |
C |
conf |
ICCD
Matthew Naylor, Alexandre Joannou, A. Theodore Markettos, Paul Metzger, Simon W. Moore, Timothy M. Jones
|
| 2024 |
J |
jnl |
IEEE Des. Test
Alexandre Joannou, Peter Rugg, Jonathan Woodruff, Franz A. Fuchs, Marno van der Maas, Matthew Naylor, Michael Roe, Robert N. M. Watson, Peter G. Neumann, Simon W. Moore
|
| 2023 |
J |
jnl |
ACM Trans. Parallel Comput.
Andrew D. Brown, Jonathan R. Beaumont, David B. Thomas, Julian C. Shillcock, Matthew Naylor, Graeme M. Bragg, Mark Vousden, Simon W. Moore, Shane T. Fleming
|
| 2022 |
J |
jnl |
Trans. Petri Nets Other Model. Concurr.
Ashur Rafiev, Jordan Morris, Fei Xia, Alex Yakovlev, Matthew Naylor, Simon W. Moore, David B. Thomas, Graeme M. Bragg, Mark Vousden, Andrew Brown
|
| 2022 |
J |
jnl |
IET Comput. Digit. Tech.
Ashur Rafiev, Alex Yakovlev, Ghaith Tarawneh, Matthew Naylor, Simon W. Moore, David B. Thomas, Graeme M. Bragg, Mark Vousden, Andrew D. Brown
|
| 2021 |
C |
conf |
PDP
Matthew Naylor, Simon W. Moore, David B. Thomas, Jonathan R. Beaumont, Shane T. Fleming, Mark Vousden, A. Theodore Markettos, Thomas Bytheway, Andrew D. Brown
|
| 2020 |
A* |
conf |
SP
Kyndylan Nienhuis, Alexandre Joannou, Thomas Bauereiss, Anthony C. J. Fox, Michael Roe, Brian Campbell, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell
|
| 2020 |
— |
conf |
ASAP
Matthew Naylor, Simon W. Moore, Andrey Mokhov, David B. Thomas, Jonathan R. Beaumont, Shane T. Fleming, A. Theodore Markettos, Thomas Bytheway, Andrew D. Brown
|
| 2019 |
— |
conf |
PARCO
Andrew D. Brown, Mark Vousden, Alex Rast, Graeme M. Bragg, David B. Thomas, Jonny Beaumont, Matthew Naylor, Andrey Mokhov
|
| 2019 |
B |
conf |
FPL
Matthew Naylor, Simon W. Moore, David B. Thomas
|
| 2017 |
— |
conf |
PARCO
Andrew D. Brown, David B. Thomas, Jeff Reeve, Ghaith Tarawneh, Alessandro de Gennaro, Andrey Mokhov, Matthew Naylor, Tom Kazmierski
|
| 2017 |
— |
conf |
ICPP Workshops
Ghaith Tarawneh, Andrey Mokhov, Matthew Naylor, Alex Rast, Simon W. Moore, David B. Thomas, Alex Yakovlev, Andrew D. Brown
|
| 2016 |
B |
conf |
FMCAD
Matthew Naylor, Simon W. Moore, Alan Mujumdar
|
| 2015 |
C |
conf |
MEMOCODE
Matthew Naylor, Simon W. Moore
|
| 2014 |
B |
conf |
FPL
Matthew Naylor, Simon W. Moore
|
| 2013 |
B |
conf |
FPL
Matthew Naylor, Paul James Fox, A. Theodore Markettos, Simon W. Moore
|
| 2013 |
B |
conf |
FPL
Matthew Naylor, Paul James Fox, A. Theodore Markettos, Simon W. Moore
|