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

Günter Hornung

dblp:70/3750 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 1980
—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.

Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%

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

TopicWeightPapersLastEvidence papers
Programming languages and type systems
abstract data types		 0.011980
Terminal Algebra Semantics and Retractions for Abstract Data Types · ICALP 1980
Programming languages and type systems › language semantics › formal semantics
algebraic semantics		 0.011980
Terminal Algebra Semantics and Retractions for Abstract Data Types · ICALP 1980
YearPublicationVenuePosition
1980 Terminal Algebra Semantics and Retractions for Abstract Data Types
Günter Hornung, Peter Raulefs
 ICALP1