Wilke, Thomas, 1965-
Wilke, Thomas
Thomas Wilke German computer scientist
VIAF ID: 16595081 ( Personal )
Permalink: http://viaf.org/viaf/16595081
Preferred Forms
- 100 0 _ ‡a Thomas Wilke ‡c German computer scientist
- 100 1 _ ‡a Wilke, Thomas
-
-
-
- 100 1 _ ‡a Wilke, Thomas ‡d 1965-
- 100 1 _ ‡a Wilke, Thomas, ‡d 1965-
-
-
-
-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (5)
- 510 2 _ ‡a Christian-Albrechts-Universität zu Kiel ‡b Institut für Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Kiel ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a Kiel, Univ
- 510 2 _ ‡a Universität Kiel ‡b Institut für Informatik
- 510 2 _ ‡a ebrary, Inc
Works
Title | Sources |
---|---|
26. Theorietag Automaten und Formale Sprachen 23. Jahrestagung Logik in der Informatik Tagungsband | |
30th International Symposium on Theoretical Aspects of Computer Science STACS '13, February 27th to March 2nd, 2013, Kiel, Germany | |
An algebraic theory for regular languages of finite and infinite words | |
Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability | |
Automata logics and infinite games / Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.). - Berlin, 2002. | |
automata theoretic method works for TCTL model checking | |
Automaten und Logiken zur Beschreibung zeitabhängiger Systeme / Thomas Wilke. - Kiel, 1994. | |
Classifying discrete temporal properties | |
Deciding Properties of Contract-Signing Protocols | |
Deciding the First Level of the [my]-calculus Alternation Hierarchy | |
A Dolev-Yao-based Definition of Abuse-free Protocols | |
Locally threshold testable languages of infinite words | |
Logic and automata : history and perspectives | |
Moderne Kryptographie eine Einführung | |
Simulation relations for alternating Büchi automata |