Jeremy Gibbons : Publications
|
[1] |
A Functional Derivation of the Warren Abstract Machine Maciej Pirog and Jeremy Gibbons 2011. Submitted for publication |
|
[2] |
A New View of Binary Trees Jeremy Gibbons Master's Thesis , type=Transferral dissertation Transferral dissertationType. Programming Research Group‚ Oxford University. 1988. Abstract appears in the Bulletin of the EATCS‚ number 39‚ p. 214. |
|
[3] |
A Pointless Derivation of Radixsort Jeremy Gibbons In Journal of Functional Programming. Vol. 9. No. 3. Pages 339–346. 1999. |
|
[4] |
A Process Semantics for BPMN Peter Wong and Jeremy Gibbons In International Conference on Formal Engineering Methods. Kitakyushu‚ Japan. September, 2008. |
|
[5] |
A Process−Algebraic Approach to Workflow Specification and Refinement Peter Y. H. Wong and Jeremy Gibbons In Software Composition. 2007. |
|
[6] |
A Relative Timed Semantics for BPMN Peter Wong and Jeremy Gibbons In Foundations of Coordination Languages and Software Architectures (FOCLASA). Zurich. July, 2008. |
|
[7] |
Accelerating Cancer Research Using Semantics−Driven Technology James Brenton‚ Jim Davies‚ Jeremy Gibbons and Steve Harris In Microsoft eScience Workshop. Indianapolis‚ IN. December, 2008. |
|
[8] |
Against the Grain: Linear−Time Breadth−First Tree Algorithms Jeremy Gibbons and Geraint Jones 1998. Oxford Brookes University and Oxford University Computing Laboratory |
|
[9] |
Algebraic Methods for Optimization Problems Richard Bird‚ Jeremy Gibbons and Shin Cheng Mu In Roland Backhouse‚ Roy Crole and Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. Vol. 2297 of Lecture Notes in Computer Science. Pages 281–307. Springer−Verlag. 2002. |
|
[10] |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Roland Backhouse‚ Roy Crole and Jeremy Gibbons, editors Vol. 2297 of Lecture Notes in Computer Science. Springer−Verlag. 2002. |
|
[11] |
Algebras for Tree Algorithms Jeremy Gibbons PhD Thesis , type={D}.\,{Phil}.\ thesis D.Phil. thesisType. Programming Research Group‚ Oxford University. 1991. Available as Technical Monograph PRG−94. ISBN 0−902928−72−4 |
|
[12] |
An Initial−Algebra Approach to Directed Acyclic Graphs Jeremy Gibbons In Bernhard Möller, editor, Mathematics of Program Construction. Vol. 947 of Lecture Notes in Computer Science. Pages 282–303. Springer−Verlag. 1995. |
|
[13] |
An Introduction to the Bird−Meertens Formalism Jeremy Gibbons In Steve Reeves, editor, Proceedings of the First New Zealand Formal Program Development Colloquium. Pages 1–12. Hamilton. November, 1994. |
|
[14] |
An Unbounded Spigot Algorithm for the Digits of π Jeremy Gibbons In American Mathematical Monthly. Vol. 113. No. 4. Pages 318−328. 2006. |
|
[15] |
Arithmetic Coding with Folds and Unfolds Richard Bird and Jeremy Gibbons In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming 4. Vol. 2638 of Lecture Notes in Computer Science. Pages 1−26. Springer−Verlag. 2003. Code available at http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/arith.zip |
|
[16] |
Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting Oege de Moor and Jeremy Gibbons In Science of Computer Programming. Vol. 35. No. 1. 1999. |
|
[17] |
Calculating Functional Programs Jeremy Gibbons In Keiichi Nakata, editor, Proceedings of ISRG/SERG Research Colloquium. School of Computing and Mathematical Sciences‚ Oxford Brookes University. November, 1997. Technical Report CMS−TR−98−01 |
|
[18] |
Calculating Functional Programs Jeremy Gibbons In Roland Backhouse‚ Roy Crole and Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. Vol. 2297 of Lecture Notes in Computer Science. Pages 148–203. Springer−Verlag. 2002. |
|
[19] |
Combinatorics‚ Complexity and Logic: Proceedings of Discrete Mathematics and Theoretical Computer Science Douglas Bridges‚ Cris Calude‚ Jeremy Gibbons‚ Steve Reeves and Ian Witten, editors Douglas Bridges‚ Cris Calude‚ Jeremy Gibbons‚ Steve Reeves and Ian Witten, editors |
|
[20] |
Computing Downwards Accumulations on Trees Quickly Jeremy Gibbons In Gopal Gupta‚ George Mohay and Rodney Topor, editors, 16th Australian Computer Science Conference. Pages 685–691. Brisbane. February, 1993. |
|
[21] |
Computing Downwards Accumulations on Trees Quickly Jeremy Gibbons In Theoretical Computer Science. Vol. 169. No. 1. Pages 67–80. 1996. Earlier version appeared in Proceedings of the 16th Australian Computer Science Conference‚ Brisbane‚ 1993 |
|
[22] |
Conditionals in Distributive Categories Jeremy Gibbons No. CMS−TR−97−01. School of Computing and Mathematical Sciences‚ Oxford Brookes University. January, 1997. |
|
[23] |
Cross−Trial Query System for Cancer Clinical Trials Radu Calinescu‚ Steve Harris‚ Jeremy Gibbons and Jim Davies In Tarek Sobh, editor, Innovations and Advanced Techniques in Computer and Information Sciences and Engineering. Pages 385–390. Springer. 2007. |
|
[24] |
Cross−Trial Query System for Cancer Clinical Trials Radu Calinescu‚ Steve Harris‚ Jeremy Gibbons and Jim Davies In International Joint Conferences on Computer‚ Information and Systems Sciences and Engineering (CISSE). December, 2006. |
|
[25] |
Datatype−Generic Programming Jeremy Gibbons In Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors, Spring School on Datatype−Generic Programming. Vol. 4719 of Lecture Notes in Computer Science. Springer−Verlag. 2007. |
|
[26] |
Deep Zoom and Touch Screen for Tissue Microarray Image Scoring Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Andrew Tsui‚ James Brenton‚ Carlos Caldas and Lorna Morris Poster at Microsoft External Research Symposium. 2010. |
|
[27] |
Deriving Tidy Drawings of Trees Jeremy Gibbons In Journal of Functional Programming. Vol. 6. No. 3. Pages 535–562. 1996. |
|
[28] |
Design Patterns as Higher−Order Datatype−Generic Programs Jeremy Gibbons Pages 36. 2010. Submitted for publication; revised version of the WGP2006 paper |
|
[29] |
Design Patterns as Higher−Order Datatype−Generic Programs Jeremy Gibbons In European Conference on Object−Oriented Programming. Glasgow. July, 2005. Later version appears as Gibbons2005:DesignOOPSLA |
|
[30] |
Design Patterns as Higher−Order Datatype−Generic Programs Jeremy Gibbons In Object−Oriented Programming: Systems‚ Languages‚ Applications. San Diego. October, 2005. A revision of Gibbons2005:DesignECOOP |
|
[31] |
Design Patterns as Higher−Order Datatype−Generic Programs Jeremy Gibbons In Ralf Hinze, editor, Workshop on Generic Programming. September, 2006. |
|
[32] |
Disciplined‚ efficient‚ generalised folds for nested datatypes Clare Martin‚ Jeremy Gibbons and Ian Bayley In Formal Aspects of Computing. Vol. 16. No. 1. Pages 19−35. 2004. |
|
[33] |
Dotted and Dashed Lines in Metafont Jeremy Gibbons In Robin Fairbairns, editor, Proceedings of the 1995 Annual Meeting. Users' Group. 1995. |
|
[34] |
Effective Reasoning about Effectful Traversals Jeremy Gibbons and Richard Bird March, 2011. Submitted for publication |
|
[35] |
Efficient Parallel Algorithms for Tree Accumulations Jeremy Gibbons‚ Wentong Cai and David Skillicorn In Science of Computer Programming. Vol. 23. Pages 1–18. 1994. |
|
[36] |
Enumerating the Rationals Jeremy Gibbons‚ David Lester and Richard Bird In Journal of Functional Programming. Vol. 16. No. 4. 2006. |
|
[37] |
Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Denise Warzel In Microsoft eScience Workshop. Indianapolis‚ IN. 2008. |
|
[38] |
Fast and Loose Reasoning is Morally Correct Nils Anders Danielsson‚ Jeremy Gibbons‚ John Hughes and Patrik Jansson In Principles of Programming Languages. Pages 206−217. January, 2006. |
|
[39] |
Fission for Program Comprehension Jeremy Gibbons In Tarmo Uustalu, editor, Mathematics of Program Construction. Vol. 4014 of Lecture Notes in Computer Science. Pages 162−179. Springer−Verlag. 2006. |
|
[40] |
Form Follows Function: Model−Driven Engineering for Clinical Trials Jim Davies‚ Jeremy Gibbons‚ Radu Calinescu‚ Charles Crichton‚ Steve Harris and Andrew Tsui In International Symposium on Foundations of Health Information Engineering and Systems. August, 2011. |
|
[41] |
Formal Derivation of a Pattern Matching Algorithm Richard S. Bird‚ Jeremy Gibbons and Geraint Jones In Science of Computer Programming. Vol. 12. No. 2. Pages 93–104. July, 1989. |
|
[42] |
Formal Methods for Electronic Government Jim Davies and Jeremy Gibbons In Workshop on Formal Methods Education and Training at ICFEM. Kitakyushu‚ Japan. October, 2008. |
|
[43] |
Formal Methods for Future Interoperability Jim Davies and Jeremy Gibbons In ACM Inroads. Vol. 41. No. 2. Pages 60−64. June, 2009. A revised version of "Formal Methods for Electronic Government" (FMET‚ 2008) |
|
[44] |
Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit Jeremy Gibbons In John Hosking, editor, Proceedings of the 13th New Zealand Computer Society Conference. Pages 207–217. 1993. |
|
[45] |
Formalisations and Applications of BPMN Peter Y.H. Wong and Jeremy Gibbons In Science of Computer Programming. Vol. 76. Pages 633−650. 2011. Special issue on FOCLASA 2008 |
|
[46] |
Functional Pearls (editorial) Jeremy Gibbons In Journal of Functional Programming. 2009. |
|
[47] |
Generic Downwards Accumulations Jeremy Gibbons In Science of Computer Programming. Vol. 37. Pages 37–65. 2000. |
|
[48] |
Generic Programming Jeremy Gibbons and Johan Jeuring, editors Jeremy Gibbons and Johan Jeuring, editors Proceedings of the IFIP TC2 Working Conference on Generic Programming‚ Schloß Dagstuhl‚ July 2002. ISBN 1−4020−7374−7. |
|
[49] |
Generic and Indexed Programming Jeremy Gibbons‚ Meng Wang and Bruno Cesar dos Santos Oliveira In Marco Morazan, editor, Trends in Functional Programming. 2007. |
|
[50] |
Gradual Refinement: Blending Pattern Matching with Data Abstraction Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu In Jules Desharnais, editor, Mathematics of Program Construction. Vol. 6120 of LNCS. 2010. See revised journal version "Refactoring Pattern Matching" Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-13321-3_22) |
|
[51] |
How to Derive Tidy Drawings of Trees Jeremy Gibbons In C. Calude‚ M. J. J. Lennon and H. Maurer, editors, Proceedings of Salodays in Auckland. Pages 53–73. Department of Computer Science‚ University of Auckland. 1994. Also in Proceedings of First New Zealand Formal Program Development Colloquium‚ 105–126p‥ |
|
[52] |
Incremental Updates for Efficient Bidirectional Transformations Meng Wang‚ Jeremy Gibbons and Nicolas Wu In ICFP. September, 2011. |
|
[53] |
Integrated Formal Methods Jim Davies and Jeremy Gibbons, editors Jim Davies and Jeremy Gibbons, editors |
|
[54] |
Interoperability Frameworks for Electronic Governance Alejandra Cechich‚ Lorenzo Madrid‚ Jeremy Gibbons and Jay Kesan In Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance. Pages 490–491. Cairo‚ Egypt. 2008. ACM. |
|
[55] |
Just do it: Simple monadic equational reasoning Jeremy Gibbons and Ralf Hinze In ICFP. September, 2011. |
|
[56] |
Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs Jeremy Gibbons March, 1999. Estonian Winter School on Computer Science |
|
[57] |
Lenses‚ coalgebraically: View updates through the looking glass Jeremy Gibbons and Mike Johnson December, 2011. |
|
[58] |
Linear−time Breadth−first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips Geraint Jones and Jeremy Gibbons No. 7No.1. Dept of Computer Science‚ University of Auckland. May, 1993. Also IFIP Working Group 2.1 working paper 705 WIN−2 |
|
[59] |
Maximum Segment Sum‚ Monadically (distilled tutorial) Jeremy Gibbons In Olivier Danvy and Chung−chieh Shan, editors, IFIP TC2 Working Conference on Domain−Specific Languages. Bordeaux. September, 2011. |
|
[60] |
Metadata Standards for Semantic Interoperability in Electronic Government Jim Davies‚ Steve Harris‚ Charles Crichton‚ Aadya Shukla and Jeremy Gibbons In International Conference on Theory and Practice of Electronic Governance. Cairo. December, 2008. Received a Best Paper Award |
|
[61] |
Metadata−Driven Software for Clinical Trials Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Andrew Tsui and James Brenton May, 2009. |
|
[62] |
Metamodel−Based Generation of WSRF−Compliant SOA for Collaborative Cancer Research Tianyi Zang‚ Radu Calinescu‚ Steve Harris‚ Andrew Tsui‚ Charles Crichton‚ Marta Kwiatkowska‚ Jeremy Gibbons‚ Jim Davies and Carlos Caldas In IEEE eScience Conference. 2008. |
|
[63] |
Metamorphisms: Streaming Representation−Changers Jeremy Gibbons In Science of Computer Programming. Vol. 65. No. 2. Pages 108−139. 2007. |
|
[64] |
Model−Driven Architecture for Cancer Research Radu Calinescu‚ Steve Harris‚ Jeremy Gibbons‚ Jim Davies‚ Igor Toujilov and Sylvia Nagl In Software Engineering and Formal Methods. Pages 59−68. September, 2007. |
|
[65] |
Model−Driven Support for a Vaccine Study in Kathmandu Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Jane Metz‚ Andrew J. Pollard and Matthew Snape In Microsoft eScience Workshop. October, 2009. |
|
[66] |
Modularising inductive families Hsiang−Shang Ko and Jeremy Gibbons In Jaakko Järvi and Shin−Cheng Mu, editors, Workshop on Generic Programming. Pages 13−24. September, 2011. |
|
[67] |
More on Merging and Selection Jeremy Gibbons No. CMS−TR−97−08. School of Computing and Mathematical Sciences‚ Oxford Brookes University. October, 1997. |
|
[68] |
On Specifying and Visualising Long−Running Empirical Studies Peter Y. H. Wong and Jeremy Gibbons In International Conference on Model Transformations (ICMT). 2008. |
|
[69] |
On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects Andrew Simpson‚ Andrew Martin‚ Jeremy Gibbons‚ Jim Davies and Steve McKeever In International Conference on Software Engineering. Pages 628−633. 2003. |
|
[70] |
On the Semantics of Nested Datatypes Clare Martin and Jeremy Gibbons In Information Processing Letters. Vol. 80. No. 5. Pages 233–238. December, 2001. |
|
[71] |
Origami Programming Jeremy Gibbons In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming. Pages 41−60. Palgrave. 2003. |
|
[72] |
Parametric Datatype−Genericity Jeremy Gibbons and Ross Paterson In Workshop on Generic Programming. Edinburgh. August, 2009. |
|
[73] |
Patterns in Datatype−Generic Programming Jeremy Gibbons In Jörg Striegnitz and Kei Davis, editors, Multiparadigm Programming. Vol. 27. Pages 277−289. John von Neumann Institute for Computing (NIC). 2003. First International Workshop on Declarative Programming in the Context of Object−Oriented Languages (DPCOOL) |
|
[74] |
Pointwise Relational Programming Oege de Moor and Jeremy Gibbons In Algebraic Methodology and Software Technology. Vol. 1816 of Lecture Notes in Computer Science. Pages 371–390. May, 2000. |
|
[75] |
Polytypic Downwards Accumulations Jeremy Gibbons In Johan Jeuring, editor, Proceedings of Mathematics of Program Construction. Vol. 1422 of Lecture Notes in Computer Science. Pages 207−233. Marstrand‚ Sweden. June, 1998. Springer−Verlag. |
|
[76] |
Program Optimisation‚ Naturally Richard Bird‚ Jeremy Gibbons and Geraint Jones In J. W. Davies‚ A. W. Roscoe and J. C. P. Woodcock, editors, Millenial Perspectives in Computer Science. Palgrave. 2000. |
|
[77] |
Proof Methods for Corecursive Programs Jeremy Gibbons and Graham Hutton In Fundamenta Informaticae. Vol. 66. No. 4. Pages 353−366. , 2005. |
|
[78] |
Proof Methods for Structured Corecursive Programs Jeremy Gibbons and Graham Hutton In Proceedings of 1st Scottish Workshop on Functional Programming. 1999. |
|
[79] |
Property Specifications for Workflow Modelling Peter Y.H. Wong and Jeremy Gibbons In Science of Computer Programming. 2010. Extended version. To appear. |
|
[80] |
Property Specifications for Workflow Modelling Peter Y.H. Wong and Jeremy Gibbons In Proceedings of 7th International Conference on Integrated Formal Methods. Vol. 5423 of LNCS. February, 2009. Invited for special issue in Science of Computer Programming. Technical report version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf |
|
[81] |
Refactoring Pattern Matching Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu In Science of Computer Programming. January, 2011. Revised version of the MPC2010 paper "Gradual Refinement" |
|
[82] |
Report on Fourth Workshop on Commercial Users of Functional Programming Jeremy Gibbons December, 2007. |
|
[83] |
Scala for Generic Programmers Bruno C. d. S. Oliveira and Jeremy Gibbons In Journal of Functional Programming. Vol. 20. No. 3‚4. Pages 303−352. 2010. Revised version of the WGP2008 paper |
|
[84] |
Scala for Generic Programmers Bruno Oliveira and Jeremy Gibbons In Ralf Hinze, editor, Workshop on Generic Programming. Victoria‚ BC. September, 2008. |
|
[85] |
Semantic Frameworks for e−Government Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Aadya Shukla In Theresa Pardo and Tomasz Janowski, editors, First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007. Pages 30–39. ACM. December, 2007. |
|
[86] |
Semantic Frameworks: Meanings in the Architecture Jim Davies and Jeremy Gibbons In Distributed Computing and Internet Technology. Vol. 5966 of LNCS. Pages 40−54. 2010. |
|
[87] |
Semantic Technologies in Electronic Government Steve Harris‚ Jeremy Gibbons‚ Jim Davies‚ Andrew Tsui and Charles Crichton In Tomasz Janowski and Teresa Pardo, editors, ICEGOV 2008. Pages 45 – 51. Cairo. December, 2008. ACM Press. |
|
[88] |
Semantics−Driven Development for Electronic Government Applications Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Aadya Shukla and Andrew Tsui In HICSS (Electronic Government Track). Hawaii. January, 2009. |
|
[89] |
Spring School on Datatype−Generic Programming Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors |
|
[90] |
Streaming Representation−Changers Jeremy Gibbons In Dexter Kozen, editor, Mathematics of Program Construction. Vol. 3125 of Lecture Notes in Computer Science. Pages 142−168. July, 2004. |
|
[91] |
Structured Programming in Java Jeremy Gibbons In SIGPLAN Notices. Vol. 33. No. 4. Pages 40–43. April, 1998. Also in Fintan Culwin‚ editor‚ Proceedings of the Second Conference on Java in the Computing Curriculum‚ South Bank University‚ London |
|
[92] |
Summer School on Generic Programming Roland Backhouse and Jeremy Gibbons, editors Vol. 2793 of Lecture Notes in Computer Science. Springer−Verlag. 2003. |
|
[93] |
Teaching Formal Methods
|
|
[94] |
The Essence of the Iterator Pattern Jeremy Gibbons and Bruno César dos Santos Oliveira In Conor McBride and Tarmo Uustalu, editors, Mathematically−Structured Functional Programming. 2006. Superseded by Gibbons&Oliveira2008:Essence |
|
[95] |
The Essence of the Iterator Pattern Jeremy Gibbons and Bruno César dos Santos Oliveira In Journal of Functional Programming. Vol. 19. No. 3&4. Pages 377−402. 2009. Revised version of Gibbons&Oliveira2006:Essence |
|
[96] |
The Fun of Programming Jeremy Gibbons and Oege de Moor, editors Palgrave. 2003. Hardback ISBN: 1−4039−0772−2 |
|
[97] |
The Generic Approximation Lemma Graham Hutton and Jeremy Gibbons In Information Processing Letters. Vol. 79. No. 4. Pages 197–201. August, 2001. |
|
[98] |
The Third Homomorphism Theorem Jeremy Gibbons In Journal of Functional Programming. Vol. 6. No. 4. Pages 657–665. 1996. Earlier version appeared in B. Jay‚C. editor‚ Computing: The Australian Theory Seminar‚ Sydney‚ December 1994‚ 62–6p.9 |
|
[99] |
The Under−Appreciated Unfold Jeremy Gibbons and Geraint Jones In International Conference on Functional Programming. Pages 273–279. Baltimore‚ Maryland. September, 1998. |
|
[100] |
The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component Bruno C. d. S. Oliveira‚ Meng Wang and Jeremy Gibbons In Object−Oriented Programming: Systems‚ Languages‚ Applications (OOPSLA). 2008. |
|
[101] |
Towards a Colimit−Based Semantics for Visual Programming Jeremy Gibbons In Coordination Models and Languages. Vol. 2315 of Lecture Notes in Computer Science. Pages 166–173. April, 2002. |
|
[102] |
Tracing Lazy Functional Languages Jeremy Gibbons and Keith Wansbrough In Michael E. Houle and Peter Eades, editors, Computing: The Australasian Theory Seminar. Pages 11–20. Melbourne. January, 1996. |
|
[103] |
Tracing monadic computations and representing effects Maciej Pirog and Jeremy Gibbons In James Chapman and Paul Blain Levy, editors, Proceedings Fourth Workshop on Mathematically Structured Functional Programming‚ Tallinn‚ Estonia‚ 25 March 2012. Vol. 76 of Electronic Proceedings in Theoretical Computer Science. Pages 90−111. Open Publishing Association. 2012. |
|
[104] |
Translucent Abstraction: Safe Views through Invertible Programming (Extended version) Meng Wang‚ Jeremy Gibbons and Kazutaka Matsuda 2009. |
|
[105] |
TypeCase: A Design Pattern for Type−Indexed Functions Bruno César dos Santos Oliveira and Jeremy Gibbons In Daan Leijen, editor, Haskell Workshop. Pages 98−109. 2005. |
|
[106] |
Unfolding Abstract Datatypes Jeremy Gibbons In Mathematics of Program Construction. July, 2008. |
|
[107] |
Unifying Theories of Locations Michael Anthony Smith and Jeremy Gibbons In Andrew Butterfield, editor, Unifying Theories of Programming. Dublin. September, 2008. |
|
[108] |
Unifying Theories of Objects Michael Anthony Smith and Jeremy Gibbons In Jim Davies and Jeremy Gibbons, editors, Integrated Formal Methods. Vol. 4591 of Lecture Notes in Computer Science. Pages 599−618. Springer−Verlag. 2007. |
|
[109] |
Upwards and Downwards Accumulations on Trees Jeremy Gibbons In R. S. Bird‚ C. C. Morgan and J. C. P. Woodcock, editors, Mathematics of Program Construction. Vol. 669 of Lecture Notes in Computer Science. Pages 122–138. Springer−Verlag. 1993. A revised version appears in the Proceedings of the Massey Functional Programming Workshop‚ 1992 |
|
[110] |
Verifying Business Process Compatibility Peter Wong and Jeremy Gibbons In 8th International Conference on Quality Software (QSIC). 2008. Earlier versions of this paper were presented at the 2nd European Young Researchers Workshop on Service Oriented Computing‚ Leicester‚ United Kingdom‚ June 2007‚ and 3rd International Workshop on Methods and Tools for Coordinating Concurrent‚ Distributed and Mobile Systems (MTCoord'07)‚ Paphos‚ Cyprus‚ June 2007 |
|
[111] |
WSRF−Based Modeling of Clinical Trial Information for Collaborative Cancer Research Tianyi Zang‚ Radu Calinescu‚ Steve Harris‚ Andrew Tsui‚ Marta Kwiatkowska‚ Jeremy Gibbons‚ Jim Davies‚ Peter Maccallum and Carlos Caldas In 8th IEEE International Symposium on Cluster Computing (CCGrid). 2008. |
|
[112] |
When is a Function a Fold or an Unfold? Jeremy Gibbons‚ Graham Hutton and Thorsten Altenkirch In Electronic Notes in Theoretical Computer Science. Vol. 44. No. 1. April, 2001. Proceedings of Coalgebraic Methods in Computer Science |
|
[113] |
A Process Semantics for BPMN Peter Y.H. Wong and Jeremy Gibbons In Proceedings of 10th International Conference on Formal Engineering Methods.. Vol. 5256 of LNCS. October, 2008. Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf. |
|
[114] |
A Process−Algebraic Approach to Workflow Specification and Refinement Peter Y. H. Wong and Jeremy Gibbons In Proceedings of 6th International Symposium on Software Composition. Vol. 4829 of LNCS. March, 2007. |
|
[115] |
A Relative Timed Semantics for BPMN Peter Y.H. Wong and Jeremy Gibbons In Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures.. Vol. 229 of ENTCS. July, 2008. Invited for special issue in Science of Computer Programming. A shorter version of this paper was presented at the 3rd European Young Researchers Workshop on Service Oriented Computing‚ London‚ United Kingdom‚ June 2008. Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf. |
|
[116] |
On Specifying and Visualising Long−Running Empirical Studies. Peter Y.H. Wong and Jeremy Gibbons In Proceedings of 1st International Conference on Model Transformation (Theory and Practice of Model Transformations). Vol. 5063 of LNCS. July, 2008. Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf. |
|
[117] |
Verifying Business Process Compatibility Peter Y.H. Wong and Jeremy Gibbons In Proceedings of 8th International Conference on Quality Software.. Pages 126−131. IEEE Computer Society. August, 2008. Preliminary versions were presented at 3rd International Workshop on Methods and Tools for Coordinating Concurrent‚ Distributed and Mobile Systems and 2nd European Young Researchers Workshop on Service Oriented Computing‚ June 2007 |