Claude Kirchner

Identifiers

• name variant Claude Kirchner 0.60 · backfill

Papers (3)

1. A Type System for Tom cs.LO · 2010 · author #1
2. Verification of Timed Automata Using Rewrite Rules and Strategies cs.LO · 2009 · author #4
3. Verification of Timed Automata Using Rewrite Rules and Strategies cs.PL · 2001 · author #4

Mentions

• 1003.4799 #1 · backfill · confidence 0.70 Claude Kirchner
• 0907.3123 #4 · backfill · confidence 0.70 Claude Kirchner

Frequent Coauthors

• Emmanuel Beffara 2 shared papers
• Hassen Kacem 2 shared papers
• Olivier Bournez 2 shared papers
• Cl\'audia Tavares 1 shared papers
• Pierre-Etienne Moreau 1 shared papers