Edit Profile Hayes, Ian J. Compute Distance To: Compute Author ID: hayes.ian-j Published as: Hayes, I.; Hayes, I. J.; Hayes, Ian; Hayes, Ian J. Documents Indexed: 65 Publications since 1986, including 2 Books all top 5 Co-Authors 16 single-authored 15 Colvin, Robert J. 10 Meinicke, Larissa A. 9 Strooper, Paul A. 6 Dongol, Brijesh 5 Hemer, David 5 Nickson, Ray 4 Fidge, Colin J. 3 Lermer, Karl 3 Sanders, Jeff W. 3 Smith, Graeme 2 Carrington, D. A. 2 Dunne, Steve E. 2 He, Jifeng 2 Hoare, C. A. R. Tony 2 Jones, Cliff B. 2 Roscoe, Andrew William 2 Sorensen, I. H. 2 Spivey, J. Michael 2 Struth, Georg 2 Sufrin, B. A. 2 Winter, Kirsten 1 Bancroft, Peter 1 Burns, Alan D. 1 Fitzgerald, John W. 1 Galloway, Andy J. 1 Groves, Lindsay J. 1 Höfner, Peter 1 Mahony, Brendan P. 1 Morgan, C. Carroll 1 Morgan, Carroll C. 1 Peuker, Sibylle 1 Robinson, Peter J. 1 Shield, Jamie 1 Solin, Kim 1 Tarlecki, Andrzej 1 Utting, Mark 1 van Glabbek, Rob 1 Velykis, Andrius 1 Wabenhorst, A. K. 1 Watson, G. M. G. 1 Welsh, Jim 1 Wildman, Luke all top 5 Serials 12 Formal Aspects of Computing 5 Science of Computer Programming 3 Acta Informatica 2 Communications of the ACM 2 Theory and Practice of Logic Programming 1 Theoretical Computer Science 1 Real-Time Systems 1 IEEE Transactions on Software Engineering 1 The Journal of Logic and Algebraic Programming 1 ACM Transactions on Computational Logic 1 Lecture Notes in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 65 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 37 Publications have been cited 146 times in 115 Documents Cited by ▼ Year ▼ Laws of programming. Zbl 0629.68006Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 56 1987 Balancing expressiveness in formal approaches to concurrency. Zbl 1343.68171Jones, Cliff B.; Hayes, Ian J.; Colvin, Robert J. 8 2015 Specification case studies. 2. ed. Zbl 0812.68039Hayes, I. (ed.) 8 1993 Unifying theories of programming that distinguish nontermination and abort. Zbl 1286.68079Hayes, Ian J.; Dunne, Steve E.; Meinicke, Larissa 7 2010 A program refinement tool. Zbl 0910.68050Carrington, D.; Hayes, I.; Nickson, R.; Watson, G.; Welsh, J. 7 1998 A timeband framework for modelling real-time systems. Zbl 1197.68032Burns, Alan; Hayes, Ian J. 6 2010 CSP with hierarchical state. Zbl 1211.68266Colvin, Robert; Hayes, Ian J. 6 2009 A semantics for behavior trees using CSP with specification commands. Zbl 1220.68050Colvin, Robert J.; Hayes, Ian J. 4 2011 A sequential real-time refinement calculus. Zbl 0970.68107Hayes, Ian J.; Utting, Mark 4 2001 Generalised rely-guarantee concurrency: an algebraic foundation. Zbl 1348.68035Hayes, Ian J. 3 2016 Supporting contexts in program refinement. Zbl 0881.68012Nickson, Ray; Hayes, Ian 3 1997 Designing a semantic model for a wide-spectrum language with concurrency. Zbl 1375.68036Colvin, Robert J.; Hayes, Ian J.; Meinicke, Larissa A. 2 2017 Possible values: exploring a concept for concurrency. Zbl 1355.68043Jones, Cliff B.; Hayes, Ian J. 2 2016 Deriving real-time action systems controllers from multiscale system specifications. Zbl 1358.68069Dongol, Brijesh; Hayes, Ian J. 2 2012 Structural operational semantics through context-dependent behaviour. Zbl 1223.68026Colvin, Robert J.; Hayes, Ian J. 2 2011 Probabilistic choice in refinement algebra. Zbl 1156.68357Meinicke, Larissa; Hayes, Ian J. 2 2008 Real-time specification and reasoning using maximal intervals. Zbl 0964.68090Fidge, C. J.; Hayes, I. J.; Mahony, B. P.; Wabenhorst, A. K. 2 2000 Separating timing and calculation in real-time refinement. Zbl 0924.68127Hayes, Ian 2 1998 Corrigendum to “Laws of programming”. Zbl 0653.68002Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 2 1987 Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. Zbl 1367.68210Dongol, Brijesh; Hayes, Ian J.; Struth, Georg 1 2016 Reasoning about goal-directed real-time teleo-reactive programs. Zbl 1342.68060Dongol, Brijesh; Hayes, Ian J.; Robinson, Peter J. 1 2014 Towards an algebra for real-time programs. Zbl 1364.68135Dongol, Brijesh; Hayes, Ian J.; Meinicke, Larissa; Solin, Kim 1 2012 Reasoning about loops in total and general correctness. Zbl 1286.68076Dunne, Steve E.; Hayes, Ian J.; Galloway, Andy J. 1 2010 Algebraic reasoning for probabilistic action systems and while-loops. Zbl 1161.68014Meinicke, Larissa; Hayes, Ian J. 1 2008 Calculating modules in contextual logic program refinement. Zbl 1128.68015Colvin, Robert; Hayes, Ian J.; Strooper, Paul 1 2008 Continuous action system refinement. Zbl 1235.68104Meinicke, Larissa; Hayes, Ian J. 1 2006 Termination of real-time programs: definitely, definitely not, or maybe. Zbl 1186.68087Hayes, Ian J. 1 2006 FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Zbl 1078.68005Fitzgerald, John (ed.); Hayes, Ian J. (ed.); Tarlecki, Andrzej (ed.) 1 2005 Linear approximation of execution-time constraints. Zbl 1093.68025Lermer, Karl; Fidge, Colin J.; Hayes, Ian J. 1 2003 Don’t care non-determinism in logic program refinement. Zbl 1268.68044Hemer, David; Colvin, Robert; Hayes, Ian; Strooper, Paul 1 2002 A refinement calculus for logic programs. Zbl 1090.68532Hayes, Ian; Colvin, Robert; Hemer, David; Strooper, Paul; Nickson, Ray 1 2002 Reasoning about real-time repetitions: Terminating and nonterminating. Zbl 1014.68036Hayes, Ian 1 2002 Using theory interpretation to mechanise the reals in a theorem prover. Zbl 0970.68146Shield, J.; Hayes, I. J.; Carrington, D. A. 1 2001 Supporting contexts in the sequential real-time refinement calculus. Zbl 0924.68141Wildman, Luke; Hayes, Ian 1 1998 Data refining logic programs. Zbl 0924.68131Colvin, Robert; Hayes, Ian; Strooper, Paul 1 1998 A tool for logic program refinement (extended abstract). Zbl 0888.68082Colvin, Robert; Hayes, Ian; Nickson, Ray; Strooper, Paul 1 1997 Specification by interface separation. Zbl 0835.68077Hayes, I. J.; Sanders, J. W. 1 1995 Designing a semantic model for a wide-spectrum language with concurrency. Zbl 1375.68036Colvin, Robert J.; Hayes, Ian J.; Meinicke, Larissa A. 2 2017 Generalised rely-guarantee concurrency: an algebraic foundation. Zbl 1348.68035Hayes, Ian J. 3 2016 Possible values: exploring a concept for concurrency. Zbl 1355.68043Jones, Cliff B.; Hayes, Ian J. 2 2016 Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. Zbl 1367.68210Dongol, Brijesh; Hayes, Ian J.; Struth, Georg 1 2016 Balancing expressiveness in formal approaches to concurrency. Zbl 1343.68171Jones, Cliff B.; Hayes, Ian J.; Colvin, Robert J. 8 2015 Reasoning about goal-directed real-time teleo-reactive programs. Zbl 1342.68060Dongol, Brijesh; Hayes, Ian J.; Robinson, Peter J. 1 2014 Deriving real-time action systems controllers from multiscale system specifications. Zbl 1358.68069Dongol, Brijesh; Hayes, Ian J. 2 2012 Towards an algebra for real-time programs. Zbl 1364.68135Dongol, Brijesh; Hayes, Ian J.; Meinicke, Larissa; Solin, Kim 1 2012 A semantics for behavior trees using CSP with specification commands. Zbl 1220.68050Colvin, Robert J.; Hayes, Ian J. 4 2011 Structural operational semantics through context-dependent behaviour. Zbl 1223.68026Colvin, Robert J.; Hayes, Ian J. 2 2011 Unifying theories of programming that distinguish nontermination and abort. Zbl 1286.68079Hayes, Ian J.; Dunne, Steve E.; Meinicke, Larissa 7 2010 A timeband framework for modelling real-time systems. Zbl 1197.68032Burns, Alan; Hayes, Ian J. 6 2010 Reasoning about loops in total and general correctness. Zbl 1286.68076Dunne, Steve E.; Hayes, Ian J.; Galloway, Andy J. 1 2010 CSP with hierarchical state. Zbl 1211.68266Colvin, Robert; Hayes, Ian J. 6 2009 Probabilistic choice in refinement algebra. Zbl 1156.68357Meinicke, Larissa; Hayes, Ian J. 2 2008 Algebraic reasoning for probabilistic action systems and while-loops. Zbl 1161.68014Meinicke, Larissa; Hayes, Ian J. 1 2008 Calculating modules in contextual logic program refinement. Zbl 1128.68015Colvin, Robert; Hayes, Ian J.; Strooper, Paul 1 2008 Continuous action system refinement. Zbl 1235.68104Meinicke, Larissa; Hayes, Ian J. 1 2006 Termination of real-time programs: definitely, definitely not, or maybe. Zbl 1186.68087Hayes, Ian J. 1 2006 FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Zbl 1078.68005Fitzgerald, John (ed.); Hayes, Ian J. (ed.); Tarlecki, Andrzej (ed.) 1 2005 Linear approximation of execution-time constraints. Zbl 1093.68025Lermer, Karl; Fidge, Colin J.; Hayes, Ian J. 1 2003 Don’t care non-determinism in logic program refinement. Zbl 1268.68044Hemer, David; Colvin, Robert; Hayes, Ian; Strooper, Paul 1 2002 A refinement calculus for logic programs. Zbl 1090.68532Hayes, Ian; Colvin, Robert; Hemer, David; Strooper, Paul; Nickson, Ray 1 2002 Reasoning about real-time repetitions: Terminating and nonterminating. Zbl 1014.68036Hayes, Ian 1 2002 A sequential real-time refinement calculus. Zbl 0970.68107Hayes, Ian J.; Utting, Mark 4 2001 Using theory interpretation to mechanise the reals in a theorem prover. Zbl 0970.68146Shield, J.; Hayes, I. J.; Carrington, D. A. 1 2001 Real-time specification and reasoning using maximal intervals. Zbl 0964.68090Fidge, C. J.; Hayes, I. J.; Mahony, B. P.; Wabenhorst, A. K. 2 2000 A program refinement tool. Zbl 0910.68050Carrington, D.; Hayes, I.; Nickson, R.; Watson, G.; Welsh, J. 7 1998 Separating timing and calculation in real-time refinement. Zbl 0924.68127Hayes, Ian 2 1998 Supporting contexts in the sequential real-time refinement calculus. Zbl 0924.68141Wildman, Luke; Hayes, Ian 1 1998 Data refining logic programs. Zbl 0924.68131Colvin, Robert; Hayes, Ian; Strooper, Paul 1 1998 Supporting contexts in program refinement. Zbl 0881.68012Nickson, Ray; Hayes, Ian 3 1997 A tool for logic program refinement (extended abstract). Zbl 0888.68082Colvin, Robert; Hayes, Ian; Nickson, Ray; Strooper, Paul 1 1997 Specification by interface separation. Zbl 0835.68077Hayes, I. J.; Sanders, J. W. 1 1995 Specification case studies. 2. ed. Zbl 0812.68039Hayes, I. (ed.) 8 1993 Laws of programming. Zbl 0629.68006Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 56 1987 Corrigendum to “Laws of programming”. Zbl 0653.68002Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 2 1987 all cited Publications top 5 cited Publications all top 5 Cited by 136 Authors 17 Hayes, Ian J. 9 Bergstra, Jan A. 9 Hoare, C. A. R. Tony 9 Ponse, Alban 8 Cavalcanti, Ana 8 Colvin, Robert J. 7 He, Jifeng 7 Zeyda, Frank 6 Woodcock, James C. P. 5 Guttmann, Walter 5 Meinicke, Larissa A. 5 Zhu, Huibiao 4 Foster, Simon 4 Qin, Shengchao 3 Dongol, Brijesh 3 Fidge, Colin J. 3 Morgan, Carroll C. 3 Sampaio, Augusto C. A. 3 Sanders, Jeff W. 3 van Staden, Stephan 2 Chaudhari, Dipak L. 2 Chen, Yifeng 2 Damani, Om P. 2 Demri, Stéphane P. 2 Fiadeiro, José Luiz 2 Guelev, Dimitar P. 2 Jones, Cliff B. 2 Legay, Axel 2 Lermer, Karl 2 Liu, Zhiming 2 Lopes, Antónia 2 Middelburg, Cornelis A. 2 Moszkowski, Ben C. 2 Oliveira, Marcel 2 Orłowska, Ewa S. 2 Rewitzky, Ingrid 2 Solin, Kim 2 Strooper, Paul A. 2 Struth, Georg 2 Wei, Kun 2 Winter, Kirsten 2 Xiang, Shuangqing 2 Xie, Wanling 2 Xu, Qiwen 2 Yatapanage, Nisansala 2 Zhao, Yongxin 1 Aceto, Luca 1 Areces, Carlos 1 Back, Ralph-Johan 1 Baeten, Jos C. M. 1 Bakulin, A. V. 1 Berghammer, Rudolf 1 Bezem, Marc 1 Borba, Paulo 1 Bowen, Jonathan P. 1 Brink, Chris 1 Brooke, Phillip J. 1 Burns, Alan D. 1 Cachera, David 1 Canham, Samuel 1 Carrington, David B. 1 Chen, Zhizhong 1 Cimini, Matteo 1 Cornélio, Márcio 1 de Carufel, Jean-Lou 1 Delahaye, Benoît 1 Desharnais, Jules 1 Dong, JinSong 1 Dunne, Steve E. 1 Fahrenberg, Uli 1 Ferrucci, Luca 1 Fu, Zheng 1 Gheyi, Rohit 1 Giacobazzi, Roberto 1 Gravell, Andrew M. 1 Gritzner, Thomas F. 1 Groote, Jan Friso 1 Hemer, David 1 Höfner, Peter 1 Hurd, Joe 1 Hussain, Akbar 1 Ingólfsdóttir, Anna 1 Jifeng, He 1 Kahl, Wolfram 1 Kessels, Joep L. W. 1 Lazić, Ranko 1 Leucker, Martin 1 Li, Xiaoshan 1 Liu, Yang 1 Loots, M. E. 1 Maddux, Roger D. 1 Mandrioli, Dino 1 Manolios, Panagiotis 1 McIver, Annabelle K. 1 Möller, Bernhard 1 Moore, J Strother 1 Morisset, Charles 1 Morzenti, Angelo 1 Mota, Alexandre C. 1 Mráz, František ...and 36 more Authors all top 5 Cited in 26 Serials 27 Formal Aspects of Computing 21 Theoretical Computer Science 7 The Journal of Logic and Algebraic Programming 5 Acta Informatica 5 Journal of Logical and Algebraic Methods in Programming 4 Information Processing Letters 3 Science of Computer Programming 2 Information Sciences 2 Information and Computation 2 MSCS. Mathematical Structures in Computer Science 2 Annals of Mathematics and Artificial Intelligence 1 Discrete Applied Mathematics 1 Notre Dame Journal of Formal Logic 1 Journal of Computer Science and Technology 1 Real-Time Systems 1 Distributed Computing 1 Cybernetics and Systems Analysis 1 Formal Methods in System Design 1 Journal of Applied Non-Classical Logics 1 1 The Bulletin of Symbolic Logic 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science 1 Discrete and Continuous Dynamical Systems. Series S 1 Frontiers of Computer Science in China all top 5 Cited in 8 Fields 112 Computer science (68-XX) 25 Mathematical logic and foundations (03-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX) 1 Biology and other natural sciences (92-XX) Citations by Year