A process semantics for BPMN PYH Wong, J Gibbons International Conference on Formal Engineering Methods, 355-374, 2008 | 245 | 2008 |

Design patterns as higher-order datatype-generic programs J Gibbons Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, 1-12, 2006 | 167 | 2006 |

Datatype-generic programming J Gibbons Datatype-Generic Programming, 1-71, 2007 | 166* | 2007 |

Just do it: Simple monadic equational reasoning J Gibbons, R Hinze ACM SIGPLAN Notices 46 (9), 2-14, 2011 | 130 | 2011 |

Fast and loose reasoning is morally correct NA Danielsson, J Hughes, P Jansson, J Gibbons ACM SIGPLAN Notices 41 (1), 206-217, 2006 | 123 | 2006 |

Folding domain-specific languages: deep and shallow embeddings (functional Pearl) J Gibbons, N Wu Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 120 | 2014 |

The under-appreciated unfold J Gibbons, G Jones Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998 | 105 | 1998 |

The Third Homomorphism Theorem J Gibbons Journal of Functional Programming 6 (04), 657-665, 1996 | 103 | 1996 |

Formalisations and applications of BPMN PYH Wong, J Gibbons Science of Computer Programming 76 (8), 633-650, 2011 | 101 | 2011 |

The essence of the Iterator pattern J Gibbons, BCS Oliveira Journal of Functional Programming 19 (3-4), 377-402, 2009 | 95 | 2009 |

A process-algebraic approach to workflow specification and refinement PYH Wong, J Gibbons International Conference on Software Composition, 51-65, 2007 | 90 | 2007 |

Calculating functional programs J Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction …, 2002 | 88 | 2002 |

Proof methods for corecursive programs J Gibbons, G Hutton Fundamenta Informaticae 66 (4), 353-366, 2005 | 86* | 2005 |

Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers J Gibbons, W MacCaull Springer, 2014 | 84* | 2014 |

A relative timed semantics for BPMN PYH Wong, J Gibbons Electronic Notes in Theoretical Computer Science 229 (2), 59-75, 2009 | 73 | 2009 |

Algebras for Tree Algorithms J Gibbons Programming Research Group, University of Oxford, 1991 | 68 | 1991 |

Profunctor Optics: Modular Data Accessors M Pickering, J Gibbons, N Wu arXiv preprint arXiv:1703.10857, 2017 | 66 | 2017 |

Efficient parallel algorithms for tree accumulations J Gibbons, W Cai, DB Skillicorn Science of Computer Programming 23 (1), 1-18, 1994 | 65 | 1994 |

Property specifications for workflow modelling PYH Wong, J Gibbons Science of Computer Programming 76 (10), 942-967, 2011 | 63 | 2011 |

Formal derivation of a pattern matching algorithm RS Bird, J Gibbons, G Jones Science of Computer Programming 12 (2), 93-104, 1989 | 61 | 1989 |