Markus Frick

6 papers and 360 indexed citations i.

About

Markus Frick has authored 6 papers that have received a total of 360 indexed citations. This includes 6 papers in Computational Theory and Mathematics, 2 papers in Computer Networks and Communications and 1 paper in Software. The topics of these papers are Formal Methods in Verification (5 papers), Advanced Graph Theory Research (5 papers) and semigroups and automata theory (2 papers). Markus Frick is often cited by papers focused on Formal Methods in Verification (5 papers), Advanced Graph Theory Research (5 papers) and semigroups and automata theory (2 papers) and collaborates with scholars based in United Kingdom and Germany. Markus Frick's co-authors include Martin Grohe, Christoph Koch and Jörg Flum and has published in prestigious journals such as Journal of the ACM, Annals of Pure and Applied Logic and Theory of Computing Systems

In The Last Decade

Rankless by CCL
2025