| 2009 | ||
|---|---|---|
| 52 | Jeremy Gibbons, José Nuno Oliveira: Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings Springer 2009 | |
| 51 | Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui: Semantics-Driven Development for Electronic Government Applications. HICSS 2009: 1-10 | |
| 50 | Peter Y. H. Wong, Jeremy Gibbons: Property Specifications for Workflow Modelling. IFM 2009: 56-71 | |
| 2008 | ||
| 49 | Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos H. Caldas: WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. CCGRID 2008: 73-81 | |
| 48 | Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton: Semantic technologies in electronic government. ICEGOV 2008: 45-51 | |
| 47 | Alejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan: Interoperability frameworks for electronic governance. ICEGOV 2008: 490-491 | |
| 46 | Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons: Metadata standards for semantic interoperability in electronic government. ICEGOV 2008: 67-75 | |
| 45 | Peter Y. H. Wong, Jeremy Gibbons: A Process Semantics for BPMN. ICFEM 2008: 355-374 | |
| 44 | Bruno C. D. S. Oliveira, Jeremy Gibbons: Scala for generic programmers. ICFP-WGP 2008: 25-36 | |
| 43 | Peter Y. H. Wong, Jeremy Gibbons: On Specifying and Visualising Long-Running Empirical Studies. ICMT 2008: 76-90 | |
| 42 | Jeremy Gibbons: Unfolding Abstract Datatypes. MPC 2008: 110-133 | |
| 41 | Bruno C. D. S. Oliveira, Meng Wang, Jeremy Gibbons: The visitor pattern as a reusable, generic, type-safe component. OOPSLA 2008: 439-456 | |
| 40 | Peter Y. H. Wong, Jeremy Gibbons: Verifying Business Process Compatibility (Short Paper). QSIC 2008: 126-131 | |
| 2007 | ||
| 39 | Jim Davies, Jeremy Gibbons: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings Springer 2007 | |
| 38 | Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla: Semantic frameworks for e-government. ICEGOV 2007: 30-39 | |
| 37 | Michael Anthony Smith, Jeremy Gibbons: Unifying Theories of Objects. IFM 2007: 599-618 | |
| 36 | Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl: Model-driven architecture for cancer research. SEFM 2007: 59-68 | |
| 35 | Peter Y. H. Wong, Jeremy Gibbons: A Process-Algebraic Approach to Workflow Specification and Refinement. Software Composition 2007: 51-65 | |
| 34 | Jeremy Gibbons: Metamorphisms: Streaming representation-changers. Sci. Comput. Program. 65(2): 108-139 (2007) | |
| 2006 | ||
| 33 | Jeremy Gibbons: Design patterns as higher-order datatype-generic programs. ICFP-WGP 2006: 1-12 | |
| 32 | Jeremy Gibbons: Fission for Program Comprehension. MPC 2006: 162-179 | |
| 31 | Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons: Fast and loose reasoning is morally correct. POPL 2006: 206-217 | |
| 30 | Jeremy Gibbons, David Lester, Richard S. Bird: Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006) | |
| 2005 | ||
| 29 | Bruno C. D. S. Oliveira, Jeremy Gibbons: TypeCase: a design pattern for type-indexed functions. Haskell 2005: 98-109 | |
| 28 | Jeremy Gibbons, Graham Hutton: Proof Methods for Corecursive Programs. Fundam. Inform. 66(4): 353-366 (2005) | |
| 2004 | ||
| 27 | Jeremy Gibbons: Streaming Representation-Changers. MPC 2004: 142-168 | |
| 26 | Clare E. Martin, Jeremy Gibbons, Ian Bayley: Disciplined, efficient, generalised folds for nested datatypes. Formal Asp. Comput. 16(1): 19-35 (2004) | |
| 2003 | ||
| 25 | Jeremy Gibbons, Johan Jeuring: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany Kluwer 2003 | |
| 24 | Roland Carl Backhouse, Jeremy Gibbons: Generic Programming - Advanced Lectures Springer 2003 | |
| 23 | Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve McKeever: On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. ICSE 2003: 628-633 | |
| 2002 | ||
| 22 | Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures Springer 2002 | |
| 21 | Richard S. Bird, Jeremy Gibbons: Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming 2002: 1-26 | |
| 20 | Jeremy Gibbons: Towards a Colimit-Based Semantics for Visual Programming. COORDINATION 2002: 166-173 | |
| 2001 | ||
| 19 | Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch: When is a function a fold or an unfold? Electr. Notes Theor. Comput. Sci. 44(1): (2001) | |
| 18 | Graham Hutton, Jeremy Gibbons: The generic approximation lemma. Inf. Process. Lett. 79(4): 197-201 (2001) | |
| 17 | Clare E. Martin, Jeremy Gibbons: On the semantics of nested datatypes. Inf. Process. Lett. 80(5): 233-238 (2001) | |
| 2000 | ||
| 16 | Oege de Moor, Jeremy Gibbons: Invited Talk: Pointwise Relational Programming. AMAST 2000: 371-390 | |
| 15 | Jeremy Gibbons: Calculating Functional Programs. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 149-202 | |
| 14 | Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu: Algebraic Methods for Optimization Problems. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 281-308 | |
| 13 | Jeremy Gibbons: Generic downwards accumulations. Sci. Comput. Program. 37(1-3): 37-65 (2000) | |
| 1999 | ||
| 12 | Jeremy Gibbons: A Pointless Derivation of Radix Sort. J. Funct. Program. 9(3): 339-346 (1999) | |
| 11 | Oege de Moor, Jeremy Gibbons: Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting. Sci. Comput. Program. 35(1): 3-27 (1999) | |
| 1998 | ||
| 10 | Jeremy Gibbons, Geraint Jones: The Under-Appreciated Unfold. ICFP 1998: 273-279 | |
| 9 | Jeremy Gibbons: Polytypic Downwards Accumulations. MPC 1998: 207-233 | |
| 8 | Jeremy Gibbons: Structured Programing in Java. SIGPLAN Notices 33(4): 40-43 (1998) | |
| 1996 | ||
| 7 | Jeremy Gibbons: Deriving Tidy Drawings of Trees. J. Funct. Program. 6(3): 535-562 (1996) | |
| 6 | Jeremy Gibbons: The Third Homomorphism Theorem. J. Funct. Program. 6(4): 657-665 (1996) | |
| 5 | Jeremy Gibbons: Computing Downwards Accumulations on Trees Quickly. Theor. Comput. Sci. 169(1): 67-80 (1996) | |
| 1995 | ||
| 4 | Jeremy Gibbons: An Initial-Algebra Approach to Directed Acyclic Graphs. MPC 1995: 282-303 | |
| 1994 | ||
| 3 | Jeremy Gibbons, Wentong Cai, David B. Skillicorn: Efficient Parallel Algorithms for Tree Accumulations. Sci. Comput. Program. 23(1): 1-18 (1994) | |
| 1992 | ||
| 2 | Jeremy Gibbons: Upwards and Downwards Accumulations on Trees. MPC 1992: 122-138 | |
| 1989 | ||
| 1 | Richard S. Bird, Jeremy Gibbons, Geraint Jones: Formal Derivation of a Pattern Matching Algorithm. Sci. Comput. Program. 12(2): 93-104 (1989) | |