| 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 | 170 | 1978 |
| Retrenchment: An engineering variation on refinement R Banach, M Poppleton International Conference of B Users, 129-147, 1998 | 116 | 1998 |
| 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 | 98 | 2015 |
| Automorphic field theory-some mathematical issues R Banach, JS Dowker Journal of Physics A: Mathematical and General 12 (12), 2527, 1979 | 94 | 1979 |
| Flagship: a parallel architecture for declarative programming I Watson, V Woods, P Watson, R Banach, M Greenberg, J Sargeant ACM SIGARCH Computer Architecture News 16 (2), 124-130, 1988 | 91 | 1988 |
| 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 | 75 | 1979 |
| Engineering and theoretical underpinnings of retrenchment R Banach, M Poppleton, C Jeske, S Stepney Science of Computer Programming 67 (2-3), 301-329, 2007 | 71 | 2007 |
| Sharp retrenchment, modulated refinement and simulation R Banach, M Poppleton Formal Aspects of Computing 11, 498-540, 1999 | 55 | 1999 |
| The verification grand challenge. J Woodcock, R Banach J. Univers. Comput. Sci. 13 (5), 661-668, 2007 | 54 | 2007 |
| Retrenching partial requirements into system definitions: A simple feature interaction case study R Banach, M Poppleton Requirements Engineering 8, 266-288, 2003 | 47 | 2003 |
| Retrenchment, refinement, and simulation R Banach, M Poppleton ZB 2000: Formal Specification and Development in Z and B: First …, 2000 | 45 | 2000 |
| Modelling and Refining Hybrid Systems in Event-B and Rodin. MJ Butler, JR Abrial, R Banach From Action Systems to Distributed Systems, 29-42, 2016 | 32 | 2016 |
| Retrenching the purse: Finite sequence numbers, and the tower pattern R Banach, M Poppleton, C Jeske, S Stepney FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005 | 32 | 2005 |
| Composition mechanisms for retrenchment R Banach, C Jeske, M Poppleton The Journal of Logic and Algebraic Programming 75 (2), 209-229, 2008 | 30 | 2008 |
| 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 | 30 | 2007 |
| Core hybrid Event-B II: multiple cooperating hybrid Event-B machines R Banach, M Butler, S Qin, H Zhu Science of Computer Programming 139, 1-35, 2017 | 29 | 2017 |
| Maximally abstract retrenchments R Banach ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000 | 27 | 2000 |
| Controlling control systems: An application of evolving retrenchment M Poppleton, R Banach International Conference of B and Z Users, 42-61, 2002 | 25 | 2002 |
| Term graph rewriting and garbage collection using opfibrations R Banach Theoretical Computer Science 131 (1), 29-94, 1994 | 24 | 1994 |
| Hemodialysis machine in hybrid Event-B R Banach Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016 | 23 | 2016 |
