Edit Profile (opens in new tab) Butterfield, Andrew Compute Distance To: Compute Author ID: butterfield.andrew Published as: Butterfield, Andrew External Links: ORCID Documents Indexed: 16 Publications since 2002 4 Contributions as Editor Co-Authors: 16 Co-Authors with 12 Joint Publications 306 Co-Co-Authors all top 5 Co-Authors 8 single-authored 2 Bresciani, Riccardo 2 Dowse, Malcolm 2 Woodcock, James C. P. 1 Bjørner, Nikolaj S. 1 de Boer, Frank S. 1 Freitas, Leo 1 Gancarski, Paweł 1 Grelck, Clemens 1 Horváth, Zoltán 1 Huch, Frank 1 Hughes, Arthur 1 Morris, Joseph M. 1 Strong, Glenn 1 Tyrrell, Malcolm 1 van Eekelen, Marko 1 Zsók, Viktória Serials 3 Lecture Notes in Computer Science 2 Formal Aspects of Computing 1 Science of Computer Programming Fields 20 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 12 Publications have been cited 21 times in 16 Documents Cited by ▼ Year ▼ Saoithín: a theorem prover for UTP. Zbl 1309.68039Butterfield, Andrew 4 2010 The logic of \(U\cdot(TP)^{2}\). Zbl 1452.68261Butterfield, Andrew 4 2013 A denotational semantics for Handel-C. Zbl 1151.68346Butterfield, Andrew 3 2007 Mechanising a formal model of flash memory. Zbl 1162.68387Butterfield, Andrew; Freitas, Leo; Woodcock, Jim 2 2009 Semantic domains for Handel-C. Zbl 1270.68151Butterfield, Andrew; Woodcock, Jim 1 2003 From distributions to probabilistic reactive programs. Zbl 1405.68073Bresciani, Riccardo; Butterfield, Andrew 1 2013 Implementation and application of functional languages. 17th international workshop, IFL 2005, Dublin, Ireland, September 19–21, 2005. Revised selected papers. Zbl 1122.68002 1 2006 A probabilistic theory of designs based on distributions. Zbl 1452.68047Bresciani, Riccardo; Butterfield, Andrew 1 2013 UTPCalc – a calculator for UTP predicates. Zbl 1483.68072Butterfield, Andrew 1 2017 A denotational semantics for Handel-C. Zbl 1216.68154Butterfield, Andrew 1 2011 A lattice-theoretic model for an algebra of communicating sequential processes. Zbl 1168.68439Tyrrell, Malcolm; Morris, Joseph M.; Butterfield, Andrew; Hughes, Arthur 1 2006 Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8–10, 2008. Revised selected papers. Zbl 1194.68017 1 2010 UTPCalc – a calculator for UTP predicates. Zbl 1483.68072Butterfield, Andrew 1 2017 The logic of \(U\cdot(TP)^{2}\). Zbl 1452.68261Butterfield, Andrew 4 2013 From distributions to probabilistic reactive programs. Zbl 1405.68073Bresciani, Riccardo; Butterfield, Andrew 1 2013 A probabilistic theory of designs based on distributions. Zbl 1452.68047Bresciani, Riccardo; Butterfield, Andrew 1 2013 A denotational semantics for Handel-C. Zbl 1216.68154Butterfield, Andrew 1 2011 Saoithín: a theorem prover for UTP. Zbl 1309.68039Butterfield, Andrew 4 2010 Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8–10, 2008. Revised selected papers. Zbl 1194.68017 1 2010 Mechanising a formal model of flash memory. Zbl 1162.68387Butterfield, Andrew; Freitas, Leo; Woodcock, Jim 2 2009 A denotational semantics for Handel-C. Zbl 1151.68346Butterfield, Andrew 3 2007 Implementation and application of functional languages. 17th international workshop, IFL 2005, Dublin, Ireland, September 19–21, 2005. Revised selected papers. Zbl 1122.68002 1 2006 A lattice-theoretic model for an algebra of communicating sequential processes. Zbl 1168.68439Tyrrell, Malcolm; Morris, Joseph M.; Butterfield, Andrew; Hughes, Arthur 1 2006 Semantic domains for Handel-C. Zbl 1270.68151Butterfield, Andrew; Woodcock, Jim 1 2003 all cited Publications top 5 cited Publications all top 5 Cited by 25 Authors 4 Butterfield, Andrew 2 Cavalcanti, Ana 2 He, Jifeng 2 Perna, Juan Ignacio 2 Woodcock, James C. P. 2 Zeyda, Frank 2 Zhu, Huibiao 1 Barnat, Jiří 1 Bowen, Jonathan P. 1 Bresciani, Riccardo 1 Brim, Luboš 1 Brooke, Phillip J. 1 Edelkamp, Stefan 1 Foster, Simon 1 Freitas, Leo 1 Hesselink, Wim H. 1 Ikram Lali, Muhammad 1 Qin, Shengchao 1 Read, James 1 Ribeiro, Pedro 1 Salikhmetov, Anton 1 Sheng, Feng 1 Šimeček, Pavel 1 Sulewski, Damian 1 Yang, Zongyuan Cited in 4 Serials 4 Formal Aspects of Computing 2 Science of Computer Programming 1 Theoretical Computer Science 1 Foundations of Physics Cited in 3 Fields 15 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Quantum theory (81-XX) Citations by Year