BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Carapelle:Claudia

Contributed to:

CSL 20152015
AFL 20142014
LATA 20142014

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.