Search the dblp DataBase

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]