| 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 | 337 | 2004 |
| Deciding first-order properties of locally tree-decomposable structures M Frick, M Grohe Journal of the ACM (JACM) 48 (6), 1184-1206, 2001 | 280 | 2001 |
| Query evaluation via tree-decompositions J Flum, M Frick, M Grohe Journal of the ACM (JACM) 49 (6), 716-752, 2002 | 261 | 2002 |
| Query evaluation on compressed trees M Frick, M Grohe, C Koch 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003 | 124 | 2003 |
| Query evaluation via tree-decompositions J Flum, M Frick, M Grohe International Conference on Database Theory, 22-38, 2001 | 61 | 2001 |
| Deciding first-order properties of locally tree-decomposable graphs M Frick, M Grohe Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999 | 37 | 1999 |
| Generalized model-checking over locally tree-decomposable classes M Frick Theory of Computing Systems 37 (1), 157-191, 2004 | 36 | 2004 |
| Easy instances for model checking. M Frick University of Freiburg, Freiburg im Breisgau, Germany, 2001 | 14 | 2001 |
| 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 | 4 | 2023 |
| 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 | 2 | 2013 |
| 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 | 2 | 2013 |
| Biographical Data M Frick Men of Mark in, 1973 | 2 | 1973 |
| Oracles and quantifiers M Frick PhD thesis, Department of Mathematics, University of Freiburg, Freiburg …, 1997 | 1 | 1997 |
| 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 | | |
