Thomas Genet

	2012
15		Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat: Tree Regular Model Checking for Lattice-Based Automata CoRR abs/1203.1495: (2012)
	2010
14		Thomas Genet, Vlad Rusu: Equational approximations for tree automata completion. J. Symb. Comput. 45(5): 574-597 (2010)
	2009
13		Benoît Boyer, Thomas Genet: Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems RULE 2009: 99-108
12		Olivier Heen, Gilles Guette, Thomas Genet: On the Unobservability of a Trust Relation in Mobile Ad Hoc Networks. WISTP 2009: 1-11
	2008
11		Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau: Towards an Efficient Implementation of Tree Automata Completion. AMAST 2008: 67-82
10		Benoît Boyer, Thomas Genet, Thomas P. Jensen: Certifying a Tree Automata Completion Checker. IJCAR 2008: 523-538
	2007
9		Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux: Rewriting Approximations for Fast Prototyping of Static Analyzers. RTA 2007: 48-62
	2006
8		Yohan Boichut, Thomas Genet: Feasible Trace Reconstruction for Rewriting Approximations. RTA 2006: 123-135
	2004
7		Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong: Reachability Analysis over Term Rewriting Systems. J. Autom. Reasoning 33(3-4): 341-383 (2004)
	2003
6		Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie: A Java Card CAP converter in PVS. Electr. Notes Theor. Comput. Sci. 82(2): 426-442 (2003)
5		Guillaume Feuillade, Thomas Genet: Reachability in Conditional Term Rewriting Systems. Electr. Notes Theor. Comput. Sci. 86(1): 133-146 (2003)
	2001
4		Thomas Genet, Valérie Viet Triem Tong: Reachability Analysis of Term Rewriting Systems with Timbuk. LPAR 2001: 695-706
	2000
3		Thomas Genet, Francis Klay: Rewriting for Cryptographic Protocol Verification. CADE 2000: 271-290
	1998
2		Thomas Genet: Decidable Approximations of Sets of Descendants and Sets of Normal Forms. RTA 1998: 151-165
	1997
1		Thomas Genet, Isabelle Gnaedig: Termination Proofs Using gpo Ordering Constraints. TAPSOFT 1997: 249-260

Coauthor Index

1	Emilie Balland	[11]
2	Yohan Boichut	[8] [9] [11]
3	Benoît Boyer	[10] [13]
4	Guillaume Feuillade	[5] [7]
5	Tristan Le Gall	[15]
6	Isabelle Gnaedig	[1]
7	Gilles Guette	[12]
8	Olivier Heen	[12]
9	Thomas P. Jensen	[6] [9] [10]
10	Francis Klay	[3]
11	Vikash Kodati	[6]
12	Axel Legay	[15]
13	Pierre-Etienne Moreau	[11]
14	Valérie Murat	[15]
15	David Pichardie	[6]
16	Luka Le Roux	[9]
17	Vlad Rusu	[14]
18	Valérie Viet Triem Tong	[4] [7]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page