James Cheney Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)