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

Siyi Terry Dong

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

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

Systems, architecture and hardware · 1Software engineering, systems software and programming languages · 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%
Theoretical computer science
1 paper
Automated reasoning and model checking · 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.011985
An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol · IEEE Trans. Software Eng. 1985
Internet architecture and protocols › protocol design
protocol synthesis		 0.011985
An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol · IEEE Trans. Software Eng. 1985
Automated reasoning and model checking › protocol verification
protocol validation		 0.011985
An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol · IEEE Trans. Software Eng. 1985

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

automated protocol synthesis · 0.0
YearPublicationVenuePosition
1985 An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol
abstract
In the past, a number of methods have been proposed to model and validate communication protocols that have already been designed. However, design criteria and design aids are still lacking for designing correct protocols. The objective of developing automated protocol synthesizers is to provide a systematic way of designing new communication protocols such that their correctness can be ensured.
C. V. Ramamoorthy, Siyi Terry Dong, Yutaka Usuda
 IEEE Trans. Software Eng.2
1982 The Design of "Low-End" Machines for Data Management in Distributed Systems
C. V. Ramamoorthy, S. L. Ganesh, Siyi Terry Dong, C.-H. Jen, Wei-Tek Tsai
 ICDCS3