Thilo Hafer

Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

EDBT 2026 Demo / reviewers in the wild / expert

dblp:16/5123 · DBLP profile ↗

← Back

1ranked-venue papers

1as first author

0since 2021 · last 1987

—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science

1 paper

Logic in computer science · 75% Algorithms and data structures · 25%

Topics — the 4 heaviest of 4, each with the papers that count most for it

Topic	Papers	Last	Evidence papers
Algorithms and data structures › tree data structures binary trees	1	1987	Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree · ICALP 1987
Logic in computer science › temporal logic › branching-time temporal logic CTL	1	1987	Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree · ICALP 1987
Logic in computer science monadic second-order logic	1	1987	Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree · ICALP 1987
Logic in computer science temporal logic	1	1987	Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree · ICALP 1987

Year	Publication	Venue	Position
1987	Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree Thilo Hafer, Wolfgang Thomas	ICALP	1