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. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Christian Kant

dblp:72/6995 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 1996
—ORCID · none

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

Systems, architecture and hardware · 1 · 1 first-authorComputer networks · 1

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.

Computer networks
1 paper
Internet architecture and protocols · 100%

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

TopicWeightPapersLastEvidence papers
Internet architecture and protocols
protocol design		 0.011989
New Results on Deriving Protocol Specifications from Service Specifications · SIGCOMM 1989
Internet architecture and protocols
protocol specification		 0.011989
New Results on Deriving Protocol Specifications from Service Specifications · SIGCOMM 1989
Internet architecture and protocols › protocol design
protocol synthesis		 0.011989
New Results on Deriving Protocol Specifications from Service Specifications · SIGCOMM 1989
YearPublicationVenuePosition
1996 Deriving Protocol Specifications from Service Specifications Written in LOTOS
Christian Kant, Teruo Higashino, Gregor von Bochmann
 Distributed Comput.1
1989 New Results on Deriving Protocol Specifications from Service Specifications
abstract
Previous papers describe an algorithm for deriving a specification of protocol entities from a given service specification. A service specification defines a particular ordering for the execution of service primitives at the different service access points using operators for sequential, parallel and alternative executions. The derived protocol entities ensure the correct ordering by exchanging appropriate synchronization messages, between one another through the underlying communication medium.
Ferhat Khendek, Gregor von Bochmann, Christian Kant
 SIGCOMM3