Markus Frick - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2024

Streamlining Attack Tree Generation: A Fragment-Based ApproachIrdin Pekaric, Markus Frick, Jubril Gbolahan Adigun, Raffaela Groner, Thomas Witte, Alexander Raschke, Michael Felderer, Matthias Tichy. hicss 2023: 7447-7456 [doi]

2023

Model-Based Generation of Attack-Fault TreesRaffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy, Michael Felderer. safecomp 2023: 107-120 [doi]

2013

2004

Generalized Model-Checking over Locally Tree-Decomposable ClassesMarkus Frick. mst, 37(1):157-191, 2004. [doi]

The complexity of first-order and monadic second-order logic revisitedMarkus Frick, Martin Grohe. APAL, 130(1-3):3-31, 2004. [doi]

2003

Query Evaluation on Compressed Trees (Extended Abstract)Markus Frick, Martin Grohe, Christoph Koch. lics 2003: 188 [doi]

2002

Query evaluation via tree-decompositionsJörg Flum, Markus Frick, Martin Grohe. JACM, 49(6):716-752, 2002. [doi]

Generalized Model-Checking over Locally Tree-Decomposable ClassesMarkus Frick. STACS 2002: 632-644 [doi]

The Complexity of First-Order and Monadic Second-Order Logic RevisitedMarkus Frick, Martin Grohe. lics 2002: 215-224 [doi]

2001

Query Evaluation via Tree-DecompositionsJörg Flum, Markus Frick, Martin Grohe. icdt 2001: 22-38 [doi]

Easy instances for model checkingMarkus Frick. PhD thesis, University of Freiburg, Freiburg im Breisgau, Germany, 2001. [doi]

Deciding first-order properties of locally tree-decomposable structuresMarkus Frick, Martin Grohe. JACM, 48(6):1184-1206, 2001. [doi]

1999

Deciding First-Order Properties of Locally Tree-Decomposalbe GraphsMarkus Frick, Martin Grohe. icalp 1999: 331-340 [doi]

Sign in or sign up to see more results.

runs on WebDSL