Edit Profile Carrington, D. A. Compute Distance To: Compute Author ID: carrington.d-a Published as: Carrington, D.; Carrington, D. A. Documents Indexed: 4 Publications since 1991 all top 5 Co-Authors 0 single-authored 2 Hayes, Ian J. 2 Robinson, K. A. 1 Nickson, Ray 1 Shield, Jamie 1 Watson, G. M. G. 1 Welsh, Jim Serials 1 Formal Aspects of Computing Fields 4 Computer science (68-XX) Publications by Year Citations contained in zbMATH 2 Publications have been cited 8 times in 8 Documents Cited by ▼ Year ▼ A program refinement tool. Zbl 0910.68050Carrington, D.; Hayes, I.; Nickson, R.; Watson, G.; Welsh, J. 7 1998 Using theory interpretation to mechanise the reals in a theorem prover. Zbl 0970.68146Shield, J.; Hayes, I. J.; Carrington, D. A. 1 2001 Using theory interpretation to mechanise the reals in a theorem prover. Zbl 0970.68146Shield, J.; Hayes, I. J.; Carrington, D. A. 1 2001 A program refinement tool. Zbl 0910.68050Carrington, D.; Hayes, I.; Nickson, R.; Watson, G.; Welsh, J. 7 1998 all top 5 Cited by 16 Authors 2 Cavalcanti, Ana 2 Chaudhari, Dipak L. 2 Damani, Om P. 2 Oliveira, Marcel 2 Zeyda, Frank 1 Carrington, David B. 1 Fidge, Colin J. 1 Hurd, Joe 1 Liu, Zhiming 1 Manolios, Panagiotis 1 McIver, Annabelle K. 1 Moore, J Strother 1 Morgan, Carroll C. 1 Morisset, Charles 1 Wang, Shuling 1 Wildman, Luke Cited in 5 Serials 2 Formal Aspects of Computing 1 Information Processing Letters 1 Theoretical Computer Science 1 Science of Computer Programming 1 Cited in 1 Field 8 Computer science (68-XX) Citations by Year