Markus Frick
Markus Frick
Ada Health
Verifierad e-postadress på ada.com
TitelCiteras avÅr
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
2722004
Query evaluation via tree-decompositions
J Flum, M Frick, M Grohe
Journal of the ACM (JACM) 49 (6), 716-752, 2002
2242002
Deciding first-order properties of locally tree-decomposable structures
M Frick, M Grohe
Journal of the ACM (JACM) 48 (6), 1184-1206, 2001
2122001
Query evaluation on compressed trees
M Frick, M Grohe, C Koch
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
1072003
Query evaluation via tree-decompositions
J Flum, M Frick, M Grohe
International Conference on Database Theory, 22-38, 2001
532001
Deciding first-order properties of locally tree-decomposable graphs
M Frick, M Grohe
International Colloquium on Automata, Languages, and Programming, 331-340, 1999
361999
Generalized model-checking over locally tree-decomposable classes
M Frick
Theory of Computing Systems 37 (1), 157-191, 2004
272004
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
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, ...
OTM Confederated International Conferences" On the Move to Meaningful …, 2013
22013
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
Oracles and quantifiers
M Frick
PhD thesis, Department of Mathematics, University of Freiburg, Freiburg …, 1997
11997
" 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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–14