Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "James Cheney" ( http://dblp.L3S.de/Authors/James_Cheney )

URL (Homepage):  http://homepages.inf.ed.ac.uk/jcheney/  Author page on DBLP  Author page in RDF  Community of James Cheney in ASPL-2

Publication years (Num. hits)
2000-2005 (15) 2006-2007 (15) 2008-2009 (21) 2010-2012 (15)
Publication types (Num. hits)
article(25) inproceedings(39) proceedings(2)
Venues (Conferences, Journals, ...)
CoRR(9) DBPL(3) SIGMOD Record(3) Data Compression Conference(2) ICDT(2) ICFP(2) ICLP(2) IEEE Data Eng. Bull.(2) LICS(2) PVLDB(2) SIGMOD Conference(2) ACM Trans. Comput. Log.(1) ACM Trans. Database Syst.(1) ACM Trans. Program. Lang. Syst...(1) CPP(1) CSF(1) More (+10 of total 46)
Authors
James Cheney(66) Christian Urban(8) Peter Buneman(8) Stijn Vansummeren(6) Amal Ahmed(5) Umut A. Acar(5) Irini Fundulaki(3) Loreto Bravo(3) Michael Benedikt(3) Sam Lindley(3) Stefan Berghofer(3) Adriane Chapman(2) Dan Grossman(2) Heiko Müller(2) J. Gregory Morrisett(2) Michael W. Hicks(2) More (+10 of total 31)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 33 occurrences of 23 keywords
Results
Found 66 publication records. Showing 66 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1James Cheney A dependent nominal type theory Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera A Core Calculus for Provenance. Search on Bibsonomy POST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sam Lindley, James Cheney Row-based effect types for database integration. Search on Bibsonomy TLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1James Cheney, Amal Ahmed, Umut A. Acar Provenance as dependency analysis. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Buneman, James Cheney, Sam Lindley, Heiko Müller The database Wiki project: a general-purpose platform for data curation and collaboration. Search on Bibsonomy SIGMOD Record The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Urban, James Cheney, Stefan Berghofer Mechanizing the metatheory of LF. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1James Cheney, Christian Urban Mechanizing the Metatheory of mini-XQuery. Search on Bibsonomy CPP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Buneman, James Cheney, Sam Lindley, Heiko Müller DBWiki: a structured wiki for curated data and collaborative data management. Search on Bibsonomy SIGMOD Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1James Cheney A Formal Framework for Provenance Security. Search on Bibsonomy CSF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF security, semantics, provenance
1James Cheney Satisfiability algorithms for conjunctive queries over trees. Search on Bibsonomy ICDT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1James Cheney Is provenance logical? Search on Bibsonomy LID The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1James Cheney Causality and the semantics of provenance Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1James Cheney Causality and the Semantics of Provenance Search on Bibsonomy DCM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1James Cheney Equivariant Unification. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, James Cheney Destabilizers and Independence of XML Updates. Search on Bibsonomy PVLDB The full citation details ... 2010 DBLP  BibTeX  RDF
1James Cheney A Simple Nominal Type Theory. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1James Cheney Workshop on theory and practice of provenance event report. Search on Bibsonomy SIGMOD Record The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, James Cheney Schema-Based Independence Analysis for XML Updates. Search on Bibsonomy PVLDB The full citation details ... 2009 DBLP  BibTeX  RDF
1James Cheney, Laura Chiticariu, Wang Chiew Tan Provenance in Databases: Why, How, and Where. Search on Bibsonomy Foundations and Trends in Databases The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1James Cheney, Amy P. Felty (eds.) Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009 Search on Bibsonomy LFMTP The full citation details ... 2009 DBLP  BibTeX  RDF
1James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren Provenance: a future history. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF semantics, integrity, provenance
1Michael Benedikt, James Cheney Semantics, Types and Effects for XML Updates. Search on Bibsonomy DBPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1James Cheney (eds.) First Workshop on the Theory and Practice of Provenance, February 23, 2009, San Francisco, CA, USA, Proceedings Search on Bibsonomy Workshop on the Theory and Practice of Provenance The full citation details ... 2009 DBLP  BibTeX  RDF
1Peter Buneman, James Cheney, Stijn Vansummeren On the expressiveness of implicit provenance in query and update languages. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF nested relational calculus, nested update language, Provenance, conservativity
1James Cheney, Christian Urban Nominal logic programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF name-binding, semantics, logic programming, Nominal logic
1James Cheney, Peter Buneman, Bertram Ludäscher Report on the Principles of Provenance Workshop. Search on Bibsonomy SIGMOD Record The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1James Cheney Flux: FunctionaL Updates for XML (extended report) Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Christian Urban, James Cheney, Stefan Berghofer Mechanizing the Metatheory of LF Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1James Cheney, Umut A. Acar, Amal Ahmed Provenance Traces Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1James Cheney Regular Expression Subtyping for XML Query and Update Languages Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1James Cheney, Morten Dahl Resource bound analysis for database queries. Search on Bibsonomy PLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF resource bounds, databases, query languages
1Loreto Bravo, James Cheney, Irini Fundulaki ACCOn: checking consistency of XML write-access control policies. Search on Bibsonomy EDBT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1James Cheney FLUX: functional updates for XML. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF update languages, XML, static analysis, type systems
1Christian Urban, James Cheney, Stefan Berghofer Mechanizing the Metatheory of LF. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mechanized metatheory, logical frameworks, nominal logic
1Peter Buneman, James Cheney, Wang Chiew Tan, Stijn Vansummeren Curated databases. Search on Bibsonomy PODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF curation, annotation, provenance, archiving
1James Cheney Regular Expression Subtyping for XML Query and Update Languages. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1James Cheney Program Slicing and Data Provenance. Search on Bibsonomy IEEE Data Eng. Bull. The full citation details ... 2007 DBLP  BibTeX  RDF
1Stijn Vansummeren, James Cheney Recording Provenance for SQL Queries and Updates. Search on Bibsonomy IEEE Data Eng. Bull. The full citation details ... 2007 DBLP  BibTeX  RDF
1Loreto Bravo, James Cheney, Irini Fundulaki Repairing Inconsistent XML Write-Access Control Policies Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1James Cheney, Amal Ahmed, Umut A. Acar Provenance as Dependency Analysis Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Peter Buneman, James Cheney, Stijn Vansummeren On the Expressiveness of Implicit Provenance in Query and Update Languages. Search on Bibsonomy ICDT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Loreto Bravo, James Cheney, Irini Fundulaki Repairing Inconsistent XML Write-Access Control Policies. Search on Bibsonomy DBPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1James Cheney, Amal Ahmed, Umut A. Acar Provenance as Dependency Analysis. Search on Bibsonomy DBPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1James Cheney, Alberto Momigliano Mechanized metatheory model-checking. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF counterexample search, model checking, nominal logic
1James Cheney Lux: A Lightweight, Statically Typed XML Update Language. Search on Bibsonomy PLAN-X The full citation details ... 2007 DBLP  BibTeX  RDF
1James Cheney Completeness and Herbrand theorems for nominal logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 2006 DBLP  BibTeX  RDF
1James Cheney, Christian Urban Nominal Logic Programming Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Peter Buneman, Adriane Chapman, James Cheney, Stijn Vansummeren A Provenance Model for Manually Curated Data. Search on Bibsonomy IPAW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1James Cheney The Semantics of Nominal Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Buneman, Adriane Chapman, James Cheney Provenance management in curated databases. Search on Bibsonomy SIGMOD Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF curation, storage, provenance
1James Cheney Tradeoffs in XML Database Compression. Search on Bibsonomy DCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1James Cheney Logic Column 14: Nominal Logic and Abstract Syntax Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Christian Urban, James Cheney Avoiding Equivariance in Alpha-Prolog. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1James Cheney An Empirical Evaluation of Simple DTD-Conscious Compression Techniques. Search on Bibsonomy WebDB The full citation details ... 2005 DBLP  BibTeX  RDF
1James Cheney Equivariant Unification. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1James Cheney Toward a general theory of names: binding and scope. Search on Bibsonomy MERLIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF names, abstract syntax, scope, nominal logic
1James Cheney Scrap your nameplate: (functional pearl). Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF generic programming, binding, names, substitution
1James Cheney A Simpler Proof Theory for Nominal Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1James Cheney The Complexity of Equivariant Unification. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1James Cheney, Christian Urban alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Murdoch Gabbay, James Cheney A Sequent Calculus for Nominal Logic. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney Region-Based Memory Management in Cyclone. Search on Bibsonomy PLDI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang Cyclone: A Safe Dialect of C. Search on Bibsonomy USENIX Annual Technical Conference, General Track The full citation details ... 2002 DBLP  BibTeX  RDF
1James Cheney, Carl Lagoze, Peter Botticelli Towards a Theory of Information Preservation. Search on Bibsonomy ECDL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1James Cheney Compressing XML with Multiplexed Hierarchical PPM Models. Search on Bibsonomy Data Compression Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1James Cheney Statistical Models for Term Compression. Search on Bibsonomy Data Compression Conference The full citation details ... 2000 DBLP  DOI  BibTeX  RDF term syntax tree compression statistical model
Displaying result #1 - #66 of 66 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.