CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Veröffentlichungen
Autoren:
Simon Fowler, Simon Harding, Joanna Sharman, and James Cheney
Veröffentlicht in:
International Journal of Digital Curation, Ausgabe 16(1), 2021, ISSN 1746-8256
Herausgeber:
University of Edinburgh
DOI:
10.2218/ijdc.v16i1.735
Autoren:
Wilmer Ricciotti; James Cheney
Veröffentlicht in:
Journal of Automated Reasoning, Ausgabe 66(4), 2022, Seite(n) 989-1030, ISSN 1573-0670
Herausgeber:
Springer
DOI:
10.48550/arxiv.2003.11331
Autoren:
Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 6(ICFP), 2022, Seite(n) 111:570-595, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3547642
Autoren:
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 1/ICFP, 2017, Seite(n) 1-28, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3110258
Autoren:
Jan Stolarek, James Cheney
Veröffentlicht in:
The Art, Science, and Engineering of Programming, Ausgabe 2
10.22152/programming-journal.org/2018/2
http://programming-journal.org/2018/2/3, 2018, ISSN 2473-7321
Herausgeber:
AOSA
DOI:
10.22152/programming-journal.org/2018/2/11
Autoren:
Rudi Horn, Roly Perera, James Cheney
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/ICFP, 2018, Seite(n) 1-30, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3236769
Autoren:
Ghita Berrada, James Cheney, Sidahmed Benabderrahmane, William Maxwell, Himan Mookherjee, Alec Theriault, Ryan Wright
Veröffentlicht in:
Future Generation Computer Systems, Ausgabe 108, 2020, Seite(n) 401-413, ISSN 0167-739X
Herausgeber:
Elsevier BV
DOI:
10.1016/j.future.2020.02.015
Autoren:
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
Veröffentlicht in:
Science of Computer Programming, Ausgabe 197, 2020, Seite(n) 102499, ISSN 0167-6423
Herausgeber:
Elsevier BV
DOI:
10.1016/j.scico.2020.102499
Autoren:
Daniel Hillerström, Sam Lindley, John Longley
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 4/ICFP, 2020, Seite(n) 1-29, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3408982
Autoren:
Ricciotti, Wilmer; Cheney, James
Veröffentlicht in:
Logical Methods in Computer Science, Ausgabe 18(3), 2022, Seite(n) 23:1-23:41, ISSN 1860-5974
Herausgeber:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-18(3:23)2022
Autoren:
Sheung Chi Chan, Ashish Gehani, Hassaan Irshad, James Cheney
Veröffentlicht in:
12th International Workshop on Theory and Practice of Provenance (TaPP 2020), 2020
Herausgeber:
USENIX
Autoren:
Sheung Chi Chan, James Cheney, Pramod Bhatotia
Veröffentlicht in:
13th International Workshop on Theory and Practice of Provenance (TaPP 2021), 2021
Herausgeber:
USENIX
Autoren:
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
Veröffentlicht in:
23rd International Symposium on Principles and Practice of Declarative Programming, 2021, Seite(n) 1-15, ISBN 9781450386890
Herausgeber:
ACM
DOI:
10.1145/3479394.3479406
Autoren:
Simon Fowler; Vashti Galpin; James Cheney
Veröffentlicht 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, Seite(n) 5-19, ISBN 978-1-4503-9920-3
Herausgeber:
ACM
DOI:
10.1145/3564719.3568690
Autoren:
Simon Fowler
Veröffentlicht in:
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020, Seite(n) 14:1--14:28, ISBN 978-3-95977-154-2
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.ecoop.2020.14
Autoren:
Sándor Bartha; James Cheney; Vaishak Belle
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 5(OOPSLA), 2021, Seite(n) 122:1-122:29, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.48550/arxiv.2109.06114
Autoren:
Stefan Fehrenbach, James Cheney
Veröffentlicht in:
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019, 2019, Seite(n) 74-84, ISBN 9781-450367189
Herausgeber:
ACM Press
DOI:
10.1145/3315507.3330198
Autoren:
Anthony Anjorin, James Cheney
Veröffentlicht in:
11th Workshop on Theory and Practice of Provenance (TaPP 2019), 2019
Herausgeber:
USENIX
Autoren:
Wilmer Ricciotti, James Cheney
Veröffentlicht in:
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019, 2019, Seite(n) 70-73, ISBN 9781-450367189
Herausgeber:
ACM Press
DOI:
10.1145/3315507.3330202
Autoren:
Junao Wu, Arek Mikolajczak, James Cheney
Veröffentlicht in:
Proceedings of the 3rd International Companion Conference on Art, Science, and Engineering of Programming - Programming '19, 2019, Seite(n) 1-6, ISBN 9781-450362573
Herausgeber:
ACM Press
DOI:
10.1145/3328433.3328450
Autoren:
Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo Seltzer
Veröffentlicht in:
Proceedings of the 20th International Middleware Conference, 2019, Seite(n) 268-279, ISBN 9781-450370097
Herausgeber:
ACM
DOI:
10.1145/3361525.3361552
Autoren:
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
Veröffentlicht in:
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, Seite(n) 423-437, ISBN 9781-450376136
Herausgeber:
ACM
DOI:
10.1145/3385412.3386003
Autoren:
Wilmer Ricciotti, James Cheney
Veröffentlicht in:
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Ausgabe 167, 2020, Seite(n) 28:1-28:22, ISBN 978-3-95977-155-9
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.fscd.2020.28
Autoren:
Jan Stolarek, Przemyslaw Nowak
Veröffentlicht in:
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020, Seite(n) 887-893, ISBN 9781-450367936
Herausgeber:
ACM
DOI:
10.1145/3328778.3366886
Autoren:
Rudi Horn, Simon Fowler, James Cheney
Veröffentlicht in:
Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019, Seite(n) 1-12, ISBN 9781450375627
Herausgeber:
ACM
DOI:
10.1145/3412932.3412945
Autoren:
Paul Harvey, Simon Fowler, Ornela Dardha,Simon J. Gay
Veröffentlicht in:
35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021, ISBN 978-3-95977-190-0
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.ecoop.2021.10
Autoren:
James Cheney; Maribel Fernandez
Veröffentlicht in:
PPDP '22: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, 2022, Seite(n) 5:1-15, ISBN 978-1-4503-9703-2
Herausgeber:
ACM
Autoren:
Sidahmed Benabderrahmane, Ghita Berrada, James Cheney, Petko Valtchev
Veröffentlicht in:
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Seite(n) 3589-3596, ISBN 978-0-9992411-9-6
Herausgeber:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2021/494
Autoren:
James Cheney; Wilmer Ricciotti
Veröffentlicht in:
Proceedings of the 18th International Symposium on Database Programming Languages, 2021, Seite(n) 3-6, ISBN 978-1-4503-8646-3
Herausgeber:
ACM
DOI:
10.1145/3475726.3475730
Autoren:
James Cheney, Adriane Chapman, Joy Davidson, Alistair Forbes
Veröffentlicht in:
Advanced Mathematical and Computational Tools in Metrology and Testing XII, 2022, Seite(n) 167-187, ISBN 978-981-124-239-7
Herausgeber:
World Scientific
DOI:
10.1142/9789811242380_0009
Autoren:
Wilmer Ricciotti, James Cheney
Veröffentlicht 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, Ausgabe 12648, 2021, Seite(n) 579-606, ISBN 978-3-030-72018-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-72019-3_21
Autoren:
Wilmer Ricciotti, James Cheney
Veröffentlicht in:
Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Ausgabe 11187, 2018, Seite(n) 376-395, ISBN 978-3-030-02507-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-02508-3_20
Autoren:
Jan Stolarek, James Cheney
Veröffentlicht in:
Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Ausgabe 11825, 2019, Seite(n) 76-102, ISBN 978-3-030-33635-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-33636-3_4
Autoren:
Sheung Chi Chan, James Cheney
Veröffentlicht in:
Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings, Ausgabe 12007, 2020, Seite(n) 20-36, ISBN 978-3-030-39196-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-39197-3_2
Autoren:
Sándor Bartha, James Cheney
Veröffentlicht in:
Inductive Logic Programming - 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings, Ausgabe 11770, 2020, Seite(n) 16-25, ISBN 978-3-030-49209-0
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-49210-6_2
Autoren:
Vashti Galpin, James Cheney
Veröffentlicht 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, Ausgabe 12839, 2021, Seite(n) 237-243, ISBN 978-3-030-80959-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-80960-7_19
Autoren:
Simon Fowler, Simon Harding, Joanna Sharman, James Cheney
Veröffentlicht in:
International Journal of Digital Curation, Ausgabe 15/1, 2020, Seite(n) 15, ISSN 1746-8256
Herausgeber:
International journal of digital curation
DOI:
10.2218/ijdc.v15i1.717
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor