Claudia Carapelle

Identifiers

• name variant Claudia Carapelle 0.60 · backfill

Papers (2)

1. Satisfiability of ECTL* with tree constraints cs.LO · 2014 · author #1
2. Satisfiability of CTL* with constraints cs.LO · 2013 · author #1

Mentions

• 1412.2905 #1 · backfill · confidence 0.70 Claudia Carapelle
• 1306.0814 #1 · backfill · confidence 0.70 Claudia Carapelle

Frequent Coauthors

• Alexander Kartzow 2 shared papers
• Markus Lohrey 2 shared papers
• Shiguang Feng 1 shared papers