dblp.uni-trier.dewww.uni-trier.de

Jeremy Gibbons

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
51EECharles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui: Semantics-Driven Development for Electronic Government Applications. HICSS 2009: 1-10
50EEPeter Y. H. Wong, Jeremy Gibbons: Property Specifications for Workflow Modelling. IFM 2009: 56-71
2008
49EETianyi 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
48EESteve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton: Semantic technologies in electronic government. ICEGOV 2008: 45-51
47EEAlejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay Kesan: Interoperability frameworks for electronic governance. ICEGOV 2008: 490-491
46EEJim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons: Metadata standards for semantic interoperability in electronic government. ICEGOV 2008: 67-75
45EEPeter Y. H. Wong, Jeremy Gibbons: A Process Semantics for BPMN. ICFEM 2008: 355-374
44EEBruno C. D. S. Oliveira, Jeremy Gibbons: Scala for generic programmers. ICFP-WGP 2008: 25-36
43EEPeter Y. H. Wong, Jeremy Gibbons: On Specifying and Visualising Long-Running Empirical Studies. ICMT 2008: 76-90
42EEJeremy Gibbons: Unfolding Abstract Datatypes. MPC 2008: 110-133
41EEBruno C. D. S. Oliveira, Meng Wang, Jeremy Gibbons: The visitor pattern as a reusable, generic, type-safe component. OOPSLA 2008: 439-456
40EEPeter 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
38EECharles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla: Semantic frameworks for e-government. ICEGOV 2007: 30-39
37EEMichael Anthony Smith, Jeremy Gibbons: Unifying Theories of Objects. IFM 2007: 599-618
36EERadu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl: Model-driven architecture for cancer research. SEFM 2007: 59-68
35EEPeter Y. H. Wong, Jeremy Gibbons: A Process-Algebraic Approach to Workflow Specification and Refinement. Software Composition 2007: 51-65
34EEJeremy Gibbons: Metamorphisms: Streaming representation-changers. Sci. Comput. Program. 65(2): 108-139 (2007)
2006
33EEJeremy Gibbons: Design patterns as higher-order datatype-generic programs. ICFP-WGP 2006: 1-12
32EEJeremy Gibbons: Fission for Program Comprehension. MPC 2006: 162-179
31EENils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons: Fast and loose reasoning is morally correct. POPL 2006: 206-217
30EEJeremy Gibbons, David Lester, Richard S. Bird: Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006)
2005
29EEBruno C. D. S. Oliveira, Jeremy Gibbons: TypeCase: a design pattern for type-indexed functions. Haskell 2005: 98-109
28EEJeremy Gibbons, Graham Hutton: Proof Methods for Corecursive Programs. Fundam. Inform. 66(4): 353-366 (2005)
2004
27EEJeremy Gibbons: Streaming Representation-Changers. MPC 2004: 142-168
26EEClare 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
23EEAndrew 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
21EERichard S. Bird, Jeremy Gibbons: Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming 2002: 1-26
20EEJeremy Gibbons: Towards a Colimit-Based Semantics for Visual Programming. COORDINATION 2002: 166-173
2001
19EEJeremy Gibbons, Graham Hutton, Thorsten Altenkirch: When is a function a fold or an unfold? Electr. Notes Theor. Comput. Sci. 44(1): (2001)
18EEGraham Hutton, Jeremy Gibbons: The generic approximation lemma. Inf. Process. Lett. 79(4): 197-201 (2001)
17EEClare E. Martin, Jeremy Gibbons: On the semantics of nested datatypes. Inf. Process. Lett. 80(5): 233-238 (2001)
2000
16EEOege de Moor, Jeremy Gibbons: Invited Talk: Pointwise Relational Programming. AMAST 2000: 371-390
15EEJeremy Gibbons: Calculating Functional Programs. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 149-202
14EERichard 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
10EEJeremy Gibbons, Geraint Jones: The Under-Appreciated Unfold. ICFP 1998: 273-279
9EEJeremy 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)
5EEJeremy 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)

Coauthor Index

1Thorsten Altenkirch [19]
2Roland Carl Backhouse [22] [24]
3Ian Bayley [26]
4Richard S. Bird [1] [14] [21] [30]
5Wentong Cai [3]
6Carlos H. Caldas [49]
7Radu Calinescu [36] [49]
8Alejandra Cechich [47]
9Charles Crichton [38] [46] [48] [51]
10Roy L. Crole [22]
11Nils Anders Danielsson [31]
12Jim Davies [23] [36] [38] [39] [46] [48] [49] [51]
13Steve Harris [36] [38] [46] [48] [49] [51]
14John Hughes [31]
15Graham Hutton [18] [19] [28]
16Patrik Jansson [31]
17Johan Jeuring [25]
18Geraint Jones [1] [10]
19Jay Kesan [47]
20Marta Z. Kwiatkowska [49]
21David Lester [30]
22Peter Maccallum [49]
23Lorenzo Madrid [47]
24Andrew Martin [23]
25Clare E. Martin [17] [26]
26Steve McKeever [23]
27Oege de Moor [11] [16]
28Shin-Cheng Mu [14]
29Sylvia B. Nagl [36]
30Bruno C. D. S. Oliveira [29] [41] [44]
31Aadya Shukla [38] [46] [51]
32Andrew C. Simpson (Andrew Simpson) [23]
33David B. Skillicorn [3]
34Michael Anthony Smith [37]
35Igor Toujilov [36]
36Andrew Tsui [48] [49] [51]
37Meng Wang [41]
38Peter Y. H. Wong [35] [40] [43] [45] [50]
39Tianyi Zang [49]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)