Dietrich Kuske
Affiliations:- TU Ilmenau, Department of Computer Science, Germany
According to our database1,
Dietrich Kuske
authored at least 105 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024
2023
Acta Informatica, March, 2023
Log. Methods Comput. Sci., 2023
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023
Proceedings of the Fundamentals of Computation Theory - 24th International Symposium, 2023
2021
Second-Order Finite Automata: Expressive Power and Simple Proofs Using Automatic Structures.
Proceedings of the Developments in Language Theory - 25th International Conference, 2021
2020
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020
Proceedings of the Computer Science - Theory and Applications, 2020
2019
Proceedings of the Foundations of Software Science and Computation Structures, 2019
2018
Log. Methods Comput. Sci., 2018
RAIRO Theor. Informatics Appl., 2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
2017
First-Order Logic with Counting: At Least, Weak Hanf Normal Forms Always Exist and Can Be Computed!
CoRR, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the Computer Science - Theory and Applications, 2017
2016
Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, 2016
Proceedings of the Seventh International Symposium on Games, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the Developments in Language Theory - 20th International Conference, 2016
2015
Proceedings of the Foundations of Software Science and Computation Structures, 2015
2014
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
2013
Int. J. Comput. Math., 2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
2012
2011
RAIRO Theor. Informatics Appl., 2011
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011
Proceedings of the Language and Automata Theory and Applications, 2011
Proceedings of the Algebraic Foundations in Computer Science, 2011
2010
Inf. Comput., 2010
Log. Methods Comput. Sci., 2010
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2009
Proceedings of the Algebraic Informatics, Third International Conference, 2009
(Un)countable and (Non)effective Versions of Ramsey's Theorem.
Proceedings of the Model Theoretic Methods in Finite Combinatorics, 2009
2008
Theor. Comput. Sci., 2008
Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic.
Proceedings of the STACS 2008, 2008
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
Euler paths and ends in automatic and recursive graphs.
Proceedings of the Automata and Formal Languages, 12th International Conference, 2008
2007
Fundam. Informaticae, 2007
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007
Proceedings of the Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007, 2007
Proceedings of the Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007, 2007
2006
A Kleene theorem and model checking algorithms for existentially bounded communicating automata.
Inf. Comput., 2006
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006
Proceedings of the Foundations of Software Science and Computation Structures, 2006
2005
Theory Comput. Syst., 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
2004
Theor. Comput. Sci., 2004
The Role of the Complementarity Relation in Watson-Crick Automata and Sticker Systems.
Proceedings of the Developments in Language Theory, 2004
Proceedings of the Developments in Language Theory, 2004
2003
Proceedings of the Implementation and Application of Automata, 2003
Proceedings of the STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27, 2003
Proceedings of the CONCUR 2003, 2003
2002
Proceedings of the STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes, 2002
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002
2001
A Model Theoretic Proof of Büchi-Type Theorems and First-Order Logic for N-Free Pomsets.
Proceedings of the STACS 2001, 2001
Proceedings of the Fundamentals of Computation Theory, 13th International Symposium, 2001
Proceedings of the Developments in Language Theory, 5th International Conference, 2001
2000
Proceedings of the Logic for Programming and Automated Reasoning, 2000
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
Proceedings of the CONCUR 2000, 2000
Proceedings of the CONCUR 2000, 2000
1999
1998
Recognizable and Logically Definable Languages of Infinite Computations in Concurrent Automata.
Int. J. Found. Comput. Sci., 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
Theor. Comput. Sci., 1997
Electron. Colloquium Comput. Complex., 1997
1995
Proceedings of the STACS 95, 1995
Trace Languages Definable with Modular Quantifiers.
Proceedings of the Developments in Language Theory II, 1995
Proceedings of the Computer Science Logic, 9th International Workshop, 1995
1994
Proceedings of the Trees in Algebra and Programming, 1994
1993
PhD thesis, 1993