Edit Profile (opens in new tab) Grov, Gudmund Compute Distance To: Compute Author ID: grov.gudmund Published as: Grov, Gudmund Documents Indexed: 11 Publications since 2010 Co-Authors: 14 Co-Authors with 11 Joint Publications 184 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Bundy, Alan 3 Lin, Yuhui 2 Aspinall, David 2 Ireland, Andrew 2 Maclean, Ewen 2 Pease, Alison 2 Raggi, Daniel 2 Whiteside, Iain 1 Arthan, Rob D. 1 Dixon, Lucas 1 Kissinger, Aleks 1 Llano, Maria Teresa 1 Loidl, Hans-Wolfgang 1 Michaelson, Greg all top 5 Serials 1 Science of Computer Programming 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 Higher-Order and Symbolic Computation 1 Mathematics in Computer Science 1 Journal of Formalized Reasoning Fields 11 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 6 Publications have been cited 10 times in 8 Documents Cited by ▼ Year ▼ A graphical language for proof strategies. Zbl 1406.68107Grov, Gudmund; Kissinger, Aleks; Lin, Yuhui 3 2013 Towards formal proof script refactoring. Zbl 1335.68240Whiteside, Iain; Aspinall, David; Dixon, Lucas; Grov, Gudmund 3 2011 Automating change of representation for proofs in discrete mathematics. Zbl 1409.68260Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison 1 2015 Proof automation for functional correctness in separation logic. Zbl 1344.68209Maclean, Ewen; Ireland, Andrew; Grov, Gudmund 1 2016 Reasoned modelling critics: turning failed proofs into modelling guidance. Zbl 1264.68058Ireland, Andrew; Grov, Gudmund; Llano, Maria Teresa; Butler, Michael 1 2013 Automating change of representation for proofs in discrete mathematics (extended version). Zbl 1409.68261Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison 1 2016 Proof automation for functional correctness in separation logic. Zbl 1344.68209Maclean, Ewen; Ireland, Andrew; Grov, Gudmund 1 2016 Automating change of representation for proofs in discrete mathematics (extended version). Zbl 1409.68261Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison 1 2016 Automating change of representation for proofs in discrete mathematics. Zbl 1409.68260Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison 1 2015 A graphical language for proof strategies. Zbl 1406.68107Grov, Gudmund; Kissinger, Aleks; Lin, Yuhui 3 2013 Reasoned modelling critics: turning failed proofs into modelling guidance. Zbl 1264.68058Ireland, Andrew; Grov, Gudmund; Llano, Maria Teresa; Butler, Michael 1 2013 Towards formal proof script refactoring. Zbl 1335.68240Whiteside, Iain; Aspinall, David; Dixon, Lucas; Grov, Gudmund 3 2011 all cited Publications top 5 cited Publications all top 5 Cited by 27 Authors 2 Grov, Gudmund 2 Lin, Yuhui 1 Anai, Hirokazu 1 Arai, Noriko H. 1 Arthan, Rob D. 1 Bsaïes, Khaled 1 Bundy, Alan 1 Dlamini, Phumlani Goodwill 1 Fukasaku, Ryoya 1 Gauthier, Thibault 1 Ghardallou, Wided 1 Gransden, Thomas 1 Iwane, Hidenao 1 Kaliszyk, Cezary 1 Khumalo, Melusi 1 Kobayashi, Munehiro 1 Kudo, Jumma 1 Labed Jilani, Lamia 1 Louhichi, Asma 1 Maclean, Ewen 1 Matsuzaki, Takuya 1 Mili, Ali 1 Mraihi, Olfa 1 Raman, Rajeev 1 Roe, Kenneth 1 Walkinshaw, Neil 1 Zhan, Yiyang all top 5 Cited in 6 Serials 1 Journal of Symbolic Computation 1 Formal Aspects of Computing 1 AI Communications 1 The Journal of Logic and Algebraic Programming 1 Journal of Formalized Reasoning 1 Open Mathematics Cited in 5 Fields 7 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Partial differential equations (35-XX) 1 Numerical analysis (65-XX) Citations by Year