Concepedia

Richard Banach

RB

26

Publications

816

Citations

15

H-Index

1978

Active since

Affiliations

University of Manchester(Current)

University of Southampton

University of York

East China Normal University

Shanghai Key Laboratory of Trustworthy Computing

Richard Banach is an author at University of Manchester specializing in engineering, formal methods, and systems engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceSystems EngineeringAutomated ReasoningDesignFormal VerificationVerificationSoftware DesignProgram Analysis

Publications per year

1978–2023

26

Publications

26

Quantum field theory on Clifford-Klein space-times. The effective Lagrangian and vacuum stress-energy tensor

J. S. Dowker, Richard Banach · Journal of Physics A Mathematical and General · 1978 · 116 citations

Clifford-klein Space-times, Engineering, Vacuum-averaged Stress-energy Tensor +19

Automorphic field theory-some mathematical issues

Richard Banach, J. S. Dowker · Journal of Physics A Mathematical and General · 1979 · 83 citations

Automorphic Form, Supermanifold, Computational Number Theory +9

The vacuum stress tensor for automorphic fields on some flat space-times

Richard Banach, J. S. Dowker · Journal of Physics A Mathematical and General · 1979 · 81 citations

Vacuum Stress-energy Tensor, Flat Space-times, M-theory +13

Core Hybrid Event-B I: Single Hybrid Event-B machines

Richard Banach, Michael Butler, Shengchao Qin et al. · Science of Computer Programming · 2015 · 69 citations · Full text

Event-driven Architecture, Cluster Computing, Engineering +8

Engineering and theoretical underpinnings of retrenchment

Richard Banach, Michael Poppleton, Czesław Jeske et al. · Science of Computer Programming · 2007 · 55 citations

Construction Management, Resilient Building, Structural Collapse +1

Rows per page

1–5 of 26