views: 21

Dietrich Kuske

Institut für Algebra, Technische Universität Dresden, D-01062 Dresden, Germany

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers113 papers

Sort

By YearBy Citation

Languages ordered by the subword order.

Dietrich Kuske,Georg Zetzsche

FoSSaCS, (2019): 348-364

EIBibtex

Gaifman Normal Forms for Counting Extensions of First-Order Logic.

Dietrich Kuske,Nicole Schweikardt

ICALP, pp.133:1-133:14, (2018)

Cited by4EIBibtex

Climbing up the Elementary Complexity Classes with Theories of Automatic Structures.

Faried Abu Zaid,Dietrich Kuske, Peter Lindner

CSL, pp.3:1-3:16, (2018)

Cited by1EIBibtex

Multi-buffer simulations: Decidability and complexity.

Milka Hutagalung, Norbert Hundeshagen,Dietrich Kuske,Martin Lange,Étienne Lozes

Inf. Comput., no. Part (2018): 280-310

Cited by1EIBibtex

The inclusion structure of partially lossy queue monoids and their trace submonoids.

Chris Köcher,Dietrich Kuske, Olena Prianychnykova

RAIRO - Theor. Inf. and Applic., no. 1 (2018): 55-86

EIBibtex

Infinite and Bi-infinite Words with Decidable Monadic Theories.

Dietrich Kuske,Jiamou Liu, Anastasia Moskvina

Logical Methods in Computer Science, no. 3 (2018)

Cited by3EIBibtex

The Complexity of Model Checking Multi-stack Systems

Benedikt Bollig,Dietrich Kuske,Roy Mennicke

Theory Comput. Syst., no. 4 (2017): 695-736

Cited by15EIWOSBibtex

First-order logic with counting.

Dietrich Kuske,Nicole Schweikardt

LICS, pp.1-12, (2017)

Cited by10EIBibtex

The Transformation Monoid of a Partially Lossy Queue.

Chris Köcher,Dietrich Kuske

CSR, pp.191-205, (2017)

EIBibtex

On Boolean Closed Full Trios and Rational Kripke Frames.

Georg Zetzsche,Dietrich Kuske,Markus Lohrey

Theory Comput. Syst., no. 3 (2017): 438-472

Cited by2EIBibtex

First-Order Logic with Counting: At Least, Weak Hanf Normal Forms Always Exist and Can Be Computed!

Dietrich Kuske, Nicole Schweikardt

Logic in Computer Science, (2017)

Cited by3EIBibtex

Two-Buffer Simulation Games.

Milka Hutagalung, Norbert Hundeshagen,Dietrich Kuske,Martin Lange,Étienne Lozes

Cassting/SynCoP, pp.27-38, (2016)

Cited by1EIBibtex

The trace monoids in the queue monoid and in the direct product of two free monoids.

Dietrich Kuske, Olena Prianychnykova

DLT, (2016)

EIBibtex

Multi-Buffer Simulations for Trace Language Inclusion.

Milka Hutagalung, Norbert Hundeshagen,Dietrich Kuske,Martin Lange,Étienne Lozes

GandALF, pp.213-227, (2016)

Cited by3EIBibtex

Hanf normal form for first-order logic with unary counting quantifiers.

Lucas Heimberg,Dietrich Kuske,Nicole Schweikardt

LICS, pp.277-286, (2016)

Cited by9EIBibtex

Isomorphisms of scattered automatic linear orders.

Theor. Comput. Sci., (2014): 46-63

Cited by8EIBibtex

The Monoid of Queue Actions.

Martin Huschenbett,Dietrich Kuske,Georg Zetzsche

MFCS (1), no. 3 (2014): 340-351

Cited by9EIBibtex

Logical Aspects of the Lexicographic Order on 1-Counter Languages.

MFCS, pp.619-630, (2013)

EIBibtex

The Isomorphism Problem for ω-Automatic Trees (Extended Abstract)

Dietrich Kuske, Jiamou Liu,Markus Lohrey

(2013)

Bibtex

An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree

Lucas Heimberg,Dietrich Kuske,Nicole Schweikardt

LICS, pp.63-72, (2013)

Cited by6EIBibtex

View All

Base Info Papers Patents Projects