Pierre-Léo Bégay

According to our database¹, Pierre-Léo Bégay authored at least 2 papers in 2021.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2021

Developing and certifying in Coq/MathComp of Datalog optimizations for network verification. (Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau).

[BibT_eX]

[DOI]

Pierre-Léo Bégay

PhD thesis, 2021

Developing and certifying Datalog optimizations in coq/mathcomp.

[BibT_eX]

[DOI]

Pierre-Léo Bégay

Pierre Crégut

Jean-François Monin

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

Pierre-Léo Bégay

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...