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 × 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 DBLP: Boom:Michael_Vanden

Contributed to:

LICS 20152015
CSL-LICS 20142014
CSL 20132013
ICALP (2) 20122012

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.

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.