Simon Burton

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology.
CoRR, 2024

2023
Addressing uncertainty in the safety assurance of machine-learning.
Frontiers Comput. Sci., 2023

2022
Limitations on Transversal Gates for Hypergraph Product Codes.
IEEE Trans. Inf. Theory, 2022

2021
Optimal local unitary encoding circuits for the surface code.
Quantum, 2021

Entropy, Derivation Operators and Huffman Trees.
CoRR, 2021

2005
Large-Scale Multiclass Transduction.
Proceedings of the Advances in Neural Information Processing Systems 18 [Neural Information Processing Systems, 2005

1999
Testing Safety-Related Software: a Practical Handbook, by S. Gardiner (Editor), Springer-Verlag, 1999 (Book Review).
Softw. Test. Verification Reliab., 1999


  Loading...