Richard Banach
Richard Banach
School of Computer Science, University of Manchester
Bestätigte E-Mail-Adresse bei cs.man.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Quantum field theory on Clifford-Klein space-times. The effective Lagrangian and vacuum stress-energy tensor
JS Dowker, R Banach
Journal of Physics A: Mathematical and General 11 (11), 2255, 1978
1651978
Retrenchment: An engineering variation on refinement
R Banach, M Poppleton
International Conference of B Users, 129-147, 1998
1171998
Flagship: a parallel architecture for declarative programming
I Watson, V Woods, P Watson, R Banach, M Greenberg, J Sargeant
[1988] The 15th Annual International Symposium on Computer Architecture …, 1988
871988
Automorphic field theory-some mathematical issues
R Banach, JS Dowker
Journal of Physics A: Mathematical and General 12 (12), 2527, 1979
771979
Core hybrid Event-B I: single hybrid Event-B machines
R Banach, M Butler, S Qin, N Verma, H Zhu
Science of Computer Programming 105, 92-123, 2015
672015
The vacuum stress tensor for automorphic fields on some flat space-times
R Banach, JS Dowker
Journal of Physics A: Mathematical and General 12 (12), 2545, 1979
651979
Engineering and theoretical underpinnings of retrenchment
R Banach, M Poppleton, C Jeske, S Stepney
Science of Computer Programming 67 (2-3), 301-329, 2007
622007
Sharp retrenchment, modulated refinement and simulation
R Banach, M Poppleton
Formal Aspects of Computing 11 (5), 498-540, 1999
541999
Verification in the Grand Challenge
J Woodcock, J Barnes, R Chapman, S Foster, T Santen
Theories of Programming: The Life and Works of Tony Hoare, 125-156, 2021
492021
Retrenching partial requirements into system definitions: A simple feature interaction case study
R Banach, M Poppleton
Requirements Engineering 8 (4), 266-288, 2003
462003
Retrenchment, refinement, and simulation
R Banach, M Poppleton
International Conference of B and Z Users, 304-323, 2000
392000
Retrenching the purse: Finite sequence numbers, and the tower pattern
R Banach, M Poppleton, C Jeske, S Stepney
International Symposium on Formal Methods, 382-398, 2005
312005
Composition mechanisms for retrenchment
R Banach, C Jeske, M Poppleton
The Journal of Logic and Algebraic Programming 75 (2), 209-229, 2008
282008
Retrenching the purse: The balance enquiry quandary, and generalised and (1, 1) forward refinements
R Banach, C Jeske, M Poppleton, S Stepney
Fundamenta Informaticae 77 (1-2), 29-69, 2007
282007
Controlling control systems: An application of evolving retrenchment
M Poppleton, R Banach
International Conference of B and Z Users, 42-61, 2002
262002
Maximally abstract retrenchments
R Banach
ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000
262000
Modelling and refining hybrid systems in Event-B and Rodin
M Butler, JR Abrial, R Banach
Taylor & Francis, 2016
222016
Retrenchment and punctured simulation
R Banach, M Poppleton
IFM’99, 457-476, 1999
221999
Retrenchment and refinement interworking: the tower theorems
R Banach, C JESKE
Mathematical Structures in Computer Science 25 (1), 135-202, 2015
212015
Retrenching the purse: finite exception logs, and validating the small
R Banach, M Poppleton, S Stepney
2006 30th Annual IEEE/NASA Software Engineering Workshop, 234-248, 2006
212006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20