 | 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) |
