Matthew Naylor
Orcid: 0000-0001-9827-8497
According to our database1,
Matthew Naylor
authored at least 30 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
2
1
1
1
1
1
1
1
2
2
2
1
1
1
2
1
1
1
1
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Des. Test, February, 2024
Proceedings of the 42nd IEEE International Conference on Computer Design, 2024
2023
POETS: An Event-driven Approach to Dissipative Particle Dynamics: Implementing a Massively Compute-intensive Problem on a Novel Hard/Software Architecture.
ACM Trans. Parallel Comput., June, 2023
2022
Trans. Petri Nets Other Model. Concurr., 2022
Synchronization in graph analysis algorithms on the Partially Ordered Event-Triggered Systems many-core architecture.
IET Comput. Digit. Tech., 2022
2021
Proceedings of the 29th Euromicro International Conference on Parallel, 2021
2020
A Scoping Review Identifying the Need for Quality Research on the Use of Virtual Reality in Workplace Settings for Stress Management.
Cyberpsychology Behav. Soc. Netw., 2020
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020
Proceedings of the 31st IEEE International Conference on Application-specific Systems, 2020
2019
Augmented Experiences: Investigating the Feasibility of Virtual Reality as Part of a Workplace Wellbeing Intervention.
Interact. Comput., 2019
Proceedings of the Parallel Computing: Technology Trends, 2019
Proceedings of the 29th International Conference on Field Programmable Logic and Applications, 2019
2017
Proceedings of the Parallel Computing is Everywhere, 2017
Proceedings of the 46th International Conference on Parallel Processing Workshops, 2017
2016
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
2015
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
2014
Proceedings of the 24th International Conference on Field Programmable Logic and Applications, 2014
2013
Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013
Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013
2012
Proceedings of the Implementation and Application of Functional Languages, 2012
2011
Proceedings of the Implementation and Application of Functional Languages, 2011
2010
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010
2009
High. Order Symb. Comput., 2009
2008
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008
2007
Proceedings of the Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30, 2007
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA.
Proceedings of the Implementation and Application of Functional Languages, 2007
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007
2005
Pixel Behaviour Metrics for Dynamic Background Modelling with the Projected Difference Pattern Method.
Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, 2005