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:
Michael Sammler; Simon Spies; Youngju Song; Emanuele D'Osualdo; Robbert Krebbers; Deepak Garg; Derek Dreyer
Opublikowane w:
Proc. ACM Program. Lang., Numer 7 (POPL), 2023, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3571220
Autorzy:
Viktor Vafeiadis; Ori Lahav; Michalis Kokologiannakis
Opublikowane w:
Proc. ACM Program. Lang., Numer 7 (POPL), 2023, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3571212
Autorzy:
Emanuele D'Osualdo; Azalea Raad; Viktor Vafeiadis
Opublikowane w:
Proc. ACM Program. Lang., Numer 7 (POPL), 2023, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.48550/arxiv.2211.07631
Autorzy:
Ori Lahav; Egor Namakonov; Jonas Oberhauser; Anton Podkopaev; Viktor Vafeiadis
Opublikowane w:
Proc. ACM Program. Lang., Numer 5 (OOPSLA), 2021, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3485475
Autorzy:
Emanuele D’Osualdo; Azadeh Farzan; Derek Dreyer
Opublikowane w:
Proc. ACM Program. Lang., Numer 6 (OOPSLA2), 2022, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3563298
Autorzy:
Lennard Gäher; Michael Sammler; Simon Spies; Ralf Jung; Hoang-Hai Dang; Robbert Krebbers; Jeehoon Kang; Derek Dreyer
Opublikowane w:
Proc. ACM Program. Lang, Numer 6 (POPL), 2022, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3498689
Autorzy:
Joshua Yanovski; Hoang-Hai Dang; Ralf Jung; Derek Dreyer
Opublikowane w:
Proc. ACM Program. Lang., Numer 5 (ICFP), 2021, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3473597
Autorzy:
Azalea Raad; Luc Maranget; Viktor Vafeiadis
Opublikowane w:
Proc. ACM Program. Lang., Numer 6 (POPL), 2022, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3498683
Autorzy:
Evgenii Moiseenko; Michalis Kokologiannakis; Viktor Vafeiadis
Opublikowane w:
Proc. ACM Program. Lang., Numer 6 (OOPLSA2), 2022, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3563315
Autorzy:
Michalis Kokologiannakis; Iason Marmanis; Vladimir Gladstein; Viktor Vafeiadis
Opublikowane w:
Proc. ACM Program. Lang., Numer 6 (POPL), 2022, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3498711
Autorzy:
Iason Marmanis; Viktor Vafeiadis
Opublikowane w:
VSTTE 2022, 2022
Wydawca:
Springer
DOI:
10.1007/978-3-031-25803-9_6
Autorzy:
Michalis Kokologiannakis; Viktor Vafeiadis
Opublikowane w:
CAV 2021, 2021, ISBN 978-3-030-81684-1
Wydawca:
Springer
DOI:
10.1007/978-3-030-81685-8_20
Autorzy:
Michalis Kokologiannakis; Xiaowei Ren; Viktor Vafeiadis
Opublikowane w:
Formal Methods in Computer Aided Design (FMCAD) 2021, 2021, Strona(/y) 163-172
Wydawca:
IEEE
DOI:
10.34727/2021/isbn.978-3-85448-046-4_25
Autorzy:
Michalis Kokologiannakis; Rupak Majumdar; Viktor Vafeiadis
Opublikowane w:
TACAS 2024, 2024
Wydawca:
Springer
DOI:
10.1007/978-3-031-57249-4_4
Autorzy:
Iason Marmanis; Michalis Kokologiannakis; Viktor Vafeiadis
Opublikowane w:
TACAS 2023, 2023
Wydawca:
Springer
DOI:
10.1007/978-3-031-30823-9_5
Autorzy:
Viktor Vafeiadis
Opublikowane w:
CALCO 2021, 2021, Strona(/y) 4:1-4:3
Wydawca:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.calco.2021.4
Autorzy:
Michalis Kokologiannakis; Iason Marmanis; Viktor Vafeiadis
Opublikowane w:
CAV 2023, 2023
Wydawca:
Springer
DOI:
10.1007/978-3-031-37706-8_12
Autorzy:
Hoang-Hai Dang; Jaehwang Jung; Jaemin Choi; Duc-Than Nguyen; William Mansky; Jeehoon Kang; Derek Dreyer
Opublikowane w:
PLDI 2022, 2022
Wydawca:
ACM
DOI:
10.1145/3519939.3523451
Autorzy:
Léo Stefanesco; Azalea Raad; Viktor Vafeiadis
Opublikowane w:
ESOP 2024, 2024
Wydawca:
Springer
DOI:
10.1007/978-3-031-57267-8_8
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników