Concepedia

Michael Vanden Boom

MV

7

Publications

144

Citations

7

H-Index

2007

Active since

Affiliations

University of Oxford(Current)

University of Notre Dame

Université Paris Cité

Délégation Paris 7

University of California, Santa Cruz

Michael Vanden Boom is an author at University of Oxford specializing in computer science, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational ComplexityVerificationProof ComplexityData SecuritySatisfiability

Publications per year

2007–2016

7

Publications

7

Turing computable embeddings

Julia F. Knight, Sara Miller, Michael Vanden Boom · Journal of Symbolic Logic · 2007 · 55 citations

Engineering, Automated Reasoning, Computational Model Theory +9

The Complexity of Boundedness for Guarded Logics

Michael Benedikt, Balder ten Cate, Thomas Colcombet et al. · 2015 · 23 citations

Computational Logic, Guarded Logics, Engineering +12

The effective Borel hierarchy

Michael Vanden Boom · Fundamenta Mathematicae · 2007 · 18 citations · Full text

Effective Borel Hierarchy, Knowledge Discovery, Set-theoretic Topology +4

A Step Up in Expressiveness of Decidable Fixpoint Logics

Michael Benedikt, Pierre Bourhis, Michael Vanden Boom · 2016 · 14 citations

Computational Logic, Decidable Fixpoint Logics, Formal Specification +15

Two-way cost automata and cost logics over infinite trees

Achim Blumensath, Thomas Colcombet, Denis Kuperberg et al. · 2014 · 12 citations · Full text

Engineering, Computational Complexity, Formal Verification +17

Rows per page

1–5 of 7