Concepedia

Markus Frick

MF

Statistics

Publications

6

Citations

817

H-Index

6

Active since

2001

Affiliations

University of Edinburgh(Current)

University of Freiburg

Markus Frick is an author at University of Edinburgh specializing in automated reasoning, computer science, and engineering.

Top concepts

EngineeringComputer ScienceAutomated ReasoningComputational ComplexityFormal MethodsData ScienceSemantic WebQuery OptimizationFormal VerificationKnowledge Discovery

Publications per year

2001–2004

6

Publications

6

Deciding first-order properties of locally tree-decomposable structures

Markus Frick, Martin Grohe · Journal of the ACM · 2001 · 227 citations

Mathematical Programming, Engineering, Relational Structures +17

Query evaluation via tree-decompositions

Jörg Flum, Markus Frick, Martin Grohe · Journal of the ACM · 2002 · 217 citations

Engineering, Computational Complexity, Higher-order Logic +20

The complexity of first-order and monadic second-order logic revisited

Markus Frick, Martin Grohe · Annals of Pure and Applied Logic · 2004 · 207 citations

Monadic Second-order Logic, Engineering, Abstract Complexity +6

Query evaluation on compressed trees

Markus Frick, Martin Grohe, Christoph Koch · 2003 · 88 citations · Full text

Engineering, Computational Complexity, Semantic Web +21

The complexity of first-order and monadic second-order logic revisited

Markus Frick, Martin Grohe · 2003 · 62 citations

Monadic Second-order Logic, Engineering, Abstract Complexity +13

1–5 of 6