The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

James Cheney: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. James Cheney
    Statistical Models for Term Compression. [Citation Graph (0, 0)][DBLP]
    Data Compression Conference, 2000, pp:550- [Conf]
  2. James Cheney
    Compressing XML with Multiplexed Hierarchical PPM Models. [Citation Graph (0, 0)][DBLP]
    Data Compression Conference, 2001, pp:163-0 [Conf]
  3. James Cheney
    Tradeoffs in XML Database Compression. [Citation Graph (0, 0)][DBLP]
    DCC, 2006, pp:392-401 [Conf]
  4. James Cheney, Carl Lagoze, Peter Botticelli
    Towards a Theory of Information Preservation. [Citation Graph (0, 0)][DBLP]
    ECDL, 2001, pp:340-351 [Conf]
  5. James Cheney
    A Simpler Proof Theory for Nominal Logic. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:379-394 [Conf]
  6. James Cheney
    The Complexity of Equivariant Unification. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:332-344 [Conf]
  7. Peter Buneman, James Cheney, Stijn Vansummeren
    On the Expressiveness of Implicit Provenance in Query and Update Languages. [Citation Graph (0, 0)][DBLP]
    ICDT, 2007, pp:209-223 [Conf]
  8. James Cheney
    Scrap your nameplate: (functional pearl). [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:180-191 [Conf]
  9. James Cheney
    The Semantics of Nominal Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:361-375 [Conf]
  10. James Cheney, Christian Urban
    alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:269-283 [Conf]
  11. Murdoch Gabbay, James Cheney
    A Sequent Calculus for Nominal Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:139-148 [Conf]
  12. James Cheney
    Lux: A Lightweight, Statically Typed XML Update Language. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2007, pp:25-36 [Conf]
  13. Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney
    Region-Based Memory Management in Cyclone. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:282-293 [Conf]
  14. James Cheney
    Equivariant Unification. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:74-89 [Conf]
  15. Peter Buneman, Adriane Chapman, James Cheney
    Provenance management in curated databases. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 2006, pp:539-550 [Conf]
  16. Christian Urban, James Cheney
    Avoiding Equivariance in Alpha-Prolog. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:401-416 [Conf]
  17. Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang
    Cyclone: A Safe Dialect of C. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, General Track, 2002, pp:275-288 [Conf]
  18. James Cheney
    An Empirical Evaluation of Simple DTD-Conscious Compression Techniques. [Citation Graph (0, 0)][DBLP]
    WebDB, 2005, pp:43-48 [Conf]
  19. Peter Buneman, Adriane Chapman, James Cheney, Stijn Vansummeren
    A Provenance Model for Manually Curated Data. [Citation Graph (0, 0)][DBLP]
    IPAW, 2006, pp:162-170 [Conf]
  20. James Cheney, Amal Ahmed, Umut A. Acar
    Provenance as Dependency Analysis. [Citation Graph (0, 0)][DBLP]
    DBPL, 2007, pp:138-152 [Conf]
  21. Loreto Bravo, James Cheney, Irini Fundulaki
    Repairing Inconsistent XML Write-Access Control Policies. [Citation Graph (0, 0)][DBLP]
    DBPL, 2007, pp:97-111 [Conf]
  22. James Cheney, Alberto Momigliano
    Mechanized metatheory model-checking. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:75-86 [Conf]
  23. James Cheney, Christian Urban
    Nominal Logic Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  24. Loreto Bravo, James Cheney, Irini Fundulaki
    Repairing Inconsistent XML Write-Access Control Policies [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  25. James Cheney, Amal Ahmed, Umut A. Acar
    Provenance as Dependency Analysis [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  26. Semantics, Types and Effects for XML Updates. [Citation Graph (, )][DBLP]


  27. ACCOn: checking consistency of XML write-access control policies. [Citation Graph (, )][DBLP]


  28. Regular Expression Subtyping for XML Query and Update Languages. [Citation Graph (, )][DBLP]


  29. FLUX: functional updates for XML. [Citation Graph (, )][DBLP]


  30. Toward a general theory of names: binding and scope. [Citation Graph (, )][DBLP]


  31. Mechanizing the Metatheory of LF. [Citation Graph (, )][DBLP]


  32. Provenance: a future history. [Citation Graph (, )][DBLP]


  33. Resource bound analysis for database queries. [Citation Graph (, )][DBLP]


  34. Curated databases. [Citation Graph (, )][DBLP]


  35. Logic Column 14: Nominal Logic and Abstract Syntax [Citation Graph (, )][DBLP]


  36. Regular Expression Subtyping for XML Query and Update Languages [Citation Graph (, )][DBLP]


  37. Mechanizing the Metatheory of LF [Citation Graph (, )][DBLP]


  38. Flux: FunctionaL Updates for XML (extended report) [Citation Graph (, )][DBLP]


  39. Provenance Traces [Citation Graph (, )][DBLP]


  40. Causality and the semantics of provenance [Citation Graph (, )][DBLP]


  41. Causality and the Semantics of Provenance [Citation Graph (, )][DBLP]


  42. Program Slicing and Data Provenance. [Citation Graph (, )][DBLP]


  43. Recording Provenance for SQL Queries and Updates. [Citation Graph (, )][DBLP]


  44. A Simple Nominal Type Theory. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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