Gudmund Grov

Cited by

	All	Since 2018
Citations	489	159
h-index	12	6
i10-index	18	2

2007200820092010201120122013201420152016201720182019202020212022202313 5 20 34 24 24 46 51 27 42 35 41 35 17 33 28 5

Public access

View all

7 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Andrew IrelandProfessor of Computer Science, Heriot-Watt UniversityVerified email at hw.ac.uk
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Greg MichaelsonEmeritus Professor of Computer Science, Heriot-Watt UniversityVerified email at hw.ac.uk
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
Maria Teresa LlanoLecturer, Monash University, Melbourne, AustraliaVerified email at monash.edu
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
Alison PeaseUniversity of DundeeVerified email at dundee.ac.uk
Ekaterina KomendantskayaProfessor in Computer Science, Heriot-Watt University, ScotlandVerified email at hw.ac.uk
Aleks KissingerAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Jónathan HerasUniversity of La RiojaVerified email at unirioja.es
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
Colin FarquharPhD Student, Heriot-Watt UniversityVerified email at hw.ac.uk
Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Ramin RamezaniImperial College London, University of California, Los AngelesVerified email at ucla.edu
Stephen MuggletonImperial College LondonVerified email at imperial.ac.uk
Andrew CropperUniversity of OxfordVerified email at cs.ox.ac.uk
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
Colin O'HalloranTechnical Director - D-RisQVerified email at drisq.com
Jeremy GowQueen Mary University of LondonVerified email at qmul.ac.uk
Thomas WiesNew York UniversityVerified email at cs.nyu.edu

Gudmund Grov

Senior Scientist, Norwegian Defence Research Establishment

Verified email at ffi.no - Homepage

Security Formal Methods Automated Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Machine learning in proof general: Interfacing interfaces E Komendantskaya, J Heras, G Grov arXiv preprint arXiv:1212.3618, 2012	59	2012
Towards formal proof script refactoring I Whiteside, D Aspinall, L Dixon, G Grov Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th …, 2011	35	2011
Reasoned modelling critics: turning failed proofs into modelling guidance A Ireland, G Grov, MT Llano, M Butler Science of Computer Programming 78 (3), 293-309, 2013	25	2013
A graphical language for proof strategies G Grov, A Kissinger, Y Lin Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013	22	2013
Low-level programming in Hume: an exploration of the HW-Hume level K Hammond, G Grov, G Michaelson, A Ireland Symposium on Implementation and Application of Functional Languages, 91-107, 2006	18	2006
Formal verification of concurrent scheduling strategies using TLA G Grov, G Michaelson, A Ireland 2007 International Conference on Parallel and Distributed Systems, 1-6, 2007	16	2007
Hume box calculus: robust system development through software transformation G Grov, G Michaelson Higher-Order and Symbolic Computation 23, 191-226, 2010	15	2010
Refinement plans for informed formal design G Grov, A Ireland, MT Llano Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 2012	14	2012
Synthesising Functional Invariants in Separation Logic. E Maclean, A Ireland, G Grov WING@ ETAPS/IJCAR, 183-184, 2010	14	2010
Learning from experts to aid the automation of proof search A Bundy, G Grov, CB Jones AVoCS 9, 229-232, 2009	13	2009
Towards a Box Calculus for Hierarchical Hume. G Grov, G Michaelson Trends in Functional Programming 8, 71-88, 2007	13	2007
A rigorous approach to combining use case modelling and accident scenarios R Murali, A Ireland, G Grov NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015	12	2015
An outline of a proposed system that learns from experts how to discharge proof obligations automatically A Bundy, G Grov, CB Jones Proceedings of Dagstuhl Seminar 9381, 2009	12	2009
Typed meta-interpretive learning for proof strategies. C Farquhar, G Grov, A Cropper, SH Muggleton, A Bundy ILP (Late Breaking Papers), 17-32, 2015	11	2015
Tinker, tailor, solver, proof G Grov, A Kissinger, Y Lin arXiv preprint arXiv:1410.8217, 2014	11	2014
An essence of ssreflect I Whiteside, D Aspinall, G Grov Intelligent Computer Mathematics: 11th International Conference, AISC 2012 …, 2012	11	2012
Tactics for the Dafny program verifier G Grov, V Tumas Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016	10	2016
The CORE system: Animation and functional correctness of pointer programs E Maclean, A Ireland, G Grov 2011 26th IEEE/ACM International Conference on Automated Software …, 2011	10	2011
Automating change of representation for proofs in discrete mathematics (extended version) D Raggi, A Bundy, G Grov, A Pease Mathematics in Computer Science 10, 429-457, 2016	9	2016
Applying Lakatos-style reasoning to AI problems A Pease, A Smaill, S Colton, A Ireland, M Llano, R Ramezani, G Grov, ... Thinking Machines and the philosophy of computer science: Concepts and …, 2010	9*	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors