Florent Jacquemard

Identifiers

• name variant Florent Jacquemard 0.60 · backfill

Papers (3)

1. FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems cs.FL · 2016 · author #1
2. Automated Induction for Complex Data Structures cs.LO · 2008 · author #2
3. Visibly Tree Automata with Memory and Constraints cs.LO · 2008 · author #2

Mentions

• 0811.4720 #2 · backfill · confidence 0.70 Florent Jacquemard
• 0804.3065 #2 · backfill · confidence 0.70 Florent Jacquemard

Frequent Coauthors

• Adel Bouhoula 1 shared papers
• Hubert Comon-Lundh 1 shared papers
• Jer\'emie Dimino 1 shared papers
• Luc Segoufin 1 shared papers
• Nicolas Perrin 1 shared papers