Folgen
Markus Frick
Markus Frick
Ada Health
Bestätigte E-Mail-Adresse bei ada.com
Titel
Zitiert von
Zitiert von
Jahr
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
3272004
Query evaluation via tree-decompositions
J Flum, M Frick, M Grohe
Journal of the ACM (JACM) 49 (6), 716-752, 2002
2532002
Deciding first-order properties of locally tree-decomposable structures
M Frick, M Grohe
Journal of the ACM (JACM) 48 (6), 1184-1206, 2001
2522001
Query evaluation on compressed trees
M Frick, M Grohe, C Koch
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
1232003
Query evaluation via tree-decompositions
J Flum, M Frick, M Grohe
International Conference on Database Theory, 22-38, 2001
572001
Deciding first-order properties of locally tree-decomposable graphs
M Frick, M Grohe
Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999
431999
Generalized model-checking over locally tree-decomposable classes
M Frick
Theory of Computing Systems 37 (1), 157-191, 2004
322004
Easy instances for model checking.
M Frick
University of Freiburg, Freiburg im Breisgau, Germany, 2001
152001
Generalized model-checking over locally tree-decomposable classes
M Frick
Annual Symposium on Theoretical Aspects of Computer Science, 632-644, 2002
52002
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, Germany, 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
" 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–17