| Year |
Citation |
Score |
| 2022 |
Ricciotti W, Cheney J. A Formalization of SQL with Nulls. Journal of Automated Reasoning. 66: 989-1030. PMID 36353685 DOI: 10.1007/s10817-022-09632-4 |
0.344 |
|
| 2020 |
Fowler S, Harding SD, Sharman JL, Cheney J. Cross-tier Web Programming for Curated Databases: a Case Study International Journal of Digital Curation. 15: 15. DOI: 10.2218/Ijdc.V15I1.717 |
0.316 |
|
| 2020 |
Choi K, Cheney J, Fowler S, Lindley S. A polymorphic RPC calculus Science of Computer Programming. 197: 102499. DOI: 10.1016/J.Scico.2020.102499 |
0.382 |
|
| 2019 |
Wu J, Mikolajczak A, Cheney J. TryLinks: an interactive tutorial system for a cross-tier web programming language Arxiv: Programming Languages. DOI: 10.1145/3328433.3328450 |
0.405 |
|
| 2018 |
Stolarek J, Cheney J. Language-integrated provenance in Haskell Arxiv: Programming Languages. 2: 11. DOI: 10.22152/Programming-Journal.Org/2018/2/11 |
0.437 |
|
| 2018 |
Cheney J, Grust T. Special Issue on Programming Languages for Big Data Editorial Journal of Functional Programming. 28. DOI: 10.1017/S0956796818000084 |
0.389 |
|
| 2017 |
Perera R, Cheney J. Proof-relevant π-calculus: a constructive account of concurrency and causality Mathematical Structures in Computer Science. 28: 1541-1577. DOI: 10.1017/S096012951700010X |
0.317 |
|
| 2017 |
Fehrenbach S, Cheney J. Language-integrated provenance Science of Computer Programming. 155: 103-145. DOI: 10.1016/J.Scico.2017.08.009 |
0.429 |
|
| 2016 |
Cheney J. A Simple Sequent Calculus for Nominal Logic Journal of Logic and Computation. 26: 699-726. DOI: 10.1093/Logcom/Exu024 |
0.344 |
|
| 2015 |
McPhillips T, Song T, Kolisnik T, Aulenbach S, Belhajjame K, Bocinsky K, Cao Y, Chirigati F, Dey S, Freire J, Huntzinger D, Jones C, Koop D, Missier P, Schildhauer M, ... ... Cheney J, et al. YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts International Journal of Digital Curation. 10: 298-313. DOI: 10.2218/Ijdc.V10I1.370 |
0.39 |
|
| 2014 |
Rajkumar R, Foster N, Lindley S, Cheney J. Lenses for Web Data Electronic Communication of the European Association of Software Science and Technology. 57. DOI: 10.14279/Tuj.Eceasst.57.879 |
0.371 |
|
| 2014 |
Moreau L, Groth P, Cheney J, Lebo T, Miles S. The rationale of PROV Journal of Web Semantics. DOI: 10.1016/J.Websem.2015.04.001 |
0.32 |
|
| 2012 |
Groth P, Gil Y, Cheney J, Miles S. Requirements for Provenance on the Web International Journal of Digital Curation. 7: 39-56. DOI: 10.2218/Ijdc.V7I1.213 |
0.314 |
|
| 2012 |
Cheney J. A dependent nominal type theory Logical Methods in Computer Science. 8: 1-29. DOI: 10.2168/Lmcs-8(1:8)2012 |
0.327 |
|
| 2012 |
Acar UA, Cheney J, Weirich S. Editorial Journal of Functional Programming. 22: 379-381. DOI: 10.1017/S0956796812000287 |
0.339 |
|
| 2012 |
Cheney J, Norrish M, Vestergaard R. Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax Journal of Automated Reasoning. 49: 209-239. DOI: 10.1007/S10817-011-9221-6 |
0.381 |
|
| 2011 |
Urban C, Cheney J, Berghofer S. Mechanizing the metatheory of LF Acm Transactions On Computational Logic. 12: 15. DOI: 10.1145/1877714.1877721 |
0.376 |
|
| 2011 |
Cheney J, Ahmed A, Acar UA. Provenance as dependency analysis Mathematical Structures in Computer Science. 21: 1301-1337. DOI: 10.1017/S0960129511000211 |
0.434 |
|
| 2010 |
Cheney J. Causality and the semantics of provenance Arxiv: Programming Languages. 26: 63-74. DOI: 10.4204/Eptcs.26.6 |
0.392 |
|
| 2010 |
Cheney J. Equivariant Unification Journal of Automated Reasoning. 45: 267-300. DOI: 10.1007/S10817-009-9164-3 |
0.351 |
|
| 2009 |
Cheney J, Chiticariu L, Tan W. Provenance in Databases: Why, How, and Where Foundations and Trends in Databases. 1: 379-474. DOI: 10.1561/1900000006 |
0.342 |
|
| 2009 |
Cheney J. A Simple Nominal Type Theory Electronic Notes in Theoretical Computer Science. 228: 37-52. DOI: 10.1016/J.Entcs.2008.12.115 |
0.381 |
|
| 2008 |
Buneman P, Cheney J, Vansummeren S. On the expressiveness of implicit provenance in query and update languages Acm Transactions On Database Systems. 33: 28. DOI: 10.1145/1412331.1412340 |
0.383 |
|
| 2008 |
Cheney J, Urban C. Nominal logic programming Acm Transactions On Programming Languages and Systems. 30: 26. DOI: 10.1145/1387673.1387675 |
0.379 |
|
| 2006 |
Cheney J. Completeness and Herbrand theorems for nominal logic Journal of Symbolic Logic. 71: 299-320. DOI: 10.2178/Jsl/1140641176 |
0.332 |
|
| Show low-probability matches. |