Sotabase

Career

· Director, James Cheney (Current)

Publications (215)

Cyclone: A Safe Dialect of C
USENIX ATC, General Track · 2002
890
cited
Provenance in Databases: Why, How, and Where
Found. Trends Databases · 2009
741
cited
PROV-O: The PROV Ontology
2013
722
cited
PROV-DM: The PROV Data Model
2013
601
cited
Region-based memory management in cyclone
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2002
443
cited
Provenance management in curated databases
SIGMOD Conference · 2006
352
cited
A sequent calculus for nominal logic
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. · 2004
291
cited
Compressing XML with multiplexed hierarchical PPM models
Proceedings DCC 2001. Data Compression Conference · 2001
228
cited
The W3C PROV family of specifications for modelling provenance metadata
International Conference on Extending Database Technology · 2013
227
cited
First-Class Phantom Types
2003
221
cited
PROV-O: The PROV ontology:W3C recommendation 30 April 2013
2013
213
cited
On the expressiveness of implicit provenance in query and update languages
TODS · 2007
145
cited
Provenance: a future history
OOPSLA Companion · 2009
134
cited
A lightweight implementation of generics and dynamics
ACM SIGPLAN Symposium/Workshop on Haskell · 2002
121
cited
Edinburgh Research Explorer A Practical Theory of Language-integrated Query
110
cited
The rationale of PROV
Journal of Web Semantics · 2015
106
cited
YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts
arXiv.org · 2015
105
cited
Functional programs that explain their work
ACM SIGPLAN International Conference on Functional Programming · 2012
93
cited
Requirements for Provenance on the Web
International Journal of Digital Curation · 2012
92
cited
alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence
International Conference on Logic Programming · 2004
88
cited
Sotabase