Markus Frick

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 4

Top Venues

CoRR

HICSS

SAFECOMP

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Irdin Pekaric, Markus Frick, Jubril Gbolahan Adigun, Raffaela Groner, Thomas Witte, Alexander Raschke, Michael Felderer, Matthias Tichy
Streamlining Attack Tree Generation: A Fragment-Based Approach. HICSS (2024)
Raffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy, Michael Felderer
Model-Based Generation of Attack-Fault Trees. SAFECOMP (2023)
Irdin Pekaric, Markus Frick, Jubril Gbolahan Adigun, Raffaela Groner, Thomas Witte, Alexander Raschke, Michael Felderer, Matthias Tichy
Streamlining Attack Tree Generation: A Fragment-Based Approach. CoRR (2023)
Raffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy, Michael Felderer
Model-Based Generation of Attack-Fault Trees. CoRR (2023)
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
Ontology-Based Semantic Annotation of Documents in the Context of Patient Identification for Clinical Trials. OTM Conferences (2013)
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
Patient Identification for Clinical Trials with Ontology-based Information Extraction from Documents. KEOD (2013)
Markus Frick, Martin Grohe
The complexity of first-order and monadic second-order logic revisited. Ann. Pure Appl. Log. 130 (1-3) (2004)
Markus Frick
Generalized Model-Checking over Locally Tree-Decomposable Classes. Theory Comput. Syst. 37 (1) (2004)
Markus Frick, Martin Grohe, Christoph Koch
Query Evaluation on Compressed Trees (Extended Abstract). LICS (2003)
Markus Frick, Martin Grohe
The Complexity of First-Order and Monadic Second-Order Logic Revisited. LICS (2002)
Markus Frick
Generalized Model-Checking over Locally Tree-Decomposable Classes. STACS (2002)
Jörg Flum, Markus Frick, Martin Grohe
Query evaluation via tree-decompositions. J. ACM 49 (6) (2002)
Markus Frick, Martin Grohe
Deciding first-order properties of locally tree-decomposable structures. J. ACM 48 (6) (2001)
Jörg Flum, Markus Frick, Martin Grohe
Query Evaluation via Tree-Decompositions. ICDT (2001)
Markus Frick, Martin Grohe
Deciding first-order properties of locally tree-decomposable structures CoRR (2000)
Markus Frick, Martin Grohe
Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs. ICALP (1999)

Markus Frick.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Markus Frick