Dietrich Kuske

54 papers and 275 indexed citations i.

Dietrich Kuske has authored 54 papers that have received a total of 275 indexed citations. This includes 51 papers in Computational Theory and Mathematics, 34 papers in Artificial Intelligence and 13 papers in Geometry and Topology. The topics of these papers are semigroups and automata theory (47 papers), Logic, programming, and type systems (22 papers) and Formal Methods in Verification (17 papers). Dietrich Kuske is often cited by papers focused on semigroups and automata theory (47 papers), Logic, programming, and type systems (22 papers) and Formal Methods in Verification (17 papers) and collaborates with scholars based in Germany, France and United Kingdom. Dietrich Kuske's co-authors include Markus Lohrey, Manfred Droste, Jiamou Liu, Paul Gastin and Benedikt Bollig and has published in prestigious journals such as Transactions of the American Mathematical Society, Proceedings of the American Mathematical Society and Theoretical Computer Science