Demo Data from VLDB 2026 / reviewers in the wild / expert
Robert de B. Johnston
dblp:72/909
· DBLP profile ↗
2ranked-venue papers
0as first author
0since 2021 · last 1990
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2Computer 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.
| 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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science
algebraic specification |
0.0 | 1 | 1987 | Automated Analysis of Discrete Communication Behavior · IEEE Trans. Software Eng. 1987 |
Logic in computer science › process algebra
communicating processes |
0.0 | 1 | 1987 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1990 | An Approach to Specifying and Synthesizing Communicating Processes
Hakan Erdogmus, Robert de B. Johnston |
FORTE | 2 |
| 1987 | Automated Analysis of Discrete Communication BehaviorabstractAn 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. | 2 |