Martin Walker

47 papers and 786 indexed citations i.

About

Martin Walker has authored 47 papers that have received a total of 786 indexed citations. This includes 19 papers in Software, 13 papers in Safety, Risk, Reliability and Quality and 12 papers in Computational Theory and Mathematics. The topics of these papers are Software Reliability and Analysis Research (15 papers), Formal Methods in Verification (12 papers) and Safety Systems Engineering in Autonomy (10 papers). Martin Walker is often cited by papers focused on Software Reliability and Analysis Research (15 papers), Formal Methods in Verification (12 papers) and Safety Systems Engineering in Autonomy (10 papers) and collaborates with scholars based in United Kingdom, Germany and Sweden. Martin Walker's co-authors include Yiannis Papadopoulos, David Parker, Sohag Kabir, Henrik Lönn and Clifford M. Will and has published in prestigious journals such as Physical Review Letters, The Astrophysical Journal and Communications in Mathematical Physics

In The Last Decade

Rankless by CCL
2025