| A process semantics for BPMN PYH Wong, J Gibbons International Conference on Formal Engineering Methods, 355-374, 2008 | 247 | 2008 |
| Design patterns as higher-order datatype-generic programs J Gibbons Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, 1-12, 2006 | 166 | 2006 |
| Datatype-generic programming J Gibbons Datatype-Generic Programming, 1-71, 2007 | 165* | 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 | 135 | 2014 |
| Just do it: Simple monadic equational reasoning J Gibbons, R Hinze ACM SIGPLAN Notices 46 (9), 2-14, 2011 | 135 | 2011 |
| Fast and loose reasoning is morally correct NA Danielsson, J Hughes, P Jansson, J Gibbons ACM SIGPLAN Notices 41 (1), 206-217, 2006 | 128 | 2006 |
| The under-appreciated unfold J Gibbons, G Jones Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998 | 111 | 1998 |
| The Third Homomorphism Theorem J Gibbons Journal of Functional Programming 6 (04), 657-665, 1996 | 106 | 1996 |
| Formalisations and applications of BPMN PYH Wong, J Gibbons Science of Computer Programming 76 (8), 633-650, 2011 | 104 | 2011 |
| 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 | 94 | 2002 |
| A process-algebraic approach to workflow specification and refinement PYH Wong, J Gibbons International Conference on Software Composition, 51-65, 2007 | 90 | 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 | 89* | 2014 |
| Proof methods for corecursive programs J Gibbons, G Hutton Fundamenta Informaticae 66 (4), 353-366, 2005 | 87* | 2005 |
| Profunctor Optics: Modular Data Accessors M Pickering, J Gibbons, N Wu arXiv preprint arXiv:1703.10857, 2017 | 74 | 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 | 65 | 1994 |
| The fun of programming J Gibbons, O de Moor | 60* | 2003 |
