M. Frick

Termination orders for three-dimensional rewriting

George Barmpalias, Martin Grohe, M. Frick, 2006 .

Ontology-Based Semantic Annotation of Documents in the Context of Patient Identification for Clinical Trials

Frank Müller, Thomas Tolxdorff, Thorsten Schaaf, 2013, OTM Conferences.

Patient Identification for Clinical Trials with Ontology-based Information Extraction from Documents

Frank Müller, Thomas Tolxdorff, Thorsten Schaaf, 2013, KEOD.

Deciding first-order properties of locally tree-decomposable structures

Martin Grohe, Markus Frick, Martin Grohe, 2000, JACM.

Generalized Model-Checking over Locally Tree-Decomposable Classes

Markus Frick, M. Frick, 2002, STACS.

Generalized Model-Checking over Locally Tree-Decomposable Classes

Markus Frick, M. Frick, 2003, Theory of Computing Systems.

Easy instances for model checking

Markus Frick, M. Frick, Markus Frick, 2001 .

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

Martin Grohe, Markus Frick, Martin Grohe, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

Query evaluation via tree-decompositions

Jörg Flum, Martin Grohe, Markus Frick, 2001, JACM.

Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs

Martin Grohe, Markus Frick, Martin Grohe, 1999, ICALP.