22
Publications
2.4K
Citations
17
H-Index
1971
Active since
J. W. Sanders is an author at University of Oxford specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningGeographyParallel ComputingSystems Engineering
Publications per year
1971–2013
22
22
On the Morality of Artificial Agents
Luciano Floridi, J. W. Sanders · Minds and Machines · 2004 · 1.1K citations
C. A. R. Hoare, Ian J. Hayes, He Jifeng et al. · Communications of the ACM · 1987 · 389 citations · Full text
Mathematical Programming, Engineering, Computational Complexity +17
J. W. Sanders, Paolo Zuliani · Lecture notes in computer science · 2000 · 142 citations
Prespecification in data refinement
C. A. R. Hoare, He Jifeng, J. W. Sanders · Information Processing Letters · 1987 · 119 citations
Rows per page
1–5 of 22