Följ
James Cheney
James Cheney
Professor, Laboratory for Foundations of Computer Science, University of Edinburgh
Verifierad e-postadress på inf.ed.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
Cyclone: a safe dialect of C.
T Jim, JG Morrisett, D Grossman, MW Hicks, J Cheney, Y Wang
USENIX Annual Technical Conference, General Track, 275-288, 2002
10852002
Provenance in databases: Why, how, and where
J Cheney, L Chiticariu, WC Tan
Foundations and Trends in Databases 1 (4), 379-474, 2009
8062009
Prov-o: The prov ontology
T Lebo, S Sahoo, D McGuinness, K Belhajjame, J Cheney, D Corsar, ...
W3C recommendation 30, 2013
696*2013
Region-based memory management in Cyclone
D Grossman, G Morrisett, T Jim, M Hicks, Y Wang, J Cheney
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
5252002
Provenance management in curated databases
P Buneman, A Chapman, J Cheney
Proceedings of the 2006 ACM SIGMOD international conference on Management of …, 2006
4202006
Prov-dm: The prov data model
L Moreau, P Missier, K Belhajjame, R B’Far, J Cheney, S Coppens, ...
w3c, 2013
3822013
First-class phantom types
J Cheney, R Hinze
Cornell University, 2003
3032003
Compressing XML with multiplexed hierarchical PPM models
J Cheney
Proceedings DCC 2001. Data Compression Conference, 163-172, 2001
2952001
The W3C PROV family of specifications for modelling provenance metadata
P Missier, K Belhajjame, J Cheney
Proceedings of the 16th International Conference on Extending Database …, 2013
2422013
Curated databases
P Buneman, J Cheney, WC Tan, S Vansummeren
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on …, 2008
1902008
On the expressiveness of implicit provenance in query and update languages
P Buneman, J Cheney, S Vansummeren
Database Theory–ICDT 2007, 209-223, 2007
1602007
Provenance: a future history
J Cheney, S Chong, N Foster, M Seltzer, S Vansummeren
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009
1552009
A lightweight implementation of generics and dynamics
J Cheney, R Hinze
Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 90-104, 2002
1472002
Prov-dm: The prov data model
K Belhajjame, R B’Far, J Cheney, S Coppens, S Cresswell, Y Gil, P Groth, ...
W3C Recommendation 14, 15-16, 2013
1352013
YesWorkflow: a user-oriented, language-independent tool for recovering workflow information from scripts
T McPhillips, T Song, T Kolisnik, S Aulenbach, K Belhajjame, K Bocinsky, ...
arXiv preprint arXiv:1502.02403, 2015
1322015
The rationale of PROV
L Moreau, P Groth, J Cheney, T Lebo, S Miles
Journal of Web Semantics 35, 235-257, 2015
1312015
A practical theory of language-integrated query
J Cheney, S Lindley, P Wadler
ACM SIGPLAN Notices 48 (9), 403-416, 2013
1192013
alphaProlog: A Logic Programming Language with Names, Binding and-Equivalence
J Cheney, C Urban
ICLP, 269-283, 2004
113*2004
Requirements for provenance on the web
P Groth, Y Gil, J Cheney, S Miles
International Journal of Digital Curation 7 (1), 39-56, 2012
982012
Provenance as dependency analysis
J Cheney, A Ahmed, UA Acar
Database Programming Languages: 11th International Symposium, DBPL 2007 …, 2007
932007
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20