Thomas Genet
发表
Thomas Genet,
2015
.
Benoît Boyer,
Thomas P. Jensen,
Thomas Genet,
2008,
IJCAR.
Thomas Genet,
T. Genet,
1998,
RTA.
Thomas Jensen,
Benoît Boyer,
Thomas Genet,
2008
.
Thomas Genet,
Timothée Haudebourg,
Thomas Jensen,
2020,
Proc. ACM Program. Lang..
Thomas Genet,
2014
.
Thomas Genet,
2018
.
Thomas Genet,
Francis Klay,
T. Genet,
2000,
CADE.
Thomas Genet,
2015
.
Valérie Viet Triem Tong,
Thomas Genet,
Guillaume Feuillade,
2004,
Journal of Automated Reasoning.
Axel Legay,
Tristan Le Gall,
Thomas Genet,
2012,
ArXiv.
David Pichardie,
Thomas P. Jensen,
Thomas Genet,
2003,
Electron. Notes Theor. Comput. Sci..
Verification of Copy-Protection Cryptographic Protocol using Approximations of Term Rewriting System
Thomas Genet,
T. Genet,
2003
.
Isabelle Gnaedig,
Thomas Genet,
1997
.
Valérie Viet Triem Tong,
Jean-François Lalande,
Thomas Genet,
2017,
2017 12th International Conference on Malicious and Unwanted Software (MALWARE).
Yohan Boichut,
Olivier Heen,
Thomas Genet,
2007
.
Thomas Jensen,
Thomas Genet,
Luka Leroux,
2006
.
Thomas Genet,
Yann Glouche,
2006
.
Yohan Boichut,
Thomas Genet,
Luka Leroux,
2006
.
Thomas Genet,
Yann Salmon,
2015
.
Thomas Genet,
Thomas Jensen,
Justine Sauvage,
2020,
ICETE.
Valérie Viet Triem Tong,
Thomas Genet,
T. Genet,
2001,
LPAR.
Olivier Heen,
Thomas Genet,
Gilles Guette,
2009,
WISTP.
Isabelle Gnaedig,
Thomas Genet,
1997,
TAPSOFT.
Axel Legay,
Benoît Boyer,
Yohan Boichut,
2012,
ICFEM.
Thomas Genet,
Guillaume Feuillade,
2003,
Electron. Notes Theor. Comput. Sci..
Thomas Genet,
Tristan Gillard,
Timothée Haudebourg,
2018,
WRLA@ETAPS.
Isabelle Gnaedig,
Thomas Genet,
1996
.
Yohan Boichut,
Thomas Genet,
T. Genet,
2006,
RTA.
Vlad Rusu,
Thomas Genet,
T. Genet,
2010,
J. Symb. Comput..
Pierre-Etienne Moreau,
Yohan Boichut,
Thomas Genet,
2008,
AMAST.
Thomas Genet,
T. Genet,
2014,
WRLA.
Thomas Genet,
Timothée Haudebourg,
Thomas Jensen,
2020
.
Benoît Boyer,
Thomas Genet,
T. Genet,
2010,
RULE.
Olivier Heen,
Nicolas Prigent,
Thomas Genet,
2008
.
Thomas Genet,
T. Genet,
2016,
J. Log. Algebraic Methods Program..
Thomas Genet,
Yann Salmon,
T. Genet,
2013,
Log. Methods Comput. Sci..
Thomas Genet,
2009
.
Thomas Genet,
2018,
FSCD.
Axel Legay,
Tristan Le Gall,
Thomas Genet,
2013,
CIAA.
Thomas Genet,
2017
.
Yohan Boichut,
Thomas P. Jensen,
Thomas Genet,
2007,
RTA.
Thomas P. Jensen,
Thomas Genet,
Timothée Haudebourg,
2017,
FoSSaCS.
Thomas Genet,
1998
.
Thomas Genet,
2018
.
Thomas Genet,
Thomas Jensen,
Thomas Haudebourg,
2020
.
Thomas Genet,
T. Genet,
2017
.
Olivier Heen,
Thomas Genet,
Olivier Courtay,
2006
.
Thomas Genet,
2014
.
Thomas Genet,
T. Genet,
Yann Salmon,
2013
.
Thomas Genet,
T. Genet,
2009
.