James Cheney Papers on DiSC'06 An Empirical Evaluation of Simple DTD-Conscious Compression Techniques Publications Note: Links lead to the DBLP on the Web. James Cheney James Cheney: Tradeoffs in XML Database Compression. DCC 2006 : 392-401 James Cheney: A Simpler Proof Theory for Nominal Logic. FoSSaCS 2005 : 379-394 James Cheney: Scrap your nameplate: (functional pearl). ICFP 2005 : 180-191 James Cheney: Equivariant Unification. RTA 2005 : 74-89 Christian Urban , James Cheney: Avoiding Equivariance in Alpha-Prolog. TLCA 2005 : 401-416 James Cheney: An Empirical Evaluation of Simple DTD-Conscious Compression Techniques. WebDB 2005 : 43-48 James Cheney: The Complexity of Equivariant Unification. ICALP 2004 : 332-344 James Cheney, Christian Urban : alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. ICLP 2004 : 269-283 Murdoch Gabbay , James Cheney: A Sequent Calculus for Nominal Logic. LICS 2004 : 139-148 Dan Grossman , J. Gregory Morrisett , Trevor Jim , Michael W. Hicks , Yanling Wang , James Cheney: Region-Based Memory Management in Cyclone. PLDI 2002 : 282-293 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 James Cheney: Compressing XML with Multiplexed Hierarchical PPM Models. Data Compression Conference 2001 : 163- James Cheney, Carl Lagoze , Peter Botticelli : Towards a Theory of Information Preservation. ECDL 2001 : 340-351 James Cheney: Statistical Models for Term Compression. Data Compression Conference 2000 : 550 1 [ 2 ] 2 [ 6 ] 3 [ 4 ] [ 5 ] 4 [ 4 ] [ 5 ] 5 [ 4 ] [ 5 ] 6 [ 2 ] 7 [ 4 ] [ 5 ] 8 [ 7 ] [ 10 ] 9 [ 4 ] [ 5 ] ©2006 Association for Computing Machinery