Dietrich Kuske
Author
Alternate names Dietrich Kuske, Kuske Dietrich, D. Kuske
Institution Technische Universität Ilmenau
Past institutions Technische Universität Ilmenau, University of Connecticut, Carnegie Mellon University, Nazarbayev University, Information Technology University +5 more
H-index: 21
I10-index: 51
Works count: 166
Citations count: 1,377
A Kleene theorem and model checking algorithms for existentially bounded communicating automata
2006 · Blaise Genest, Dietrich Kuske, et al. · Information and Computation
Logical aspects of Cayley-graphs: the group case
2004 · Dietrich Kuske, Markus Lohrey · Annals of Pure and Applied Logic
On communicating automata with bounded channels
2007 · Blaise Genest, Dietrich Kuske, et al. · HAL (Le Centre pour la Communication Scientifique Directe)