BibSonomy publications for /author/Cheney http://www.bibsonomy.org/author/Cheney BibSonomy RSS Feed for /author/Cheney Mechanizing the Metatheory of LF. dblp http://www.bibsonomy.org/bibtex/27b19753c4afbaabe1e9df901000e6c6b/dblp dblp 2008-06-25T00:00:00+02:00 dblp
Mechanizing the Metatheory of LF.
Christian Urban and James Cheney and Stefan Berghofer LICS 45-56 (2008)
to dblp by dblp and 1 other person on 2008-06-25 00:00:00
]]> Resource bound analysis for database queries. dblp http://www.bibsonomy.org/bibtex/2f5799ac312e5d14b6e438ba575f515a0/dblp dblp 2008-06-16T00:00:00+02:00 dblp
Resource bound analysis for database queries.
James Cheney and Morten Dahl PLAS 67-78 (2008)
to dblp by dblp on 2008-06-16 00:00:00
]]> Curated databases. dblp http://www.bibsonomy.org/bibtex/2727f8824ff896c7b0c61fc7a6d3eec31/dblp dblp 2008-06-10T00:00:00+02:00 dblp
Curated databases.
Peter Buneman and James Cheney and Wang Chiew Tan and Stijn Vansummeren PODS 1-12 (2008)
to dblp by dblp on 2008-06-10 00:00:00
]]> Report on the Principles of Provenance Workshop. dblp http://www.bibsonomy.org/bibtex/2d45b5e6bb30f00256808d5b8c4d8562b/dblp dblp 2008-05-28T00:00:00+02:00 dblp
Report on the Principles of Provenance Workshop.
James Cheney and Peter Buneman and Bertram Ludäscher SIGMOD Record 37 62-65 (2008)
to dblp by dblp on 2008-05-28 00:00:00
]]> Mechanizing the Metatheory of LF dblp http://www.bibsonomy.org/bibtex/270c690fe683fdac66154dd6f6aaf37b0/dblp dblp 2008-05-05T00:00:00+02:00 dblp
Mechanizing the Metatheory of LF
Christian Urban and James Cheney and Stefan Berghofer CoRR abs/0804.1667 (2008)
to dblp by dblp and 1 other person on 2008-05-05 00:00:00
]]> Toward a general theory of names: binding and scope. dblp http://www.bibsonomy.org/bibtex/287bc0db65c1d7314931c8f29ac09d84c/dblp dblp 2008-04-23T00:00:00+02:00 dblp
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
]]> Regular Expression Subtyping for XML Query and Update Languages. dblp http://www.bibsonomy.org/bibtex/2e8c0c33ce8a449c1f637dd4b1c71b7e6/dblp dblp 2008-04-16T00:00:00+02:00 dblp
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
]]> A Provenance Model for Manually Curated Data. dblp http://www.bibsonomy.org/bibtex/22424b7e4a8f13c1b65a92392d943ff06/manish manish 2008-04-11T21:03:13+02:00 data
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
]]> Provenance management in curated databases. dblp http://www.bibsonomy.org/bibtex/2665f4ec923e434a3481b05b0dc488ca4/manish manish 2008-04-11T20:58:22+02:00 databases
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
]]> Program Slicing and Data Provenance. dblp http://www.bibsonomy.org/bibtex/2e65d0e9e6fec6af6932d2a955d2f0953/manish manish 2008-04-11T20:47:00+02:00 data
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
]]>