Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs. - Markus Frick; Martin Grohe (ICALP, 1999)

Deciding first-order properties of locally tree-decomposable structures. - Markus Frick; Martin Grohe (J. ACM, 2001)

Easy instances for model checking. - Markus Frick (2001)

Query evaluation via tree-decompositions. - Jörg Flum; Markus Frick; Martin Grohe (J. ACM, 2002)

Query Evaluation on Compressed Trees (Extended Abstract). - Markus Frick; Martin Grohe; Christoph Koch 001 (LICS, 2003)

The complexity of first-order and monadic second-order logic revisited. - Markus Frick; Martin Grohe (Ann. Pure Appl. Log., 2004)

Generalized Model-Checking over Locally Tree-Decomposable Classes. - Markus Frick (Theory Comput. Syst., 2004)

Patient Identification for Clinical Trials with Ontology-based Information Extraction from Documents. - Peter Geibel; Hebun Erdur; Lothar Zimmermann; Stefan Krüger; Kati Jegzentis; Josef Schepers; Anne Becker; Frank Müller; Christian Hans Nolte; Jan Friedrich Scheitz; Serdar Tütüncü; Tatiana Usnich; et al. (KEOD, 2013)

Ontology-Based Semantic Annotation of Documents in the Context of Patient Identification for Clinical Trials. - Peter Geibel; Martin Trautwein; Hebun Erdur; Lothar Zimmermann; Stefan Krüger; Josef Schepers; Kati Jegzentis; Frank Müller; Christian Hans Nolte; Anne Becker; Markus Frick; Jochen Setz; et al. (OTM Conferences, 2013)

Model-Based Generation of Attack-Fault Trees. - Raffaela Groner; Thomas Witte; Alexander Raschke; Sophie Hirn; Irdin Pekaric; Markus Frick; Matthias Tichy; Michael Felderer (SAFECOMP, 2023)

Streamlining Attack Tree Generation: A Fragment-Based Approach. - Irdin Pekaric; Markus Frick; Jubril Gbolahan Adigun; Raffaela Groner; Thomas Witte; Alexander Raschke; Michael Felderer; Matthias Tichy (HICSS, 2024)