Kuske, D. 
2009 
Theories of automatic structures and their complexity 
Paper 

Kuske, D. Lohrey, M. 
2009 
Some natural problems in automatic graphs. 
Paper 

Kuske, D. Lohrey, M. 
2009 
Automatic structures of bounded degree revisited. 
Paper 

Kuske, D. Genest, B. ... 
2004 
A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms 
Paper 

Kuske, D. Meinecke, Ingmar 
2004 
Branching automata with costs  a way of reflecting parallelism in costs 
Paper 

Kuske, D. Weigelt, P. 
2004 
The rôle of the complementarity relation in WatsonCrick automata and sticker systems 
Paper 

Kuske, D. Genest, B. ... 
2006 
A Kleene theorem and model checking algorithms for existentially bounded communicating automata 
Paper 

Kuske, D. Lohrey, M. 
2006 
Monadic chain logic over iterations and applications to pushdown systems 
Paper 

Kuske, D. Lohrey, M. 
2006 
Logical aspects of Cayley graphs: the monoid case 
Paper 

Kuske, D. Lohrey, M. 
2006 
Firstorder and counting theories of omegaautomatic structures 
Paper 

Kuske, D. Gastin, P. 
2005 
Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces 
Paper 

Kuske, D. Genest, B. ... 
2005 
Snapshot Verification 
Paper 

Kuske, D. Lohrey, M. 
2005 
Decidable firstorder theories of onestep rewriting in trace monoids 
Paper 

Kuske, D. Lohrey, M. 
2005 
Logical aspects of Cayley graphs: the group case 
Paper 

Kuske, D. 
2007 
Weighted asynchronous cellular automata 
Paper 

Bollig, B. Kuske, D. ... 
2007 
Propositional Dynamic Logic for MessagePassing Systems 
Paper 

Gastin, P. Kuske, D. 
2007 
Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces 
Paper 
pdf 
Genest, B. Kuske, D. ... 
2007 
On communicating automata with bounded channels 
Paper 
pdf 
Droste, M. Kuske, D. 
2006 
Skew and infinitary formal power series 
Paper 

Kuske, D. 
2006 
Theories of orders an the set of words 
Paper 

Kuske, D. Fohry, E. 
2006 
On graph products of automatic and biautomatic monoids 
Paper 

Droste, M. Kuske, D. 
2007 
Almost every domain is universal 
Paper 

Kuske, D. 
2008 
Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic 
Paper 
pdf 
Kuske, D. 
2008 
Schützenberger's theorem on formal power series follows from Kleene's theorem 
Paper 

Kuske, D. Bollig, B. 
2008 
Distributed Muller automata and logics 
Paper 

Kuske, D. Lohrey, M. 
2008 
Euler paths and ends in automatic and recursive graphs 
Paper 

Kuske, D. Lohrey, M. 
2008 
Hamiltonicity of automatic graphs 
Paper 

Kuske, D. Lohrey, M. 
2008 
Firstorder and counting theories of omegaautomatic struct ures 
Paper 

Kuske, D. Meinecke, Ingmar 
2008 
Construction of tree automata from regular expressions 
Paper 

Kuske, D. 
2009 
Weighted and unweighted trace automata 
Paper 

Kuske, D. Fichtner, I. ... 
2009 
Traces, seriesparallel posets, and pictures: a weighted study. 
Paper 
