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 VLDB 2026 / reviewers in the wild / expert

Kevin Rea

dblp:26/2293 · 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

Software engineering, systems software and programming languages · 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 · 100%

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

TopicWeightPapersLastEvidence papers
Logic in computer science
algebraic specification		 0.011987
Automated Analysis of Discrete Communication Behavior · IEEE Trans. Software Eng. 1987
Logic in computer science › process algebra
communicating processes		 0.011987
Automated Analysis of Discrete Communication Behavior · IEEE Trans. Software Eng. 1987

Methods — techniques the papers use, named apart from their topics

state machine formalization · 0.0algebraic theory · 0.0
YearPublicationVenuePosition
1987 Automated Analysis of Discrete Communication Behavior
abstract
An objective methodology for the specification and analysis of communicating processes is presented. It is based on an algebraic theory that is a formalization of a particular state machine model. The approach recognizes the fact that the complexity of system interactions is such that computer aid is not only appropriate but necessary for any practical design methodology.
Kevin Rea, Robert de B. Johnston
 IEEE Trans. Software Eng.1