CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Simon Fowler, Simon Harding, Joanna Sharman, and James Cheney
Published in:
International Journal of Digital Curation, Issue 16(1), 2021, ISSN 1746-8256
Publisher:
University of Edinburgh
DOI:
10.2218/ijdc.v16i1.735
Author(s):
Wilmer Ricciotti; James Cheney
Published in:
Journal of Automated Reasoning, Issue 66(4), 2022, Page(s) 989-1030, ISSN 1573-0670
Publisher:
Springer
DOI:
10.48550/arxiv.2003.11331
Author(s):
Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Published in:
Proceedings of the ACM on Programming Languages, Issue 6(ICFP), 2022, Page(s) 111:570-595, ISSN 2475-1421
Publisher:
ACM
DOI:
10.1145/3547642
Author(s):
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Published in:
Proceedings of the ACM on Programming Languages, Issue 1/ICFP, 2017, Page(s) 1-28, ISSN 2475-1421
Publisher:
ACM
DOI:
10.1145/3110258
Author(s):
Jan Stolarek, James Cheney
Published in:
The Art, Science, and Engineering of Programming, Issue 2
10.22152/programming-journal.org/2018/2
http://programming-journal.org/2018/2/3, 2018, ISSN 2473-7321
Publisher:
AOSA
DOI:
10.22152/programming-journal.org/2018/2/11
Author(s):
Rudi Horn, Roly Perera, James Cheney
Published in:
Proceedings of the ACM on Programming Languages, Issue 2/ICFP, 2018, Page(s) 1-30, ISSN 2475-1421
Publisher:
ACM
DOI:
10.1145/3236769
Author(s):
Ghita Berrada, James Cheney, Sidahmed Benabderrahmane, William Maxwell, Himan Mookherjee, Alec Theriault, Ryan Wright
Published in:
Future Generation Computer Systems, Issue 108, 2020, Page(s) 401-413, ISSN 0167-739X
Publisher:
Elsevier BV
DOI:
10.1016/j.future.2020.02.015
Author(s):
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
Published in:
Science of Computer Programming, Issue 197, 2020, Page(s) 102499, ISSN 0167-6423
Publisher:
Elsevier BV
DOI:
10.1016/j.scico.2020.102499
Author(s):
Daniel Hillerström, Sam Lindley, John Longley
Published in:
Proceedings of the ACM on Programming Languages, Issue 4/ICFP, 2020, Page(s) 1-29, ISSN 2475-1421
Publisher:
ACM
DOI:
10.1145/3408982
Author(s):
Ricciotti, Wilmer; Cheney, James
Published in:
Logical Methods in Computer Science, Issue 18(3), 2022, Page(s) 23:1-23:41, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-18(3:23)2022
Author(s):
Sheung Chi Chan, Ashish Gehani, Hassaan Irshad, James Cheney
Published in:
12th International Workshop on Theory and Practice of Provenance (TaPP 2020), 2020
Publisher:
USENIX
Author(s):
Sheung Chi Chan, James Cheney, Pramod Bhatotia
Published in:
13th International Workshop on Theory and Practice of Provenance (TaPP 2021), 2021
Publisher:
USENIX
Author(s):
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
Published in:
23rd International Symposium on Principles and Practice of Declarative Programming, 2021, Page(s) 1-15, ISBN 9781450386890
Publisher:
ACM
DOI:
10.1145/3479394.3479406
Author(s):
Simon Fowler; Vashti Galpin; James Cheney
Published in:
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences . pp. 5-19 , The 21st International Conference on Generative Programming: Concepts & Experiences,, 2022, Page(s) 5-19, ISBN 978-1-4503-9920-3
Publisher:
ACM
DOI:
10.1145/3564719.3568690
Author(s):
Simon Fowler
Published in:
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020, Page(s) 14:1--14:28, ISBN 978-3-95977-154-2
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.ecoop.2020.14
Author(s):
Sándor Bartha; James Cheney; Vaishak Belle
Published in:
Proceedings of the ACM on Programming Languages, Issue 5(OOPSLA), 2021, Page(s) 122:1-122:29, ISSN 2475-1421
Publisher:
ACM
DOI:
10.48550/arxiv.2109.06114
Author(s):
Stefan Fehrenbach, James Cheney
Published in:
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019, 2019, Page(s) 74-84, ISBN 9781-450367189
Publisher:
ACM Press
DOI:
10.1145/3315507.3330198
Author(s):
Anthony Anjorin, James Cheney
Published in:
11th Workshop on Theory and Practice of Provenance (TaPP 2019), 2019
Publisher:
USENIX
Author(s):
Wilmer Ricciotti, James Cheney
Published in:
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019, 2019, Page(s) 70-73, ISBN 9781-450367189
Publisher:
ACM Press
DOI:
10.1145/3315507.3330202
Author(s):
Junao Wu, Arek Mikolajczak, James Cheney
Published in:
Proceedings of the 3rd International Companion Conference on Art, Science, and Engineering of Programming - Programming '19, 2019, Page(s) 1-6, ISBN 9781-450362573
Publisher:
ACM Press
DOI:
10.1145/3328433.3328450
Author(s):
Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo Seltzer
Published in:
Proceedings of the 20th International Middleware Conference, 2019, Page(s) 268-279, ISBN 9781-450370097
Publisher:
ACM
DOI:
10.1145/3361525.3361552
Author(s):
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
Published in:
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, Page(s) 423-437, ISBN 9781-450376136
Publisher:
ACM
DOI:
10.1145/3385412.3386003
Author(s):
Wilmer Ricciotti, James Cheney
Published in:
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Issue 167, 2020, Page(s) 28:1-28:22, ISBN 978-3-95977-155-9
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.fscd.2020.28
Author(s):
Jan Stolarek, Przemyslaw Nowak
Published in:
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020, Page(s) 887-893, ISBN 9781-450367936
Publisher:
ACM
DOI:
10.1145/3328778.3366886
Author(s):
Rudi Horn, Simon Fowler, James Cheney
Published in:
Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019, Page(s) 1-12, ISBN 9781450375627
Publisher:
ACM
DOI:
10.1145/3412932.3412945
Author(s):
Paul Harvey, Simon Fowler, Ornela Dardha,Simon J. Gay
Published in:
35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021, ISBN 978-3-95977-190-0
Publisher:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.ecoop.2021.10
Author(s):
James Cheney; Maribel Fernandez
Published in:
PPDP '22: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, 2022, Page(s) 5:1-15, ISBN 978-1-4503-9703-2
Publisher:
ACM
Author(s):
Sidahmed Benabderrahmane, Ghita Berrada, James Cheney, Petko Valtchev
Published in:
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 3589-3596, ISBN 978-0-9992411-9-6
Publisher:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2021/494
Author(s):
James Cheney; Wilmer Ricciotti
Published in:
Proceedings of the 18th International Symposium on Database Programming Languages, 2021, Page(s) 3-6, ISBN 978-1-4503-8646-3
Publisher:
ACM
DOI:
10.1145/3475726.3475730
Author(s):
James Cheney, Adriane Chapman, Joy Davidson, Alistair Forbes
Published in:
Advanced Mathematical and Computational Tools in Metrology and Testing XII, 2022, Page(s) 167-187, ISBN 978-981-124-239-7
Publisher:
World Scientific
DOI:
10.1142/9789811242380_0009
Author(s):
Wilmer Ricciotti, James Cheney
Published in:
Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Issue 12648, 2021, Page(s) 579-606, ISBN 978-3-030-72018-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-72019-3_21
Author(s):
Wilmer Ricciotti, James Cheney
Published in:
Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Issue 11187, 2018, Page(s) 376-395, ISBN 978-3-030-02507-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-02508-3_20
Author(s):
Jan Stolarek, James Cheney
Published in:
Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Issue 11825, 2019, Page(s) 76-102, ISBN 978-3-030-33635-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-33636-3_4
Author(s):
Sheung Chi Chan, James Cheney
Published in:
Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings, Issue 12007, 2020, Page(s) 20-36, ISBN 978-3-030-39196-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-39197-3_2
Author(s):
Sándor Bartha, James Cheney
Published in:
Inductive Logic Programming - 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings, Issue 11770, 2020, Page(s) 16-25, ISBN 978-3-030-49209-0
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-49210-6_2
Author(s):
Vashti Galpin, James Cheney
Published in:
Provenance and Annotation of Data and Processes - 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19–22, 2021, Proceedings, Issue 12839, 2021, Page(s) 237-243, ISBN 978-3-030-80959-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-80960-7_19
Author(s):
Simon Fowler, Simon Harding, Joanna Sharman, James Cheney
Published in:
International Journal of Digital Curation, Issue 15/1, 2020, Page(s) 15, ISSN 1746-8256
Publisher:
International journal of digital curation
DOI:
10.2218/ijdc.v15i1.717
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available