Concepedia

Jeremy Gibbons

JG

60

Publications

1.7K

Citations

24

H-Index

1989

Active since

Affiliations

University of Oxford(Current)

Oxford Brookes University

Chalmers University of Technology

University of Nottingham

University of Auckland

Jeremy Gibbons is an author at University of Oxford specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningProgram AnalysisFormal VerificationSemanticsSoftware DesignSoftware AnalysisSoftware Engineering

Publications per year

1989–2024

60

Publications

60

The under-appreciated unfold

Jeremy Gibbons, Geraint Jones · 1998 · 79 citations

Directed Graph, Engineering, Reachability Problem +16

Fast and loose reasoning is morally correct

Nils Anders Danielsson, John Hughes, Patrik Jansson et al. · 2006 · 78 citations

Engineering, Ethical Dilemma, Behavioral Decision Making +19

Folding domain-specific languages

Jeremy Gibbons, Nicolas Wu · 2014 · 74 citations

Engineering, Semantic Web, Semantics +19

Functional Pearls

Jeremy Gibbons · Journal of Functional Programming · 1996 · 73 citations

Theory Of Computing, Order Theory, Engineering +12

Formalisations and applications of BPMN

Peter Y. H. Wong, Jeremy Gibbons · Science of Computer Programming · 2009 · 73 citations

Engineering, Formal Methods, Process Specification +6

Rows per page

1–5 of 60