# François Garillot

According to our database

Collaborative distances:

^{1}, François Garillot authored at least 11 papers between 2006 and 2023.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2023

IACR Cryptol. ePrint Arch., 2023

IACR Cryptol. ePrint Arch., 2023

2021

IACR Cryptol. ePrint Arch., 2021

IACR Cryptol. ePrint Arch., 2021

2020

IACR Cryptol. ePrint Arch., 2020

2013

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011

Generic Proof Tools and Finite Group Theory. (Outils génériques de preuve et théorie des groupes finis).

PhD thesis, 2011

2009

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2007

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

2006

Statically Typed Document Transformation: An Xtatic Experience.

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006