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:
Jean-Yves Moyen
Jakob Grue Simonsen
Publié dans:
Developments in Implicit Computational Complexity, DICE'16, 2016
Éditeur:
Damiano Mazza
Auteurs:
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Publié dans:
International Symposium on Automated Technology for Verification and Analysis ATVA 2017, 2017, Page(s) 91-108
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-68167-2_7
Auteurs:
Jean-Yves Moyen, Jakob Grue Simonsen
Publié dans:
Electronic Proceedings in Theoretical Computer Science, Numéro 248, 2017, Page(s) 38-46, ISSN 2075-2180
Éditeur:
Guillaume Bonfante and Georg Möser
DOI:
10.4204/EPTCS.248.8
Auteurs:
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Publié dans:
Electronic Proceedings in Theoretical Computer Science, Numéro 248, 2017, Page(s) 47-59, ISSN 2075-2180
Éditeur:
Guillaume Bonfante and Georg Möser
DOI:
10.4204/EPTCS.248.9
Auteurs:
Jean-Yves Moyen
Publié dans:
2017
Éditeur:
University of Copenhagen
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible