Travelled to:1 × Germany
1 × Hungary
1 × Spain
Collaborated with:M.Lohrey S.Feng O.F.Gil K.Quaas
Talks about:monoton (2) word (2) tptl (2) data (2) non (2) mtl (2) ehrenfeucht (1) constraint (1) satisfi (1) tempor (1)
Person: Claudia Carapelle
DBLP: Carapelle:Claudia
Contributed to:
2015
2014
2014Wrote 3 papers:
- CSL-2015-CarapelleL #constraints #logic
- Temporal Logics with Local Constraints (CC, ML), pp. 2–13.
- AFL-2014-CarapelleFGQ13 #game studies #word
- Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 174–187.
- LATA-2014-CarapelleFGQ #satisfiability #word
- Satisfiability for MTL and TPTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 248–259.