Demo Data from EDBT 2026 / reviewers in the wild / expert
Kung-Chi Wang
dblp:178/4065
· DBLP profile ↗
2ranked-venue papers
2as first author
0since 2021 · last 1971
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2 · 2 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
2 papers |
Automata and formal languages · 92% Logic in computer science · 8% |
Topics — the 2 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages › finite automata
sequential machines |
0.0 | 2 | 1971 | On Autonomous NOR Sequential Machines · IEEE Trans. Computers 1971 Synthesis of Linear Sequential Machines with Unspecifed Outputs · IEEE Trans. Computers 1969 |
Automata and formal languages › finite automata › sequential machines
linear sequential machines |
0.0 | 1 | 1969 | Synthesis of Linear Sequential Machines with Unspecifed Outputs · IEEE Trans. Computers 1969 |
Methods — techniques the papers use, named apart from their topics
transition graphs · 0.0partition-based synthesis · 0.0linear machine analysis · 0.0coset partitions · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1971 | On Autonomous NOR Sequential MachinesabstractThis note considers the analysis of autonomous NOR sequential machines from a linear machine point of view. It is shown that, under certain conditions, the techniques developed for linear machines are directly applicable to NOR machines. Kung-Chi Wang |
IEEE Trans. Computers | 1 |
| 1969 | Synthesis of Linear Sequential Machines with Unspecifed OutputsabstractThis paper presents a unified approach to the synthesis of linear sequential machines with unspecified outputs. The basic tools employed here are the transition graphs and the coset partitions of linear machines. Coset partitions are studied in detail and used to clarify the various synthesis methods using partitions. They are then combined with the transition graphs to form a set of unified synthesis methods which are applicable to any kind of linear machines and very effective even if the number of states is large. Examples are given to illustrate the techniques. A complete set of synthesis methods is also given in the conclusions. Kung-Chi Wang |
IEEE Trans. Computers | 1 |