 | 2012 |
|---|
| 66 |       | Umut A. Acar,
Amal Ahmed,
James Cheney,
Roly Perera:
A Core Calculus for Provenance.
POST 2012: 410-429 |
| 65 | | Sam Lindley,
James Cheney:
Row-based effect types for database integration.
TLDI 2012: 91-102 |
| 64 | | James Cheney:
A dependent nominal type theory
Logical Methods in Computer Science 8(1): (2012) |
| 2011 |
|---|
| 63 | | James Cheney,
Christian Urban:
Mechanizing the Metatheory of mini-XQuery.
CPP 2011: 280-295 |
| 62 | | James Cheney:
A Formal Framework for Provenance Security.
CSF 2011: 281-293 |
| 61 | | James Cheney:
Satisfiability algorithms for conjunctive queries over trees.
ICDT 2011: 150-161 |
| 60 | | James Cheney:
Is provenance logical?
LID 2011: 2-6 |
| 59 | | Peter Buneman,
James Cheney,
Sam Lindley,
Heiko Müller:
DBWiki: a structured wiki for curated data and collaborative data management.
SIGMOD Conference 2011: 1335-1338 |
| 58 | | Christian Urban,
James Cheney,
Stefan Berghofer:
Mechanizing the metatheory of LF.
ACM Trans. Comput. Log. 12(2): 15 (2011) |
| 57 | | James Cheney,
Amal Ahmed,
Umut A. Acar:
Provenance as dependency analysis.
Mathematical Structures in Computer Science 21(6): 1301-1337 (2011) |
| 56 | | Peter Buneman,
James Cheney,
Sam Lindley,
Heiko Müller:
The database Wiki project: a general-purpose platform for data curation and collaboration.
SIGMOD Record 40(3): 15-20 (2011) |
| 2010 |
|---|
| 55 | | James Cheney:
Causality and the Semantics of Provenance
DCM 2010: 63-74 |
| 54 | | James Cheney:
Causality and the semantics of provenance
CoRR abs/1004.3241: (2010) |
| 53 | | James Cheney:
Equivariant Unification.
J. Autom. Reasoning 45(3): 267-300 (2010) |
| 52 | | Michael Benedikt,
James Cheney:
Destabilizers and Independence of XML Updates.
PVLDB 3(1): 906-917 (2010) |
| 2009 |
|---|
| 51 | | James Cheney,
Amy P. Felty:
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009
ACM 2009 |
| 50 |  | James Cheney:
First Workshop on the Theory and Practice of Provenance, February 23, 2009, San Francisco, CA, USA, Proceedings
USENIX 2009 |
| 49 | | Michael Benedikt,
James Cheney:
Semantics, Types and Effects for XML Updates.
DBPL 2009: 1-17 |
| 48 | | James Cheney,
Stephen Chong,
Nate Foster,
Margo I. Seltzer,
Stijn Vansummeren:
Provenance: a future history.
OOPSLA Companion 2009: 957-964 |
| 47 | | James Cheney:
A Simple Nominal Type Theory.
Electr. Notes Theor. Comput. Sci. 228: 37-52 (2009) |
| 46 | | James Cheney,
Laura Chiticariu,
Wang Chiew Tan:
Provenance in Databases: Why, How, and Where.
Foundations and Trends in Databases 1(4): 379-474 (2009) |
| 45 | | Michael Benedikt,
James Cheney:
Schema-Based Independence Analysis for XML Updates.
PVLDB 2(1): 61-72 (2009) |
| 44 | | James Cheney:
Workshop on theory and practice of provenance event report.
SIGMOD Record 38(2): 57-60 (2009) |
| 2008 |
|---|
| 43 | | Loreto Bravo,
James Cheney,
Irini Fundulaki:
ACCOn: checking consistency of XML write-access control policies.
EDBT 2008: 715-719 |
| 42 | | James Cheney:
Regular Expression Subtyping for XML Query and Update Languages.
ESOP 2008: 32-47 |
| 41 | | James Cheney:
FLUX: functional updates for XML.
ICFP 2008: 3-14 |
| 40 | | Christian Urban,
James Cheney,
Stefan Berghofer:
Mechanizing the Metatheory of LF.
LICS 2008: 45-56 |
| 39 | | James Cheney,
Morten Dahl:
Resource bound analysis for database queries.
PLAS 2008: 67-78 |
| 38 | | Peter Buneman,
James Cheney,
Wang Chiew Tan,
Stijn Vansummeren:
Curated databases.
PODS 2008: 1-12 |
| 37 | | Peter Buneman,
James Cheney,
Stijn Vansummeren:
On the expressiveness of implicit provenance in query and update languages.
ACM Trans. Database Syst. 33(4): (2008) |
| 36 | | James Cheney,
Christian Urban:
Nominal logic programming.
ACM Trans. Program. Lang. Syst. 30(5): (2008) |
| 35 | | James Cheney:
Regular Expression Subtyping for XML Query and Update Languages
CoRR abs/0801.0714: (2008) |
| 34 | | Christian Urban,
James Cheney,
Stefan Berghofer:
Mechanizing the Metatheory of LF
CoRR abs/0804.1667: (2008) |
| 33 | | James Cheney:
Flux: FunctionaL Updates for XML (extended report)
CoRR abs/0807.1211: (2008) |
| 32 | | James Cheney,
Umut A. Acar,
Amal Ahmed:
Provenance Traces
CoRR abs/0812.0564: (2008) |
| 31 | | James Cheney,
Peter Buneman,
Bertram Ludäscher:
Report on the Principles of Provenance Workshop.
SIGMOD Record 37(1): 62-65 (2008) |
| 2007 |
|---|
| 30 | | James Cheney,
Amal Ahmed,
Umut A. Acar:
Provenance as Dependency Analysis.
DBPL 2007: 138-152 |
| 29 | | Loreto Bravo,
James Cheney,
Irini Fundulaki:
Repairing Inconsistent XML Write-Access Control Policies.
DBPL 2007: 97-111 |
| 28 | | Peter Buneman,
James Cheney,
Stijn Vansummeren:
On the Expressiveness of Implicit Provenance in Query and Update Languages.
ICDT 2007: 209-223 |
| 27 | | James Cheney:
Lux: A Lightweight, Statically Typed XML Update Language.
PLAN-X 2007: 25-36 |
| 26 | | James Cheney,
Alberto Momigliano:
Mechanized metatheory model-checking.
PPDP 2007: 75-86 |
| 25 | | Loreto Bravo,
James Cheney,
Irini Fundulaki:
Repairing Inconsistent XML Write-Access Control Policies
CoRR abs/0708.2076: (2007) |
| 24 | | James Cheney,
Amal Ahmed,
Umut A. Acar:
Provenance as Dependency Analysis
CoRR abs/0708.2173: (2007) |
| 23 | | James Cheney:
Program Slicing and Data Provenance.
IEEE Data Eng. Bull. 30(4): 22-28 (2007) |
| 22 | | Stijn Vansummeren,
James Cheney:
Recording Provenance for SQL Queries and Updates.
IEEE Data Eng. Bull. 30(4): 29-37 (2007) |
| 2006 |
|---|
| 21 | | James Cheney:
Tradeoffs in XML Database Compression.
DCC 2006: 392-401 |
| 20 | | James Cheney:
The Semantics of Nominal Logic Programs.
ICLP 2006: 361-375 |
| 19 | | Peter Buneman,
Adriane Chapman,
James Cheney,
Stijn Vansummeren:
A Provenance Model for Manually Curated Data.
IPAW 2006: 162-170 |
| 18 | | Peter Buneman,
Adriane Chapman,
James Cheney:
Provenance management in curated databases.
SIGMOD Conference 2006: 539-550 |
| 17 | | James Cheney,
Christian Urban:
Nominal Logic Programming
CoRR abs/cs/0609062: (2006) |
| 16 | | James Cheney:
Completeness and Herbrand theorems for nominal logic.
J. Symb. Log. 71(1): 299-320 (2006) |
| 2005 |
|---|
| 15 | | James Cheney:
A Simpler Proof Theory for Nominal Logic.
FoSSaCS 2005: 379-394 |
| 14 | | James Cheney:
Scrap your nameplate: (functional pearl).
ICFP 2005: 180-191 |
| 13 | | James Cheney:
Toward a general theory of names: binding and scope.
MERLIN 2005: 33-40 |
| 12 | | James Cheney:
Equivariant Unification.
RTA 2005: 74-89 |
| 11 | | Christian Urban,
James Cheney:
Avoiding Equivariance in Alpha-Prolog.
TLCA 2005: 401-416 |
| 10 | | James Cheney:
An Empirical Evaluation of Simple DTD-Conscious Compression Techniques.
WebDB 2005: 43-48 |
| 9 | | James Cheney:
Logic Column 14: Nominal Logic and Abstract Syntax
CoRR abs/cs/0511025: (2005) |
| 2004 |
|---|
| 8 | | James Cheney:
The Complexity of Equivariant Unification.
ICALP 2004: 332-344 |
| 7 | | James Cheney,
Christian Urban:
alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence.
ICLP 2004: 269-283 |
| 6 | | Murdoch Gabbay,
James Cheney:
A Sequent Calculus for Nominal Logic.
LICS 2004: 139-148 |
| 2002 |
|---|
| 5 | | Dan Grossman,
J. Gregory Morrisett,
Trevor Jim,
Michael W. Hicks,
Yanling Wang,
James Cheney:
Region-Based Memory Management in Cyclone.
PLDI 2002: 282-293 |
| 4 | | Trevor Jim,
J. Gregory Morrisett,
Dan Grossman,
Michael W. Hicks,
James Cheney,
Yanling Wang:
Cyclone: A Safe Dialect of C.
USENIX Annual Technical Conference, General Track 2002: 275-288 |
| 2001 |
|---|
| 3 | | James Cheney:
Compressing XML with Multiplexed Hierarchical PPM Models.
Data Compression Conference 2001: 163- |
| 2 | | James Cheney,
Carl Lagoze,
Peter Botticelli:
Towards a Theory of Information Preservation.
ECDL 2001: 340-351 |
| 2000 |
|---|
| 1 | | James Cheney:
Statistical Models for Term Compression.
Data Compression Conference 2000: 550 |
Data released under the ODC-BY 1.0 license — See also our legal information page