MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Thomas Genet" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

ATOM

Proving Termination of Sequential Reduction Relation using Tree Automata
by Thomas Genet — 1997
…Proving Termination of Sequential Reduction Relation using Tree Automata Thomas Genet INRIA…
Cited by 1 (1 self) – Add To MetaCart

Decidable Approximations of Sets of Descendants and Sets of Normal Forms
by Thomas Genet, Thomas Genet — 1997
… -- Thomas Genet N 3325 December 1997 TH EME Decidable Approximations of Sets of Descendants and Sets…
Cited by 32 (12 self) – Add To MetaCart

Reachability in conditional term rewriting systems
by Guillaume Feuillade, Thomas Genet — 2003 — In: FTP'2003, International Workshop on First-Order Theorem Proving
… Genet 2 IRISA Universit'e de Rennes 1 & ENS Cachan Campus de Beaulieu F-35042 Rennes Abstract…
Cited by 3 (2 self) – Add To MetaCart

Solving gpo Ordering Constraints with a Shared Term Data Structure
by Thomas Genet, Isabelle Gnaedig — 1996
…Solving gpo Ordering Constraints with a Shared Term Data Structure Thomas Genet and Isabelle…
Cited by 1 (0 self) – Add To MetaCart

Feasible Trace Reconstruction for Rewriting Approximations
by Yohan Boichut, Thomas Genet — in "Rewriting Techniques and Applications (RTA’06)", Springer LNCS
…Feasible Trace Reconstruction for Rewriting Approximations Yohan Boichut 1 and Thomas Genet 2 1…
Cited by 1 (0 self) – Add To MetaCart

Rewriting for Cryptographic Protocol Verification
by Thomas Genet, Francis Klay — 1999
…Rewriting for Cryptographic Protocol Verification Thomas Genet 1 Francis Klay 2 1 IRISA…
Cited by 38 (6 self) – Add To MetaCart

Termination Proofs using gpo Ordering Constraints
by Thomas Genet, Isabelle Gnaedig — 1997 — Proceedings 22nd International Colloquium on Trees in Algebra and Programming
…Termination Proofs using gpo Ordering Constraints Thomas Genet and Isabelle Gnaedig INRIA…
Cited by 6 (1 self) – Add To MetaCart

A Java Card CAP Converter in PVS
by Thomas Genet, Thomas Jensen, Vikash Kodati, David Pichardie — 2003 — In Proc. of 2nd International Workshop on Compiler Optimization Meets Compiler Verification (COCV
…://www.elsevier.nl/locate/entcs/volume82.html 17 pages A Java Card CAP converter in PVS Thomas Genet 1 Thomas Jensen 1 Vikash Kodati…
Cited by 2 (1 self) – Add To MetaCart

A Security Protocol Animator Tool for AVISPA
by Yann Glouche, Thomas Genet, Olivier Heen, Olivier Courtay — 2006 — In ARTIST-2 workshop
…A Security Protocol Animator Tool for AVISPA Yann Glouche 1 , Thomas Genet 1 , Olivier Heen 2…
Cited by 1 (1 self) – Add To MetaCart

Reachability Analysis of Term Rewriting Systems with Timbuk
by Isrn Inria Rr--, Valrie Viet, Thomas Genet, Thomas Genet, Triem Tong, Triem Tong — 2001 — In: LPAR Proceedings. (2001
… - Thomas Genet , Valrie Viet Triem Tong N4266 Septembre 2001 THME 2 Reachability Analysis of Term…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB