Jeremy Gibbons - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

Semantics-Driven Development for Electronic Government ApplicationsCharles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui. hicss 2009: 1-10 [doi]
Property Specifications for Workflow ModellingPeter Y. H. Wong, Jeremy Gibbons. IFM 2009: 56-71 [doi]

2008

Interoperability frameworks for electronic governanceAlejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan. icegov 2008: 490-491 [doi]
Metadata standards for semantic interoperability in electronic governmentJim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons. icegov 2008: 67-75 [doi]
Unfolding Abstract DatatypesJeremy Gibbons. mpc 2008: 110-133 [doi]
Semantic technologies in electronic governmentSteve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton. icegov 2008: 45-51 [doi]
Scala for generic programmersBruno C. d. S. Oliveira, Jeremy Gibbons. ICFP 2008: 25-36 [doi]
The visitor pattern as a reusable, generic, type-safe componentBruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons. OOPSLA 2008: 439-456 [doi]
On Specifying and Visualising Long-Running Empirical StudiesPeter Y. H. Wong, Jeremy Gibbons. ICMT 2008: 76-90 [doi]
A Process Semantics for BPMNPeter Y. H. Wong, Jeremy Gibbons. icfem 2008: 355-374 [doi]
Verifying Business Process Compatibility (Short Paper)Peter Y. H. Wong, Jeremy Gibbons. qsic 2008: 126-131 [doi]
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer ResearchTianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos H. Caldas. ccgrid 2008: 73-81 [doi]

2007

Model-driven architecture for cancer researchRadu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl. sefm 2007: 59-68 [doi]
Semantic frameworks for e-governmentCharles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla. icegov 2007: 30-39 [doi]
Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, ProceedingsJim Davies, Jeremy Gibbons, editors, Volume 4591 of Lecture Notes in Computer Science, Springer, 2007.
Metamorphisms: Streaming representation-changersJeremy Gibbons. SCP, 65(2):108-139, 2007. [doi]
Unifying Theories of ObjectsMichael Anthony Smith, Jeremy Gibbons. IFM 2007: 599-618 [doi]
A Process-Algebraic Approach to Workflow Specification and RefinementPeter Y. H. Wong, Jeremy Gibbons. SC 2007: 51-65 [doi]

2006

2005

Proof Methods for Corecursive ProgramsJeremy Gibbons, Graham Hutton. FUIN, 66(4):353-366, 2005. [doi]
TypeCase: a design pattern for type-indexed functionsBruno C. d. S. Oliveira, Jeremy Gibbons. haskell 2005: 98-109 [doi]

2004

Streaming Representation-ChangersJeremy Gibbons. mpc 2004: 142-168 [doi]
Disciplined, efficient, generalised folds for nested datatypesClare E. Martin, Jeremy Gibbons, Ian Bayley. fac, 16(1):19-35, 2004. [doi]

2003

Generic Programming - Advanced LecturesRoland Carl Backhouse, Jeremy Gibbons, editors, Volume 2793 of Lecture Notes in Computer Science, Springer, 2003.
Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, GermanyJeremy Gibbons, Johan Jeuring, editors, Volume 243 of IFIP Conference Proceedings, Kluwer, 2003.
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering ProjectsAndrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve McKeever. ICSE 2003: 628-633 [doi]

2002

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised LecturesRoland Carl Backhouse, Roy L. Crole, Jeremy Gibbons, editors, Volume 2297 of Lecture Notes in Computer Science, Springer, 2002.
Arithmetic Coding with Folds and UnfoldsRichard S. Bird, Jeremy Gibbons. afp 2003: 1-26 [doi]
Towards a Colimit-Based Semantics for Visual ProgrammingJeremy Gibbons. coordination 2002: 166-173 [doi]

2001

When is a function a fold or an unfold?Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch. ENTCS, 44(1), 2001. [doi]
The generic approximation lemmaGraham Hutton, Jeremy Gibbons. ipl, 79(4):197-201, 2001. [doi]
On the semantics of nested datatypesClare E. Martin, Jeremy Gibbons. ipl, 80(5):233-238, 2001. [doi]

2000

Algebraic Methods for Optimization ProblemsRichard S. Bird, Jeremy Gibbons, Shin-Cheng Mu. acmmpc 2002: 281-308 [doi]
Invited Talk: Pointwise Relational ProgrammingOege de Moor, Jeremy Gibbons. amast 2000: 371-390 [doi]
Calculating Functional ProgramsJeremy Gibbons. acmmpc 2002: 149-202 [doi]
Generic downwards accumulationsJeremy Gibbons. SCP, 37(1-3):37-65, 2000.

1999

Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph FormattingOege de Moor, Jeremy Gibbons. SCP, 35(1):3-27, 1999.
A Pointless Derivation of Radix SortJeremy Gibbons. JFP, 9(3):339-346, 1999.

1998

Polytypic Downwards AccumulationsJeremy Gibbons. mpc 1998: 207-233 [doi]
The Under-Appreciated UnfoldJeremy Gibbons, Geraint Jones. ICFP 1998: 273-279 [doi]
Structured Programing in JavaJeremy Gibbons. SIGPLAN, 33(4):40-43, 1998.

1996

The Third Homomorphism TheoremJeremy Gibbons. JFP, 6(4):657-665, 1996.
Deriving Tidy Drawings of TreesJeremy Gibbons. JFP, 6(3):535-562, 1996.
Computing Downwards Accumulations on Trees QuicklyJeremy Gibbons. TCS, 169(1):67-80, 1996. [doi]

1995

An Initial-Algebra Approach to Directed Acyclic GraphsJeremy Gibbons. mpc 1995: 282-303

1994

Efficient Parallel Algorithms for Tree AccumulationsJeremy Gibbons, Wentong Cai, David B. Skillicorn. SCP, 23(1):1-18, 1994.

1992

Upwards and Downwards Accumulations on TreesJeremy Gibbons. mpc 1993: 122-138

1989

Formal Derivation of a Pattern Matching AlgorithmRichard S. Bird, Jeremy Gibbons, Geraint Jones. SCP, 12(2):93-104, 1989.