| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Benedikt Bollig, Dietrich Kuske |
An optimal construction of Hanf sentences.  |
J. Applied Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Isomorphisms of scattered automatic linear orders |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Ingmar Meinecke |
Construction of tree automata from regular expressions. |
RAIRO - Theor. Inf. and Applic. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Automatic structures of bounded degree revisited. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Benedikt Bollig, Dietrich Kuske |
An optimal construction of Hanf sentences |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ruth Corran, Michael Hoffmann 0002, Dietrich Kuske, Richard M. Thomas |
Singular Artin Monoids of Finite Coxeter Type Are Automatic. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Thomas Weidner |
Size and Computation of Injective Tree Automatic Presentations. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Where Automatic Structures Benefit from Weighted Automata. |
Algebraic Foundations in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Gastin, Dietrich Kuske |
Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Some natural decision problems in automatic graphs. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem On Classes of Automatic Structures |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem for omega-Automatic Trees |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke |
Propositional Dynamic Logic for Message-Passing Systems |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske |
Is Ramsey's Theorem omega-automatic?. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem on Classes of Automatic Structures. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
automatic structures, arithmetical hierarchy, isomorphism problems |
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem for omega-Automatic Trees. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Weighted and Unweighted Trace Automata. |
Acta Cybern. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske |
Is Ramsey's theorem omega-automatic? |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske |
Theories of Automatic Structures and Their Complexity. |
CAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Automatic Structures of Bounded Degree Revisited. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Schützenberger's theorem on formal power series follows from Kleene's theorem. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Dietrich Kuske |
Muller message-passing automata and logics. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
First-order and counting theories of omega-automatic structures. |
J. Symb. Log. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske |
Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Automatic structures of bounded degree revisited |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske |
Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi (eds.) |
Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007 |
Algorithmic-Logical Theory of Infinite Structures |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Ingmar Meinecke |
Construction of Tree Automata from Regular Expressions. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Hamiltonicity of automatic graphs. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Euler paths and ends in automatic and recursive graphs. |
AFL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske |
Weighted asynchronous cellular automata. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Dietrich Kuske |
Almost Every Domain is Universal. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Gastin, Dietrich Kuske |
Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Blaise Genest, Dietrich Kuske, Anca Muscholl |
On Communicating Automata with Bounded Channels. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Benedikt Bollig, Dietrich Kuske |
Muller Message-Passing Automata and Logics. |
LATA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi |
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. |
Algorithmic-Logical Theory of Infinite Structures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske |
Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic. |
Algorithmic-Logical Theory of Infinite Structures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi |
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. |
Algorithmic-Logical Theory of Infinite Structures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke |
Propositional Dynamic Logic for Message-Passing Systems. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Dietrich Kuske |
Skew and infinitary formal power series. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Theories of orders on the set of words. |
ITA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Logical Aspects of Cayley-graphs: the Monoid Case. |
IJAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Dietrich Kuske, Anca Muscholl |
A Kleene theorem and model checking algorithms for existentially bounded communicating automata. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Weighted Asynchronous Cellular Automata. |
STACS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Monadic Chain Logic Over Iterations and Applications to Pushdown Systems. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
First-Order and Counting Theories of omega-Automatic Structures. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Logical aspects of Cayley-graphs: the group case. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Decidable First-Order Theories of One-Step Rewriting in Trace Monoids. |
Theory Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Gastin, Dietrich Kuske |
Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled |
Snapshot Verification. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Ingmar Meinecke |
Branching automata with costs - a way of reflecting parallelism in costs star. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl, Dietrich Kuske |
A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Peter Weigel |
The Role of the Complementarity Relation in Watson-Crick Automata and Sticker Systems. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Dietrich Kuske |
On random relational structures. |
J. Comb. Theory, Ser. A |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Kummetz, Dietrich Kuske |
The topology of Mazurkiewicz traces. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Towards a language theory for infinite N-free pomsets. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Regular sets of infinite message sequence charts. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Gastin, Dietrich Kuske |
Satisfiability and Model Checking for MSO-definable Temporal Logics are in PSPACE. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Is Cantor's Theorem Automatic? |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Dietrich Kuske |
Skew and Infinitary Formal Power Series. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Decidable Theories of Cayley-Graphs. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Ingmar Meinecke |
Branching Automata with Costs - A Way of Reflecting Parallelism in Costs. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Rémi Morin |
Pomsets for Local Trace Languages. |
Journal of Automata, Languages and Combinatorics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
On the Theory of One-Step Rewriting in Trace Monoids. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
A Further Step towards a Theory of Regular MSC Languages. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Dietrich Kuske |
Recognizable languages in divisibility monoids. |
Mathematical Structures in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
A Model Theoretic Proof of Büchi-Type Theorems and First-Order Logic for N-Free Pomsets. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Divisibility Monoids: Presentation, Word Problem, and Rational Languages. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Paul Gastin, Dietrich Kuske |
Asynchronous cellular automata for pomsets. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Emptiness Is Decidable for Asynchronous Cellular Machines. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Rémi Morin |
Pomsets for Local Trace Languages - Recognizability, Logic & Petri Nets. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Dietrich Kuske |
The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Infinite Series-Parallel Posets: Logic and Languages. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Borchert, Dietrich Kuske, Frank Stephan |
On existentially first-order definable languages and their relation to NP. |
ITA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Dietrich Kuske |
On Recognizable Languages in Divisibility Monoids. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Dietrich Kuske |
Recognizable and Logically Definable Languages of Infinite Computations in Concurrent Automata. |
Int. J. Found. Comput. Sci. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske |
Asynchronous Cellular Automata and Asynchronous Automata for Pomsets. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Borchert, Dietrich Kuske, Frank Stephan |
On Existentially First-Order Definable Languages and Their Relation to NP. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Borchert, Dietrich Kuske, Frank Stephan |
On Existentially First-Order Definable Languages and their Relation to NP |
Electronic Colloquium on Computational Complexity (ECCC) |
1997 |
DBLP BibTeX RDF |
|
| 1 | Felipe Bracho, Manfred Droste, Dietrich Kuske |
Representation of Computations in Concurrent Automata by Dependence Orders. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe Bracho, Manfred Droste, Dietrich Kuske |
Dependence Orders for Computations of Concurrent Automata. |
STACS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Dietrich Kuske |
Trace Languages Definable with Modular Quantifiers. |
Developments in Language Theory |
1995 |
DBLP BibTeX RDF |
|
| 1 | Manfred Droste, Dietrich Kuske |
Languages and Logical Definability in Concurrency Monoids. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske |
Modelle nebenläufiger Prozesse - Monoide, Residuensysteme und Automaten. |
|
1994 |
RDF |
|
| 1 | Dietrich Kuske |
Nondeterministic Automata with Concurrency Relations and Domains. |
CAAP |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")