T
Thomas Wilke
Researcher at University of Kiel
Publications - 86
Citations - 3764
Thomas Wilke is an academic researcher from University of Kiel. The author has contributed to research in topics: Büchi automaton & Temporal logic. The author has an hindex of 30, co-authored 82 publications receiving 3597 citations. Previous affiliations of Thomas Wilke include McGill University & RWTH Aachen University.
Papers
More filters
Book
Automata logics, and infinite games: a guide to current research
TL;DR: The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years.
Journal ArticleDOI
First-order logic with two variables and unary temporal logic
TL;DR: It is proved that FO/sup 2/ can express precisely the same properties as linear temporal logic with only the unary temporal operators: "next", "previously", "sometime in the future", and "s sometime in the past", a logic the authors denote by unary-TL.
Journal ArticleDOI
Stutter-invariant temporal properties are expressible without the next-time operator
Doron Peled,Thomas Wilke +1 more
TL;DR: It is shown that every stutter-invariant propositional linear temporal property is expressible without the next-time operator.
Book ChapterDOI
Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata
TL;DR: A fragment of \(\mathcal{L}d\), denoted by , is proved to be expressively complete for timed automata (Alur and Dill), i.e., every timed regular language is definable by a -formula and every timedregular language defines a timedRegular language.