James Cheney

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

44 James Cheney: First Workshop on the Theory and Practice of Provenance, February 23, 2009, San Francisco, CA, USA, Proceedings USENIX 2009
43EEJames Cheney: A Simple Nominal Type Theory. Electr. Notes Theor. Comput. Sci. 228: 37-52 (2009)
42EELoreto Bravo, James Cheney, Irini Fundulaki: ACCOn: checking consistency of XML write-access control policies. EDBT 2008: 715-719
41EEJames Cheney: Regular Expression Subtyping for XML Query and Update Languages. ESOP 2008: 32-47
40EEJames Cheney: FLUX: functional updates for XML. ICFP 2008: 3-14
39EEChristian Urban, James Cheney, Stefan Berghofer: Mechanizing the Metatheory of LF. LICS 2008: 45-56
38EEJames Cheney, Morten Dahl: Resource bound analysis for database queries. PLAS 2008: 67-78
37EEPeter Buneman, James Cheney, Wang Chiew Tan, Stijn Vansummeren: Curated databases. PODS 2008: 1-12
36EEPeter Buneman, James Cheney, Stijn Vansummeren: On the expressiveness of implicit provenance in query and update languages. ACM Trans. Database Syst. 33(4): (2008)
35EEJames Cheney, Christian Urban: Nominal logic programming. ACM Trans. Program. Lang. Syst. 30(5): (2008)
34EEJames Cheney: Regular Expression Subtyping for XML Query and Update Languages CoRR abs/0801.0714: (2008)
33EEChristian Urban, James Cheney, Stefan Berghofer: Mechanizing the Metatheory of LF CoRR abs/0804.1667: (2008)
32EEJames Cheney: Flux: FunctionaL Updates for XML (extended report) CoRR abs/0807.1211: (2008)
31EEJames Cheney, Umut A. Acar, Amal Ahmed: Provenance Traces CoRR abs/0812.0564: (2008)
30EEJames Cheney, Peter Buneman, Bertram Ludäscher: Report on the Principles of Provenance Workshop. SIGMOD Record 37(1): 62-65 (2008)
29EEJames Cheney, Amal Ahmed, Umut A. Acar: Provenance as Dependency Analysis. DBPL 2007: 138-152
28EELoreto Bravo, James Cheney, Irini Fundulaki: Repairing Inconsistent XML Write-Access Control Policies. DBPL 2007: 97-111
27EEPeter Buneman, James Cheney, Stijn Vansummeren: On the Expressiveness of Implicit Provenance in Query and Update Languages. ICDT 2007: 209-223
26EEJames Cheney: Lux: A Lightweight, Statically Typed XML Update Language. PLAN-X 2007: 25-36
25EEJames Cheney, Alberto Momigliano: Mechanized metatheory model-checking. PPDP 2007: 75-86
24EELoreto Bravo, James Cheney, Irini Fundulaki: Repairing Inconsistent XML Write-Access Control Policies CoRR abs/0708.2076: (2007)
23EEJames Cheney, Amal Ahmed, Umut A. Acar: Provenance as Dependency Analysis CoRR abs/0708.2173: (2007)
22EEJames Cheney: Program Slicing and Data Provenance. IEEE Data Eng. Bull. 30(4): 22-28 (2007)
21EEStijn Vansummeren, James Cheney: Recording Provenance for SQL Queries and Updates. IEEE Data Eng. Bull. 30(4): 29-37 (2007)
20EEJames Cheney: Tradeoffs in XML Database Compression. DCC 2006: 392-401
19EEJames Cheney: The Semantics of Nominal Logic Programs. ICLP 2006: 361-375
18EEPeter Buneman, Adriane Chapman, James Cheney, Stijn Vansummeren: A Provenance Model for Manually Curated Data. IPAW 2006: 162-170
17EEPeter Buneman, Adriane Chapman, James Cheney: Provenance management in curated databases. SIGMOD Conference 2006: 539-550
16EEJames Cheney, Christian Urban: Nominal Logic Programming CoRR abs/cs/0609062: (2006)
15EEJames Cheney: A Simpler Proof Theory for Nominal Logic. FoSSaCS 2005: 379-394
14EEJames Cheney: Scrap your nameplate: (functional pearl). ICFP 2005: 180-191
13EEJames Cheney: Toward a general theory of names: binding and scope. MERLIN 2005: 33-40
12EEJames Cheney: Equivariant Unification. RTA 2005: 74-89
11EEChristian 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
9EEJames Cheney: Logic Column 14: Nominal Logic and Abstract Syntax CoRR abs/cs/0511025: (2005)
8EEJames Cheney: The Complexity of Equivariant Unification. ICALP 2004: 332-344
7EEJames Cheney, Christian Urban: alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. ICLP 2004: 269-283
6EEMurdoch Gabbay, James Cheney: A Sequent Calculus for Nominal Logic. LICS 2004: 139-148
5EEDan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney: Region-Based Memory Management in Cyclone. PLDI 2002: 282-293
4EETrevor 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
3EEJames Cheney: Compressing XML with Multiplexed Hierarchical PPM Models. Data Compression Conference 2001: 163-
2EEJames Cheney, Carl Lagoze, Peter Botticelli: Towards a Theory of Information Preservation. ECDL 2001: 340-351
1EEJames Cheney: Statistical Models for Term Compression. Data Compression Conference 2000: 550

Coauthor Index

1Umut A. Acar [23] [29] [31]
2Amal Ahmed (Amal J. Ahmed) [23] [29] [31]
3Stefan Berghofer [33] [39]
4Peter Botticelli [2]
5Loreto Bravo [24] [28] [42]
6Peter Buneman [17] [18] [27] [30] [36] [37]
7Adriane Chapman [17] [18]
8Morten Dahl [38]
9Irini Fundulaki [24] [28] [42]
10Murdoch James Gabbay (Murdoch Gabbay) [6]
11Dan Grossman [4] [5]
12Michael W. Hicks (Michael Hicks) [4] [5]
13Trevor Jim [4] [5]
14Carl Lagoze [2]
15Bertram Ludäscher [30]
16Alberto Momigliano [25]
17J. Gregory Morrisett (Greg Morrisett) [4] [5]
18Wang Chiew Tan [37]
19Christian Urban [7] [11] [16] [33] [35] [39]
20Stijn Vansummeren [18] [21] [27] [36] [37]
21Yanling Wang [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)