Hubert Comon-Lundh

Identifiers

• name variant Hubert Comon-Lundh 0.60 · backfill

Papers (2)

1. Visibly Tree Automata with Memory and Constraints cs.LO · 2008 · author #1
2. Deciding security properties for cryptographic protocols. Application to key cycles cs.LO · 2007 · author #1

Mentions

• 0804.3065 #1 · backfill · confidence 0.70 Hubert Comon-Lundh
• 0708.3564 #1 · backfill · confidence 0.70 Hubert Comon-Lundh

Frequent Coauthors

• Eugen Zalinescu 1 shared papers
• Florent Jacquemard 1 shared papers
• Nicolas Perrin 1 shared papers
• V\'eronique Cortier 1 shared papers