Search: Kuske, D.

Results 1 - 25 of 31

Results

Authors Year Title Type Fulltext
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 Watson-Crick 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 push-down systems Paper
Kuske, D.
Lohrey, M.
2006 Logical aspects of Cayley graphs: the monoid case Paper
Kuske, D.
Lohrey, M.
2006 First-order and counting theories of omega-automatic 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 first-order theories of one-step 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 Message-Passing 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 First-order and counting theories of omega-automatic 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, series-parallel posets, and pictures: a weighted study. Paper