Spremljaj
Markus Frick
Markus Frick
Ada Health
Preverjeni e-poštni naslov na ada.com
Naslov
Navedeno
Navedeno
Leto
The complexity of first-order and monadic second-order logic revisited
M Frick, M Grohe
Annals of pure and applied logic 130 (1-3), 3-31, 2004
3312004
Deciding first-order properties of locally tree-decomposable structures
M Frick, M Grohe
Journal of the ACM (JACM) 48 (6), 1184-1206, 2001
2642001
Query evaluation via tree-decompositions
J Flum, M Frick, M Grohe
Journal of the ACM (JACM) 49 (6), 716-752, 2002
2562002
Query evaluation on compressed trees
M Frick, M Grohe, C Koch
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
1222003
Query evaluation via tree-decompositions
J Flum, M Frick, M Grohe
International Conference on Database Theory, 22-38, 2001
582001
Deciding first-order properties of locally tree-decomposable graphs
M Frick, M Grohe
Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999
371999
Generalized model-checking over locally tree-decomposable classes
M Frick
Theory of Computing Systems 37 (1), 157-191, 2004
362004
Easy instances for model checking.
M Frick
University of Freiburg, Freiburg im Breisgau, Germany, 2001
142001
Model-based generation of attack-fault trees
R Groner, T Witte, A Raschke, S Hirn, I Pekaric, M Frick, M Tichy, ...
International Conference on Computer Safety, Reliability, and Security, 107-120, 2023
22023
Patient identification for clinical trials with ontology-based information extraction from documents.
P Geibel, H Erdur, L Zimmermann, S Krüger, K Jegzentis, J Schepers, ...
KEOD, 230-236, 2013
22013
Ontology-based semantic annotation of documents in the context of patient identification for clinical trials
P Geibel, M Trautwein, H Erdur, L Zimmermann, S Krüger, J Schepers, ...
On the Move to Meaningful Internet Systems: OTM 2013 Conferences …, 2013
22013
Biographical Data
M Frick
Men of Mark in, 1973
21973
Oracles and quantifiers
M Frick
PhD thesis, Department of Mathematics, University of Freiburg, Freiburg …, 1997
11997
Streamlining Attack Tree Generation: A Fragment-Based Approach
I Pekaric, M Frick, JG Adigun, R Groner, T Witte, A Raschke, M Felderer, ...
arXiv preprint arXiv:2310.00654, 2023
2023
Generalized model-checking over locally tree-decomposable classes
M Frick
Annual Symposium on Theoretical Aspects of Computer Science, 632-644, 2002
2002
Logic in Computer Science-Generalized Model-Checking over Locally Tree-Decomposable Classes
M Frick
Lecture Notes in Computer Science 2285, 632-644, 2002
2002
" Query Evaluation on Compressed Trees"; Vortrag: IEEE Symposium on Logic in Computer Science, Ottawa, Kanada; 21.06. 2003-25.06. 2003; in:" Proceeding on LICS 2003", IEEE …
M Frick, M Grohe, C Koch
Query Evaluation on Compressed Trees Ѓ
M Frick, M Grohe, C Koch
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–18