Clément Hérouard

According to our database¹, Clément Hérouard authored at least 3 papers between 2019 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

Modelling and verification of protocols in the computational model with Squirrel. (Modélisation et vérification de protocoles dans le modèle calculatoire avec Squirrel).

[BibT_eX]

[DOI]

Clément Hérouard

PhD thesis, 2025

Secrecy by Typing in the Computational Model.

[BibT_eX]

[DOI]

Stéphanie Delaune

Clément Hérouard

Joseph Lallemand

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025

2019

Design and evaluation of a semantic indicator for automatically supporting programming learning.

[BibT_eX]

[DOI]

Julien Broisin

Clément Hérouard

Proceedings of the 12th International Conference on Educational Data Mining, 2019

Clément Hérouard

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...