Concepedia

Dietrich Kuske

DK

29

Publications

694

Citations

18

H-Index

1997

Active since

Affiliations

Leipzig University(Current)

Technische Universität Dresden

Centre National de la Recherche Scientifique

Technische Universität Ilmenau

École Normale Supérieure Paris-Saclay

Dietrich Kuske is an author at Leipzig University specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsFormal VerificationLinguisticsVerificationDiscrete MathematicsLanguageComputational Complexity

Publications per year

1997–2017

29

Publications

29

A Kleene theorem and model checking algorithms for existentially bounded communicating automata

Blaise Genest, Dietrich Kuske, Anca Muscholl · Information and Computation · 2006 · 69 citations

Logical Automaton, Engineering, Automated Reasoning +10

Logical aspects of Cayley-graphs: the group case

Dietrich Kuske, Markus Lohrey · Annals of Pure and Applied Logic · 2004 · 46 citations

Graph Theory, Algebraic Graph Theory, Automated Reasoning +4

On communicating automata with bounded channels

Blaise Genest, Dietrich Kuske, Anca Muscholl · Qucosa (Saxon State and University Library Dresden) · 2007 · 44 citations · Full text

Reachability Analysis, Logical Automaton, Engineering +15

Regular sets of infinite message sequence charts

Dietrich Kuske · Information and Computation · 2003 · 38 citations

Infinite Dimensional Analysis, Regular Sets, Knowledge Discovery +1

Skew and infinitary formal power series

Manfred Droste, Dietrich Kuske · Theoretical Computer Science · 2006 · 37 citations

Real Algebraic Geometry, Algebraic Analysis

Rows per page

1–5 of 29