Edit Profile (opens in new tab) Banach, Richard Co-Author Distance Author ID: banach.richard Published as: Banach, R.; Banach, Richard Homepage: http://www.cs.man.ac.uk/~banach/ Documents Indexed: 34 Publications since 1993 Co-Authors: 10 Co-Authors with 18 Joint Publications 213 Co-Co-Authors all top 5 Co-Authors 16 single-authored 8 Jeske, Czeslaw 7 Poppleton, Michael 3 Stepney, Susan 2 Balázs, János 2 Bozzano, Marco 2 Papadopoulos, George A. 2 Zhu, Huibiao 1 Huang, Runlei 1 Schellhorn, Gerhard 1 Su, Wen all top 5 Serials 6 Formal Aspects of Computing 3 Theoretical Computer Science 3 Journal of Universal Computer Science 3 The Journal of Logic and Algebraic Programming 2 Science of Computer Programming 1 Information Processing Letters 1 Journal of Pure and Applied Algebra 1 Annals of Pure and Applied Logic 1 MSCS. Mathematical Structures in Computer Science 1 Fundamenta Informaticae all top 5 Fields 31 Computer science (68-XX) 3 Category theory; homological algebra (18-XX) 3 Information and communication theory, circuits (94-XX) 2 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 24 Publications have been cited 88 times in 37 Documents Cited by ▼ Year ▼ Engineering and theoretical underpinnings of retrenchment. Zbl 1119.68348 Banach, R.; Poppleton, M.; Jeske, C.; Stepney, S. 17 2007 Composition mechanisms for retrenchment. Zbl 1137.68037 Banach, R.; Jeske, C.; Poppleton, M. 9 2008 Retrenching the purse: Finite sequence numbers, and the tower pattern. Zbl 1120.68406 Banach, Richard; Poppleton, Michael; Jeske, Czeslaw; Stepney, Susan 9 2005 Retrenchment and refinement interworking: the tower theorems. Zbl 1361.68056 Banach, Richard; Jeske, Czesław 6 2015 Sequent reconstruction in LLM – A sweepline proof. Zbl 0830.03027 Banach, R. 5 1995 Atomic actions, and their refinements to isolated protocols. Zbl 1183.68362 Banach, Richard; Schellhorn, Gerhard 5 2010 Term graph rewriting and garbage collection using opfibrations. Zbl 0817.18006 Banach, R. 5 1994 Retrenching the purse: the balance enquiry quandary, and generalised and \((1, 1)\) forward refinements. Zbl 1118.68436 Banach, Richard; Jeske, Czeslaw; Poppleton, Michael; Stepney, Susan 3 2007 Stronger compositions for retrenchments. Zbl 1209.68131 Banach, R.; Jeske, C. 3 2010 On regularity in software design. Zbl 0832.68032 Banach, R. 3 1995 Regular relations and bicartesian squares. Zbl 0802.18004 Banach, R. 3 1994 The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits. Zbl 1298.68050 Banach, Richard; Bozzano, Marco 3 2013 The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits. Zbl 1298.68051 Banach, Richard; Bozzano, Marco 3 2013 MONSTR I – Fundamental issues and the design of MONSTR. Zbl 0955.68061 Banach, R. 2 1998 Retrenchment and punctured simulation. Zbl 0963.68135 Banach, R.; Poppleton, M. 2 1999 Locating the contractum in the double pushout approach. Zbl 0872.68077 Banach, R. 2 1995 Simple feature engineering via neat default retrenchments. Zbl 1231.68106 Banach, R.; Jeske, C. 1 2011 A translation of the pi-calculus into MONSTR. Zbl 0960.68585 Banach, R.; Balázs, J.; Papadopoulos, G. 1 1995 MONSTR V – transitive coercing semantics and the Church-Rosser property. Zbl 0960.68083 Banach, R. 1 1997 DPO rewriting and abstract semantics via opfibrations. Zbl 0910.68123 Banach, Richard 1 1995 Minimally and maximally abstract retrenchments. Zbl 1057.68590 Jeske, C.; Banach, R. 1 2002 Weak fibrations. Zbl 0778.18007 Banach, R. 1 1993 Retrenchment for Event-B: UseCase-wise development and Rodin integration. Zbl 1214.68129 Banach, Richard 1 2011 Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Zbl 1342.93065 Banach, Richard; Zhu, Huibiao; Su, Wen; Huang, Runlei 1 2014 Retrenchment and refinement interworking: the tower theorems. Zbl 1361.68056 Banach, Richard; Jeske, Czesław 6 2015 Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Zbl 1342.93065 Banach, Richard; Zhu, Huibiao; Su, Wen; Huang, Runlei 1 2014 The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits. Zbl 1298.68050 Banach, Richard; Bozzano, Marco 3 2013 The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits. Zbl 1298.68051 Banach, Richard; Bozzano, Marco 3 2013 Simple feature engineering via neat default retrenchments. Zbl 1231.68106 Banach, R.; Jeske, C. 1 2011 Retrenchment for Event-B: UseCase-wise development and Rodin integration. Zbl 1214.68129 Banach, Richard 1 2011 Atomic actions, and their refinements to isolated protocols. Zbl 1183.68362 Banach, Richard; Schellhorn, Gerhard 5 2010 Stronger compositions for retrenchments. Zbl 1209.68131 Banach, R.; Jeske, C. 3 2010 Composition mechanisms for retrenchment. Zbl 1137.68037 Banach, R.; Jeske, C.; Poppleton, M. 9 2008 Engineering and theoretical underpinnings of retrenchment. Zbl 1119.68348 Banach, R.; Poppleton, M.; Jeske, C.; Stepney, S. 17 2007 Retrenching the purse: the balance enquiry quandary, and generalised and \((1, 1)\) forward refinements. Zbl 1118.68436 Banach, Richard; Jeske, Czeslaw; Poppleton, Michael; Stepney, Susan 3 2007 Retrenching the purse: Finite sequence numbers, and the tower pattern. Zbl 1120.68406 Banach, Richard; Poppleton, Michael; Jeske, Czeslaw; Stepney, Susan 9 2005 Minimally and maximally abstract retrenchments. Zbl 1057.68590 Jeske, C.; Banach, R. 1 2002 Retrenchment and punctured simulation. Zbl 0963.68135 Banach, R.; Poppleton, M. 2 1999 MONSTR I – Fundamental issues and the design of MONSTR. Zbl 0955.68061 Banach, R. 2 1998 MONSTR V – transitive coercing semantics and the Church-Rosser property. Zbl 0960.68083 Banach, R. 1 1997 Sequent reconstruction in LLM – A sweepline proof. Zbl 0830.03027 Banach, R. 5 1995 On regularity in software design. Zbl 0832.68032 Banach, R. 3 1995 Locating the contractum in the double pushout approach. Zbl 0872.68077 Banach, R. 2 1995 A translation of the pi-calculus into MONSTR. Zbl 0960.68585 Banach, R.; Balázs, J.; Papadopoulos, G. 1 1995 DPO rewriting and abstract semantics via opfibrations. Zbl 0910.68123 Banach, Richard 1 1995 Term graph rewriting and garbage collection using opfibrations. Zbl 0817.18006 Banach, R. 5 1994 Regular relations and bicartesian squares. Zbl 0802.18004 Banach, R. 3 1994 Weak fibrations. Zbl 0778.18007 Banach, R. 1 1993 all cited Publications top 5 cited Publications all top 5 Cited by 46 Authors 16 Banach, Richard 4 Jeske, Czeslaw 3 Bozzano, Marco 2 Galmiche, Didier 2 Guerrini, Stefano 2 Masini, Andrea 2 Schellhorn, Gerhard 2 Wehrheim, Heike 1 Aguirre, Nazareno M. 1 Amálio, Nuno 1 Archer, Myla M. 1 Boiten, Eerke A. 1 Castro, Pablo F. 1 Cimatti, Alessandro 1 Corradini, Andrea 1 Demasi, Ramiro 1 Derrick, John 1 Di Giamberardino, Paolo 1 Duval, Dominique 1 Echahed, Rachid 1 Faggian, Claudia 1 Fernández, Maribel 1 Fu, Zheng 1 Gario, Marco 1 Heitmeyer, Constance L. 1 Huang, Runlei 1 Jeffords, Ralph D. 1 Kahl, Wolfram 1 Kendon, Viv M. 1 Leonard, Elizabeth I. 1 Mackie, Ian 1 Maibaum, Thomas Stephen Edward 1 Martini, Simone 1 Martins-Ferreira, Nelson 1 Mattarei, Cristian 1 Notin, Jean-Marc 1 Poppleton, Michael 1 Prost, Frédéric 1 Ruhroth, Thomas 1 Sabel, David 1 Schmidt-Schauß, Manfred 1 Schneider, Steve A. 1 Smith, Graeme 1 Su, Wen 1 Treharne, Helen 1 Zhu, Huibiao all top 5 Cited in 13 Serials 8 Formal Aspects of Computing 7 Theoretical Computer Science 3 The Journal of Logic and Algebraic Programming 2 Science of Computer Programming 1 Information Processing Letters 1 Information Sciences 1 Journal of Pure and Applied Algebra 1 Annals of Pure and Applied Logic 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Applied Categorical Structures 1 ACM Transactions on Computational Logic 1 Frontiers of Computer Science in China all top 5 Cited in 6 Fields 31 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 4 Category theory; homological algebra (18-XX) 3 Information and communication theory, circuits (94-XX) 2 Systems theory; control (93-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year