EDBT 2026 Demo / reviewers in the wild / expert

Bo-Shoe Chen

dblp:76/4841 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
0since 2021 · last 1983
—ORCID · none

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

Systems, architecture and hardware · 1 · 1 first-authorSoftware 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 · 67% Distributed computing theory · 33%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 100%

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

TopicWeightPapersLastEvidence papers
Distributed computing theory
distributed verification		 0.011983
Formal Specification and Verification of Distributed Systems · IEEE Trans. Software Eng. 1983
Logic in computer science
specification and verification		 0.011983
Formal Specification and Verification of Distributed Systems · IEEE Trans. Software Eng. 1983
Logic in computer science
temporal logic		 0.011983
Formal Specification and Verification of Distributed Systems · IEEE Trans. Software Eng. 1983
Distributed systems
concurrency		 0.011983
Formal Specification and Verification of Distributed Systems · IEEE Trans. Software Eng. 1983

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

verification · 0.0formal specification · 0.0
YearPublicationVenuePosition
1983 Formal Specification and Verification of Distributed Systems
abstract
Computations of distributed systems are extremely difficult to specify and verify using traditional techniques because the systems are inherently concurrent, asynchronous, and nondeterministic. Furthermore, computing nodes in a distributed system may be highly independent of each other, and the entire system may lack an accurate global clock.
Bo-Shoe Chen, Raymond T. Yeh
 IEEE Trans. Software Eng.1
1982 Formal Specification and Verification of Distributed Systems
Bo-Shoe Chen, Raymond T. Yeh
 ICDCS1