`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:

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