Travelled to:1 × Austria
1 × Italy
1 × Japan
1 × United Kingdom
Collaborated with:D.Kuperberg M.Benedikt B.t.Cate T.Colcombet C.Löding A.Blumensath P.Parys
Talks about:logic (5) cost (3) interpol (2) infinit (2) guard (2) defin (2) decid (2) tree (2) fixpoint (1) automata (1)
Person: Michael Vanden Boom
DBLP: Boom:Michael_Vanden
Contributed to:
20152014
2013
2012Wrote 6 papers:
- LICS-2015-BenediktCB #decidability #fixpoint #logic
- Interpolation with Decidable Fixpoint Logics (MB, BtC, MVB), pp. 378–389.
- LICS-2015-BenediktCCB #bound #complexity #logic
- The Complexity of Boundedness for Guarded Logics (MB, BtC, TC, MVB), pp. 293–304.
- LICS-CSL-2014-BenediktCB #effectiveness #logic
- Effective interpolation and preservation in guarded logics (MB, BtC, MVB), p. 10.
- LICS-CSL-2014-BlumensathCKPB #automaton #infinity #logic
- Two-way cost automata and cost logics over infinite trees (AB, TC, DK, PP, MVB), p. 9.
- CSL-2013-ColcombetKLB #automaton
- Deciding the weak definability of Büchi definable tree languages (TC, DK, CL, MVB), pp. 215–230.
- ICALP-v2-2012-KuperbergB #infinity #logic #on the #power of #word
- On the Expressive Power of Cost Logics over Infinite Words (DK, MVB), pp. 287–298.