Travelled to:1 × Germany
1 × United Kingdom
2 × Hungary
3 × Spain
Collaborated with:∅ S.Feng C.Carapelle O.F.Gil M.Droste M.Lohrey
Talks about:automata (3) weight (3) word (3) tptl (3) time (3) data (3) mtl (3) monoton (2) logic (2) check (2)
Person: Karin Quaas
DBLP: Quaas:Karin
Contributed to:
2015
2014
2014201320112009
2008Wrote 7 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.
- LATA-2013-Quaas #automaton #logic #metric #model checking
- Model Checking Metric Temporal Logic over Automata with One Counter (KQ), pp. 468–479.
- LATA-2011-Quaas #automaton #bound #on the #problem
- On the Interval-Bound Problem for Weighted Timed Automata (KQ), pp. 452–464.
- DLT-2009-Quaas #logic
- Weighted Timed MSO Logics (KQ), pp. 419–430.
- FoSSaCS-2008-DrosteQ #automaton #theorem
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (MD, KQ), pp. 142–156.