Concepedia

Gudmund Grov

GG

Statistics

Publications

7

Citations

170

H-Index

7

Active since

2009

Affiliations

University of Edinburgh(Current)

Heriot-Watt University

University of Oslo

Norwegian Defence Research Establishment

Gudmund Grov is an author at University of Edinburgh specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningData MiningData ScienceMachine LearningProgram AnalysisSoftware AnalysisKnowledge Discovery

Publications per year

2009–2022

7

Publications

7

Machine Learning in Proof General: Interfacing Interfaces

Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov · Electronic Proceedings in Theoretical Computer Science · 2013 · 53 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +16

Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on

Ewen Maclean, Andrew Ireland, Gudmund Grov · 2011 · 52 citations

Automated Software Engineering, Empirical Software Engineering Research, Engineering +10

CBAM: A Contextual Model for Network Anomaly Detection

Henry Clausen, Gudmund Grov, David Aspinall · Computers · 2021 · 18 citations · Full text

Anomaly Detection, Machine Learning, Engineering +20

Reasoned modelling critics: Turning failed proofs into modelling guidance

Andrew Ireland, Gudmund Grov, Maria Teresa Llano et al. · Science of Computer Programming · 2011 · 17 citations

Formal Modeling, Automated Reasoning, Design +3

Learning from experts to aid the automation of proof search

Alan Bundy, Gudmund Grov, Cliff B. Jones · Edinburgh Research Explorer · 2009 · 10 citations · Full text

1–5 of 7