Travelled to:1 × Hungary
1 × Spain
1 × United Kingdom
Collaborated with:K.Quaas C.Carapelle O.F.Gil M.Lohrey
Talks about:word (3) tptl (3) data (3) mtl (3) monoton (2) non (2) ehrenfeucht (1) satisfi (1) fraiss (1) check (1)
Person: Shiguang Feng
DBLP: Feng:Shiguang
Contributed to:
2015
2014
2014Wrote 3 papers:
- DLT-2015-FengLQ #word
- Path Checking for MTL and TPTL over Data Words (SF, ML, KQ), pp. 326–339.
- 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.