CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Publications
Auteurs:
Boker, Udi; Kuperberg, Denis; Lehtinen, Karoliina; Skrzypczak, Michał
Publié dans:
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), 2020, Page(s) 41:1--41:13, ISBN 978-3-95977-174-0
Éditeur:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.fsttcs.2020.41
Auteurs:
Karoliina Lehtinen, Martin Zimmermann
Publié dans:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Page(s) 689-702, ISBN 9781450371049
Éditeur:
ACM
DOI:
10.1145/3373718.3394737
Auteurs:
Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingolfsdottir and Karoliina Lehtinen
Publié dans:
29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021, Page(s) 7:1--7:23, ISBN 978-3-95977-175-7
Éditeur:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.csl.2021.7
Auteurs:
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Publié dans:
Software and Systems Modeling, Numéro 05 February 2021, 2021, ISSN 1619-1366
Éditeur:
Springer Verlag
DOI:
10.1007/s10270-020-00860-z
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible