| A process semantics for BPMN PYH Wong, J Gibbons International Conference on Formal Engineering Methods, 355-374, 2008 | 248 | 2008 |
| Datatype-generic programming J Gibbons Datatype-Generic Programming, 1-71, 2007 | 171* | 2007 |
| 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 | 144 | 2014 |
| Just do it: Simple monadic equational reasoning J Gibbons, R Hinze ACM SIGPLAN Notices 46 (9), 2-14, 2011 | 139 | 2011 |
| Fast and loose reasoning is morally correct NA Danielsson, J Hughes, P Jansson, J Gibbons ACM SIGPLAN Notices 41 (1), 206-217, 2006 | 127 | 2006 |
| Formalisations and applications of BPMN PYH Wong, J Gibbons Science of Computer Programming 76 (8), 633-650, 2011 | 109 | 2011 |
| The under-appreciated unfold J Gibbons, G Jones Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998 | 106 | 1998 |
| The Third Homomorphism Theorem J Gibbons Journal of Functional Programming 6 (04), 657-665, 1996 | 105 | 1996 |
| The essence of the Iterator pattern J Gibbons, BCS Oliveira Journal of Functional Programming 19 (3-4), 377-402, 2009 | 98 | 2009 |
| Calculating functional programs J Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction …, 2002 | 95 | 2002 |
| A process-algebraic approach to workflow specification and refinement PYH Wong, J Gibbons International Conference on Software Composition, 51-65, 2007 | 93 | 2007 |
| 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 | 91* | 2014 |
| Proof methods for corecursive programs J Gibbons, G Hutton Fundamenta Informaticae 66 (4), 353-366, 2005 | 85* | 2005 |
| Profunctor Optics: Modular Data Accessors M Pickering, J Gibbons, N Wu arXiv preprint arXiv:1703.10857, 2017 | 77 | 2017 |
| 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 | 67 | 1991 |
| Property specifications for workflow modelling PYH Wong, J Gibbons Science of Computer Programming 76 (10), 942-967, 2011 | 65 | 2011 |
| Efficient parallel algorithms for tree accumulations J Gibbons, W Cai, DB Skillicorn Science of Computer Programming 23 (1), 1-18, 1994 | 64 | 1994 |
| Formal derivation of a pattern matching algorithm RS Bird, J Gibbons, G Jones Science of Computer Programming 12 (2), 93-104, 1989 | 61 | 1989 |
| The fun of programming J Gibbons, O de Moor | 60* | 2003 |
