CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Publicaciones
Autores:
Michael Sammler; Simon Spies; Youngju Song; Emanuele D'Osualdo; Robbert Krebbers; Deepak Garg; Derek Dreyer
Publicado en:
Proc. ACM Program. Lang., Edición 7 (POPL), 2023, ISSN 2475-1421
Editor:
ACM
DOI:
10.1145/3571220
Autores:
Viktor Vafeiadis; Ori Lahav; Michalis Kokologiannakis
Publicado en:
Proc. ACM Program. Lang., Edición 7 (POPL), 2023, ISSN 2475-1421
Editor:
ACM
DOI:
10.1145/3571212
Autores:
Emanuele D'Osualdo; Azalea Raad; Viktor Vafeiadis
Publicado en:
Proc. ACM Program. Lang., Edición 7 (POPL), 2023, ISSN 2475-1421
Editor:
ACM
DOI:
10.48550/arxiv.2211.07631
Autores:
Ori Lahav; Egor Namakonov; Jonas Oberhauser; Anton Podkopaev; Viktor Vafeiadis
Publicado en:
Proc. ACM Program. Lang., Edición 5 (OOPSLA), 2021, ISSN 2475-1421
Editor:
ACM
DOI:
10.1145/3485475
Autores:
Emanuele D’Osualdo; Azadeh Farzan; Derek Dreyer
Publicado en:
Proc. ACM Program. Lang., Edición 6 (OOPSLA2), 2022, ISSN 2475-1421
Editor:
ACM
DOI:
10.1145/3563298
Autores:
Lennard Gäher; Michael Sammler; Simon Spies; Ralf Jung; Hoang-Hai Dang; Robbert Krebbers; Jeehoon Kang; Derek Dreyer
Publicado en:
Proc. ACM Program. Lang, Edición 6 (POPL), 2022, ISSN 2475-1421
Editor:
ACM
DOI:
10.1145/3498689
Autores:
Joshua Yanovski; Hoang-Hai Dang; Ralf Jung; Derek Dreyer
Publicado en:
Proc. ACM Program. Lang., Edición 5 (ICFP), 2021, ISSN 2475-1421
Editor:
ACM
DOI:
10.1145/3473597
Autores:
Azalea Raad; Luc Maranget; Viktor Vafeiadis
Publicado en:
Proc. ACM Program. Lang., Edición 6 (POPL), 2022, ISSN 2475-1421
Editor:
ACM
DOI:
10.1145/3498683
Autores:
Evgenii Moiseenko; Michalis Kokologiannakis; Viktor Vafeiadis
Publicado en:
Proc. ACM Program. Lang., Edición 6 (OOPLSA2), 2022, ISSN 2475-1421
Editor:
ACM
DOI:
10.1145/3563315
Autores:
Michalis Kokologiannakis; Iason Marmanis; Vladimir Gladstein; Viktor Vafeiadis
Publicado en:
Proc. ACM Program. Lang., Edición 6 (POPL), 2022, ISSN 2475-1421
Editor:
ACM
DOI:
10.1145/3498711
Autores:
Iason Marmanis; Viktor Vafeiadis
Publicado en:
VSTTE 2022, 2022
Editor:
Springer
DOI:
10.1007/978-3-031-25803-9_6
Autores:
Michalis Kokologiannakis; Viktor Vafeiadis
Publicado en:
CAV 2021, 2021, ISBN 978-3-030-81684-1
Editor:
Springer
DOI:
10.1007/978-3-030-81685-8_20
Autores:
Michalis Kokologiannakis; Xiaowei Ren; Viktor Vafeiadis
Publicado en:
Formal Methods in Computer Aided Design (FMCAD) 2021, 2021, Página(s) 163-172
Editor:
IEEE
DOI:
10.34727/2021/isbn.978-3-85448-046-4_25
Autores:
Michalis Kokologiannakis; Rupak Majumdar; Viktor Vafeiadis
Publicado en:
TACAS 2024, 2024
Editor:
Springer
DOI:
10.1007/978-3-031-57249-4_4
Autores:
Iason Marmanis; Michalis Kokologiannakis; Viktor Vafeiadis
Publicado en:
TACAS 2023, 2023
Editor:
Springer
DOI:
10.1007/978-3-031-30823-9_5
Autores:
Viktor Vafeiadis
Publicado en:
CALCO 2021, 2021, Página(s) 4:1-4:3
Editor:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.calco.2021.4
Autores:
Michalis Kokologiannakis; Iason Marmanis; Viktor Vafeiadis
Publicado en:
CAV 2023, 2023
Editor:
Springer
DOI:
10.1007/978-3-031-37706-8_12
Autores:
Hoang-Hai Dang; Jaehwang Jung; Jaemin Choi; Duc-Than Nguyen; William Mansky; Jeehoon Kang; Derek Dreyer
Publicado en:
PLDI 2022, 2022
Editor:
ACM
DOI:
10.1145/3519939.3523451
Autores:
Léo Stefanesco; Azalea Raad; Viktor Vafeiadis
Publicado en:
ESOP 2024, 2024
Editor:
Springer
DOI:
10.1007/978-3-031-57267-8_8
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles