Jeremy Gibbons

	2012
68		Maciej Piróg, Jeremy Gibbons: Tracing monadic computations and representing effects MSFP 2012: 90-111
	2011
67		Jeremy Gibbons: Maximum Segment Sum, Monadically (distilled tutorial) DSL 2011: 181-194
66		Jeremy Gibbons, Ralf Hinze: Just do it: simple monadic equational reasoning. ICFP 2011: 2-14
65		Meng Wang, Jeremy Gibbons, Nicolas Wu: Incremental updates for efficient bidirectional transformations. ICFP 2011: 392-403
64		Peter Y. H. Wong, Jeremy Gibbons: Property specifications for workflow modelling. Sci. Comput. Program. 76(10): 942-967 (2011)
63		Peter Y. H. Wong, Jeremy Gibbons: Formalisations and applications of BPMN. Sci. Comput. Program. 76(8): 633-650 (2011)
	2010
62		Jeremy Gibbons: Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010 ACM 2010
61		Jim Davies, Jeremy Gibbons: Semantic Frameworks - Meanings in the Architecture. ICDCIT 2010: 40-54
60		Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu: Gradual Refinement. MPC 2010: 397-425
59		Jeremy Gibbons: Editorial. J. Funct. Program. 20(1): 1 (2010)
58		Bruno C. d. S. Oliveira, Jeremy Gibbons: Scala for generic programmers. J. Funct. Program. 20(3-4): 303-352 (2010)
	2009
57		Jeremy Gibbons, José Nuno Oliveira: Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings Springer 2009
56		Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui: Semantics-Driven Development for Electronic Government Applications. HICSS 2009: 1-10
55		Peter Y. H. Wong, Jeremy Gibbons: Property Specifications for Workflow Modelling. IFM 2009: 56-71
54		Peter Y. H. Wong, Jeremy Gibbons: A Relative Timed Semantics for BPMN. Electr. Notes Theor. Comput. Sci. 229(2): 59-75 (2009)
53		Jeremy Gibbons, Bruno C. d. S. Oliveira: The essence of the Iterator pattern. J. Funct. Program. 19(3-4): 377-402 (2009)
52		Jim Davies, Jeremy Gibbons: Formal methods for future interoperability. SIGCSE Bulletin 41(2): 60-64 (2009)
	2008
51		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
50		Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton: Semantic technologies in electronic government. ICEGOV 2008: 45-51
49		Alejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan: Interoperability frameworks for electronic governance. ICEGOV 2008: 490-491
48		Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons: Metadata standards for semantic interoperability in electronic government. ICEGOV 2008: 67-75
47		Peter Y. H. Wong, Jeremy Gibbons: A Process Semantics for BPMN. ICFEM 2008: 355-374
46		Bruno C. d. S. Oliveira, Jeremy Gibbons: Scala for generic programmers. ICFP-WGP 2008: 25-36
45		Peter Y. H. Wong, Jeremy Gibbons: On Specifying and Visualising Long-Running Empirical Studies. ICMT 2008: 76-90
44		Jeremy Gibbons: Unfolding Abstract Datatypes. MPC 2008: 110-133
43		Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons: The visitor pattern as a reusable, generic, type-safe component. OOPSLA 2008: 439-456
42		Peter Y. H. Wong, Jeremy Gibbons: Verifying Business Process Compatibility (Short Paper). QSIC 2008: 126-131
41		Michael Anthony Smith, Jeremy Gibbons: Unifying Theories of Locations. UTP 2008: 161-180
40		Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, James D. Brenton, Carlos H. Caldas: Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. eScience 2008: 406-407
	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 R. 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): 146-160 (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)

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page