Markus Frick

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