Concepedia

Rob Arthan

RA

Statistics

Publications

5

Citations

124

H-Index

5

Active since

1982

Affiliations

Queen Mary University of London(Current)

Rob Arthan is an author at Queen Mary University of London specializing in formal verification, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationMechatronicsControl DesignFlight ControlControl SystemsMechanism DesignProgram Analysis

Publications per year

1982–2016

5

Publications

5

ClawZ: control laws in Z

Rob Arthan, P.R. Caseley, C. O'Halloran et al. · 2002 · 48 citations

Prototype Tool, Formal Proof, Control Engineering Tool +19

Self-Formalisation of Higher-Order Logic

Ramana Kumar, Rob Arthan, Magnus O. Myreen et al. · Journal of Automated Reasoning · 2016 · 33 citations · Full text

Some new results on decidability for elementary algebra and geometry

Robert M Solovay, Rob Arthan, John Harrison · Annals of Pure and Applied Logic · 2012 · 21 citations

Algebraic Logic, Abstract Algebra, Modern Algebra +3

A general framework for sound and complete Floyd-Hoare logics

Rob Arthan, Ursula Martin, Erik A. Mathiesen et al. · ACM Transactions on Computational Logic · 2009 · 12 citations · Full text

Computational Logic, Non-classical Logic, Engineering +15

The homology of MO(1)∧∞ and MU(1)∧∞

Rob Arthan, Shaun Bullett · Journal of Pure and Applied Algebra · 1982 · 10 citations

Lie Theory, Topological Property, Geometric Quantization

1–5 of 5