CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
Autorzy:
Tanguy Bozec, Jasmin Blanchette
Opublikowane w:
Lecture Notes in Computer Science, Frontiers of Combining Systems, 2025
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-04167-8_15
Autorzy:
Balazs Toth, Martin Desharnais-Schäfer, Jasmin Blanchette
Opublikowane w:
Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026
Wydawca:
ACM
DOI:
10.1145/3779031.3779099
Autorzy:
Desharnais, Martin; Toth, Balazs; Waldmann, Uwe; Blanchette, Jasmin; Tourret, Sophie
Opublikowane w:
ITP 2024, 2024
Wydawca:
Schloss Dagstuhl
DOI:
10.4230/LIPICS.ITP.2024.12
Autorzy:
Lukas Bartl, Jasmin Blanchette, Tobias Nipkow
Opublikowane w:
Lecture Notes in Computer Science, Automated Deduction – CADE 30, 2025
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-99984-0_30
Autorzy:
Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette
Opublikowane w:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Wydawca:
Springer
DOI:
10.1007/978-3-031-90643-5_5
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników