Markus Frick

According to our database, Markus Frick authored at least 11 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the 57th Hawaii International Conference on System Sciences, 2024

2023

Model-Based Generation of Attack-Fault Trees.

Raffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy, Michael Felderer

Proceedings of the Computer Safety, Reliability, and Security, 2023

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, Jan Friedrich Scheitz, Serdar Tütüncü, Tatiana Usnich, Alfred Holzgreve, Thorsten Schaaf, Thomas Tolxdorff

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

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, Markus Frick, Martin Trautwein, Thorsten Schaaf, Alfred Holzgreve, Thomas Tolxdorff

Proceedings of the KEOD 2013, 2013

2004

Generalized Model-Checking over Locally Tree-Decomposable Classes.

Markus Frick

Theory Comput. Syst., 2004

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

Markus Frick, Martin Grohe

Ann. Pure Appl. Log., 2004

2003

Query Evaluation on Compressed Trees (Extended Abstract).

Markus Frick, Martin Grohe, Christoph Koch

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2002

Query evaluation via tree-decompositions.

Jörg Flum, Markus Frick, Martin Grohe

J. ACM, 2002

2001

Easy instances for model checking.

Markus Frick

PhD thesis, 2001

Deciding first-order properties of locally tree-decomposable structures.

Markus Frick, Martin Grohe

J. ACM, 2001

1999

Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs.

Markus Frick, Martin Grohe

Proceedings of the Automata, 1999