BibSonomy :: author  ::

bookmarks

publications

(62)

• Mechanizing the Metatheory of LF
  Christian Urban and James Cheney and Stefan Berghofer CoRR abs/0804.1667 (2008)
  to dblp by dblp on 2008-05-05 00:00:00
  | URL | BibTeX  
• Toward a general theory of names: binding and scope.
  James Cheney MERLIN 33-40 (2005)
  to dblp by dblp on 2008-04-23 00:00:00
  | URL | BibTeX  
• Regular Expression Subtyping for XML Query and Update Languages.
  James Cheney ESOP 32-47 (2008)
  to dblp by dblp and 1 other person on 2008-04-16 00:00:00
  | URL | BibTeX  
• A Provenance Model for Manually Curated Data.
  Peter Buneman and Adriane Chapman and James Cheney and Stijn Vansummeren IPAW 162-170 (2006)
  to data by manish and 1 other person on 2008-04-11 21:03:13
  | URL | BibTeX  
• Provenance management in curated databases.
  Peter Buneman and Adriane Chapman and James Cheney SIGMOD Conference 539-550 (2006)
  to databases by manish and 2 other people on 2008-04-11 20:58:22
  | URL | BibTeX  
• Program Slicing and Data Provenance.
  James Cheney IEEE Data Eng. Bull. 30 22-28 (2007)
  to data by manish and 1 other person on 2008-04-11 20:47:00
  | URL | BibTeX  
• Provenance as Dependency Analysis.
  James Cheney and Amal Ahmed and Umut A. Acar DBPL 138-152 (2007)
  to provenance by manish and 4 other people on 2008-04-11 20:45:38
  | URL | BibTeX  
• ACCOn: checking consistency of XML write-access control policies.
  Loreto Bravo and James Cheney and Irini Fundulaki EDBT 715-719 (2008)
  to dblp by dblp on 2008-04-01 00:00:00
  | URL | BibTeX  
• Compressing XML with multiplexed hierarchical PPM models
  J. Cheney Proceedings of the Data Compression Conference (DCC 2001) 163-172 (2001)
  to cites.gradu research.xml science.statistics by msn and 1 other person on 2008-03-31 11:26:14
  | URL | BibTeX  
• Regular Expression Subtyping for XML Query and Update Languages
  James Cheney CoRR abs/0801.0714 (2008)
  to dblp by dblp and 1 other person on 2008-02-01 00:00:00
  | URL | BibTeX