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 .
Deliverables
Data management plan
Publications
Author(s):
Cohen, Cyril; Crance Enzo; Mahboubi, Assia
Published in:
Programming Languages and Systems. ESOP 2024, 2024
Publisher:
Springer
DOI:
10.1007/978-3-031-57262-3_11
Author(s):
Mahboubi, Assia; Piquerez, Matthieu
Published in:
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)., 2024
Publisher:
Leibniz International Proceedings in Informatics
DOI:
10.4230/lipics.csl.2024.38
Author(s):
Cohen, Cyril; Crance, Enzo; Mahboubi, Assia
Published in:
Programming Languages and Systems. ESOP 2024, Issue 14576, 2024, ISBN 978-3-031-57262-3
Publisher:
Springer
DOI:
10.1007/978-3-031-57262-3_10
Author(s):
Moreau, Josué; Melquiond, Guillaume
Published in:
ICFP '24: ACM SIGPLAN International Conference on Functional Programming. Proceedings of the ACM on Programing Langages, 2024
Publisher:
Association for Computing Machinery
Author(s):
Guillemet, Benoît; Mahboubi, Assia; Piquerez, Matthieu
Published in:
9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), 2024, Page(s) 7:1-7:19
Publisher:
Leibniz International Proceedings in Informatics
Author(s):
Mahboubi, Assia; Melquiond, Guillaume
Published in:
TYPES 2023 - 29th International Conference on Types for Proofs and Programs, Jun 2023, Valencia, Spain. pp.1-3, 2023
Publisher:
Universitat Politècnica de València
Author(s):
Martin-Dorel, Érik; Melquiond, Guillaume; Roux, Pierre
Published in:
Journal of Automated Reasoning, 2023, ISSN 0168-7433
Publisher:
Kluwer Academic Publishers
DOI:
10.1007/s10817-023-09679-x
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available