The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jeremy Gibbons: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
    Algebraic Methods for Optimization Problems. [Citation Graph (0, 0)][DBLP]
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000, pp:281-308 [Conf]
  2. Jeremy Gibbons
    Calculating Functional Programs. [Citation Graph (0, 0)][DBLP]
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000, pp:149-202 [Conf]
  3. Richard S. Bird, Jeremy Gibbons
    Arithmetic Coding with Folds and Unfolds. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 2002, pp:1-26 [Conf]
  4. Oege de Moor, Jeremy Gibbons
    Invited Talk: Pointwise Relational Programming. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:371-390 [Conf]
  5. Jeremy Gibbons
    Towards a Colimit-Based Semantics for Visual Programming. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:166-173 [Conf]
  6. Jeremy Gibbons, Geraint Jones
    The Under-Appreciated Unfold. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:273-279 [Conf]
  7. Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve McKeever
    On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:628-633 [Conf]
  8. Jeremy Gibbons
    Streaming Representation-Changers. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:142-168 [Conf]
  9. Jeremy Gibbons
    Fission for Program Comprehension. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:162-179 [Conf]
  10. Jeremy Gibbons
    Upwards and Downwards Accumulations on Trees. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:122-138 [Conf]
  11. Jeremy Gibbons
    An Initial-Algebra Approach to Directed Acyclic Graphs. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:282-303 [Conf]
  12. Jeremy Gibbons
    Polytypic Downwards Accumulations. [Citation Graph (0, 0)][DBLP]
    MPC, 1998, pp:207-233 [Conf]
  13. Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
    Fast and loose reasoning is morally correct. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:206-217 [Conf]
  14. Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch
    When is a function a fold or an unfold? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  15. Clare E. Martin, Jeremy Gibbons, Ian Bayley
    Disciplined, efficient, generalised folds for nested datatypes. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:1, pp:19-35 [Journal]
  16. Jeremy Gibbons, Graham Hutton
    Proof Methods for Corecursive Programs. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:66, n:4, pp:353-366 [Journal]
  17. Graham Hutton, Jeremy Gibbons
    The generic approximation lemma. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:79, n:4, pp:197-201 [Journal]
  18. Clare E. Martin, Jeremy Gibbons
    On the semantics of nested datatypes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:5, pp:233-238 [Journal]
  19. Jeremy Gibbons
    Deriving Tidy Drawings of Trees. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:3, pp:535-562 [Journal]
  20. Jeremy Gibbons
    The Third Homomorphism Theorem. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:4, pp:657-665 [Journal]
  21. Jeremy Gibbons
    A Pointless Derivation of Radix Sort. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:3, pp:339-346 [Journal]
  22. Jeremy Gibbons, David Lester, Richard S. Bird
    Functional Pearl: Enumerating the rationals. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:3, pp:281-291 [Journal]
  23. Richard S. Bird, Jeremy Gibbons, Geraint Jones
    Formal Derivation of a Pattern Matching Algorithm. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1989, v:12, n:2, pp:93-104 [Journal]
  24. Jeremy Gibbons
    Generic downwards accumulations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:37-65 [Journal]
  25. Jeremy Gibbons, Wentong Cai, David B. Skillicorn
    Efficient Parallel Algorithms for Tree Accumulations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:23, n:1, pp:1-18 [Journal]
  26. Oege de Moor, Jeremy Gibbons
    Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:35, n:1, pp:3-27 [Journal]
  27. Jeremy Gibbons
    Metamorphisms: Streaming representation-changers. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:2, pp:108-139 [Journal]
  28. Jeremy Gibbons
    Structured Programing in Java. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1998, v:33, n:4, pp:40-43 [Journal]
  29. Jeremy Gibbons
    Computing Downwards Accumulations on Trees Quickly. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:169, n:1, pp:67-80 [Journal]
  30. Michael Anthony Smith, Jeremy Gibbons
    Unifying Theories of Objects. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:599-618 [Conf]
  31. Bruno C. D. S. Oliveira, Jeremy Gibbons
    TypeCase: a design pattern for type-indexed functions. [Citation Graph (0, 0)][DBLP]
    Haskell, 2005, pp:98-109 [Conf]

  32. WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. [Citation Graph (, )][DBLP]


  33. Semantics-Driven Development for Electronic Government Applications. [Citation Graph (, )][DBLP]


  34. Semantic Frameworks - Meanings in the Architecture. [Citation Graph (, )][DBLP]


  35. A Process Semantics for BPMN. [Citation Graph (, )][DBLP]


  36. Scala for generic programmers. [Citation Graph (, )][DBLP]


  37. Design patterns as higher-order datatype-generic programs. [Citation Graph (, )][DBLP]


  38. Property Specifications for Workflow Modelling. [Citation Graph (, )][DBLP]


  39. Unfolding Abstract Datatypes. [Citation Graph (, )][DBLP]


  40. Gradual Refinement. [Citation Graph (, )][DBLP]


  41. The visitor pattern as a reusable, generic, type-safe component. [Citation Graph (, )][DBLP]


  42. Verifying Business Process Compatibility (Short Paper). [Citation Graph (, )][DBLP]


  43. Model-driven architecture for cancer research. [Citation Graph (, )][DBLP]


  44. A Process-Algebraic Approach to Workflow Specification and Refinement. [Citation Graph (, )][DBLP]


  45. Unifying Theories of Locations. [Citation Graph (, )][DBLP]


  46. Semantic frameworks for e-government. [Citation Graph (, )][DBLP]


  47. Interoperability frameworks for electronic governance. [Citation Graph (, )][DBLP]


  48. Metadata standards for semantic interoperability in electronic government. [Citation Graph (, )][DBLP]


  49. Semantic technologies in electronic government. [Citation Graph (, )][DBLP]


  50. On Specifying and Visualising Long-Running Empirical Studies. [Citation Graph (, )][DBLP]


  51. A Relative Timed Semantics for BPMN. [Citation Graph (, )][DBLP]


Search in 0.033secs, Finished in 0.036secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002