EDBT 2026 Demo / reviewers in the wild / expert
Koji Sato
dblp:27/6926
· DBLP profile ↗
16ranked-venue papers
5as first author
1since 2021 · last 2025
0009-0004-1218-8132ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 12 · 3 first-authorArtificial intelligence and machine learning · 2 · 1 first-authorComputer networks · 1Databases, data management, data science and information retrieval · 1 · 1 since 2021Theory of computation · 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.
| Computer architecture, parallel and distributed computing, and storage systems
9 papers |
Electronic design automation · 97% Storage systems · 3% | |
| Theoretical computer science
1 paper |
Coding theory · 67% Automated reasoning and model checking · 33% |
Topics — the 16 heaviest of 16, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
physical design |
0.0 | 9 | 1995 | Min-cut placement with global objective functions for large scale sea-of-gates arrays · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995 A new approach to over-the-cell channel routing with three layers · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1994 A New Min-Cut Placement Algorithm for Timing Assurance Layout Design Meeting Net Length Constraint · DAC 1990 |
Electronic design automation › physical design › placement › partitioning-based placement
min-cut placement |
0.0 | 2 | 1995 | Min-cut placement with global objective functions for large scale sea-of-gates arrays · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995 A New Min-Cut Placement Algorithm for Timing Assurance Layout Design Meeting Net Length Constraint · DAC 1990 |
Electronic design automation › physical design
placement |
0.0 | 2 | 1995 | Min-cut placement with global objective functions for large scale sea-of-gates arrays · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995 A New Min-Cut Placement Algorithm for Timing Assurance Layout Design Meeting Net Length Constraint · DAC 1990 |
Electronic design automation › physical design
routing |
0.0 | 4 | 1994 | A new approach to over-the-cell channel routing with three layers · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1994 A consideration of the number of horizontal grids used in the routing of a masterslice layout · DAC 1982 A "grid-free" channel router · DAC 1980 |
Electronic design automation › physical design › routing
channel routing |
0.0 | 2 | 1994 | A new approach to over-the-cell channel routing with three layers · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1994 A "grid-free" channel router · DAC 1980 |
Electronic design automation › physical design › routing › channel routing
over-the-cell routing |
0.0 | 1 | 1994 | A new approach to over-the-cell channel routing with three layers · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1994 |
Electronic design automation › physical design › VLSI layout
performance-driven layout |
0.0 | 1 | 1990 | A New Min-Cut Placement Algorithm for Timing Assurance Layout Design Meeting Net Length Constraint · DAC 1990 |
Electronic design automation
timing analysis |
0.0 | 1 | 1990 | A New Min-Cut Placement Algorithm for Timing Assurance Layout Design Meeting Net Length Constraint · DAC 1990 |
Storage systems › key-value storage
compaction |
0.0 | 1 | 1987 | Symbolic Layout System: Application Results and Functional Improvements · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1987 |
Electronic design automation › physical design › VLSI layout
symbolic layout |
0.0 | 1 | 1987 | Symbolic Layout System: Application Results and Functional Improvements · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1987 |
Electronic design automation › physical design
VLSI layout |
0.0 | 1 | 1987 | Symbolic Layout System: Application Results and Functional Improvements · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1987 |
Electronic design automation › physical design › routing › channel routing
gridless channel routing |
0.0 | 1 | 1980 | A "grid-free" channel router · DAC 1980 |
Electronic design automation › physical design › routing › message routing
hierarchical routing |
0.0 | 1 | 1979 | MIRAGE - a simple-model routing program for the hierarchical layout design of IC masks · DAC 1979 |
Automated reasoning and model checking
decision procedures |
0.0 | 1 | 1979 | A decision procedure for the unique decipherability of multivalued encodings (Corresp.) · IEEE Trans. Inf. Theory 1979 |
Coding theory › error-correcting codes
uniquely decodable codes |
0.0 | 1 | 1979 | A decision procedure for the unique decipherability of multivalued encodings (Corresp.) · IEEE Trans. Inf. Theory 1979 |
Coding theory › source coding
variable-length codes |
0.0 | 1 | 1979 | A decision procedure for the unique decipherability of multivalued encodings (Corresp.) · IEEE Trans. Inf. Theory 1979 |
Methods — techniques the papers use, named apart from their topics
min-cut partitioning · 0.0global objective functions · 0.0cut line sequencing · 0.0channel density minimization · 0.0net length constraint · 0.0min-cut algorithm · 0.0symbolic layout compaction · 0.0grid count prediction · 0.0constraint loop breaking · 0.0branch length minimization · 0.0regular language inclusion · 0.0homomorphism · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Determinants of Users' Chance-Seeking Behavior in Search-Based Recommendation
Yuki Ninomiya, Yutaro Sone, Kazuhisa Miwa, Yuichiro Sumi, Ryosuke Nakanishi, Eiji Mitsuda, Koji Sato, Tadashi Odashima |
RecSys | 7 |
| 2004 | Development and Evaluation of a Passively Operating non-contact, Load-responsive TransmissionabstractA previously developed passively operating transmission capable of switching its reduction ratio in response to load torque was further developed into a non-contact load-responsive transmission. The reduction ratio is switched by a non-contact magnetic clutch that responds to the load torque using a passive magnetic mechanism without any accessory actuators, sensors, electronics or power supplies. The absence of mechanical friction at the non-contact magnetic clutch resolves the problems concerning the wear and maintenance, shock while switching the clutch is greatly reduced and the actuator is protected from overloads by slippage at the magnetic clutch. This non-contact load-responsive transmission reduces the power, size and weight of the mechanical system and improves its safety and agility since a variant load can be actuated efficiently using a minimal actuator. This paper describes the structure and the operation of the non-contact load-responsive transmission and reports on the characteristics of an experimentally evaluated prototype transmission. Hitoshi Maekawa, Yasuhiro Gotoh, Koji Sato, Masato Enokizono, Kiyoshi Komoriya |
ICRA | 3 |
| 2003 | Secure and Manageable Virtual Private Networks for End-usersabstractThis paper presents personal networks, which integrate a VPN and the per-VPN execution environments of the hosts included in the VPN. The key point is that each execution environment called a portspace is bound to only one VPN, i.e., single-homed. Using this feature of portspaces, personal networks address several problems at multi-homed hosts that use multiple VPNs. Information flow is separated by personal networks so that it is not mixed at multi-homed hosts. IP addressing in a personal network is independent of the other personal networks, even the base network, and therefore does not conflict with those of other networks at multi-homed hosts. In addition, personal networks provide facilities for easy bootstrapping so that the end-users can construct such isolated networks easily. Inheritance of portspaces supports the creation of new portspaces based on existing portspaces. Self-construction of personal networks enables end-users to construct personal networks without help from the base network. Kenichi Kourai, Toshio Hirotsu, Koji Sato, Osamu Akashi, Kensuke Fukuda, Toshiharu Sugawara, Shigeru Chiba |
LCN | 3 |
| 1995 | Min-cut placement with global objective functions for large scale sea-of-gates arraysabstractWe present a new min-cut based placement algorithm for large scale sea-of-gates arrays. In the past all such algorithms were developed based on a single local optimization function, called the sequential cut line objective function. Our algorithm incorporates global objective functions into this traditional framework of min-cut placement. In particular, we introduce a new global objective function based on the congestions for cut lines and use it for the selection of their sequence. We also use the total cut value objective function in the determination of the sizes and connectivities of clusters that are to be used in the early stages of min-cut partitioning. The incorporation of such global objective functions yields additional reductions of wire congestions in the entire as well as local chip areas. With the automatic selection and use of such clusters and a cut line sequence, our algorithm can produce, in a short time and at a low cost, final placement results that achieve the 100% completion of wiring on chips of fixed sizes. This has led to its successful production use, having generated more than 400 CMOS sea-of-gates array chips of 1.5 K to 150 K raw gates.> Kazuhiro Takahashi, Kazuo Nakajima, Masayuki Terai, Koji Sato |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 4 |
| 1994 | Adaptive cut line selection in min-cut placement for large scale sea-of-gates arrays
Kazuhiro Takahashi, Kazuo Nakajima, Masayuki Terai, Koji Sato |
ICCAD | 4 |
| 1994 | A new approach to over-the-cell channel routing with three layersabstractWe introduce a new model for over-the-cell channel routing with three layers. The model consists of two channels and the routing area over a cell row between them. Three and two layers are available for routing in the channels and the over-the-cell routing area, respectively. We formulate the problem of over-the-cell routing as that of channel routing with additional constraints. Based on this formulation, we present an efficient over-the-cell routing algorithm that attempts to minimize the sum of channel densities of the trunks that remain in the channel. The effectiveness of our model and algorithm is demonstrated by our experimental results on industrial sea-of-gates array chips and a well-known benchmark circuit.> Masayuki Terai, Kazuo Nakajima, Kazuhiro Takahashi, Koji Sato |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 4 |
| 1991 | A New Model for Over-The-Cell Channel Routing with Three LayersabstractThe authors propose an approach to an over-the-cell channel routing problem using a model that consists of two channels and the routing area over a cell row between them. Three and two layers are available for routing in the channels and the over-the-cell routing area, respectively, The problem is decomposed into two phases: over-the-cell routing and channel routing. The authors formulate the problem in the first phase as that of channel routing with additional constraints. Based on this formulation, they present an efficient over-the-cell routing algorithm. The effectiveness of the approach is demonstrated by experimental results on sea-of-gates array chips.> Masayuki Terai, Kazuhiro Takahashi, Kazuo Nakajima, Koji Sato |
ICCAD | 4 |
| 1990 | A New Min-Cut Placement Algorithm for Timing Assurance Layout Design Meeting Net Length ConstraintabstractThis paper presents a new min-cut placement algorithm for timing assurance layout design. When critical nets are given net length constraints, the proposed algorithm can place cells so that the constraints may be met. This algorithm is built into the layout system for gate arrays called GALOP [1] and has been successfully applied to clock skew control of an ECL 12K-gate gate array. Masayuki Terai, Kazuhiro Takahashi, Koji Sato |
DAC | 3 |
| 1987 | Symbolic Layout System: Application Results and Functional ImprovementsabstractThis paper provides an outline, together with application results and functional improvements, of the symbolic layout system MGX. MGX was developed to support the layout design of the functional blocks of microprocessors for MOS technology. The point considered the most important when we started developing MGX is reducing design time without much waste of silicon area. In order to achieve this goal, a layout style in MGX in which all symbolic layout elements are on movable grid points and which has an orderly structure is adopted, and the fast compaction algorithm is selected. Another consideration for the system is to support the whole LSI layout process. Using MGX, a 16-bit microcontroller chip was successfully designed. MGX offered high transistor packing density and high productivity of the layout design. The experience with this layout design has shown that another goal to be achieved in the development of a symbolic layout system is the ability to update designed physical layout patterns with advances in LSI fabrication technology without having to redo the layout. Hence, MGX has been improved so as to deal with various design rules which may become possible with advances in LSI fabrication technology and to give higher transistor packing density. Experimental results show that the transistor packing density of the layout of a D flip-flop which is designed by using MGX increases by approximately 39 percent due to these improvements. Masayuki Terai, Yoshihide Ajioka, Tomoyoshi Noda, Masaru Ozaki, Tsunenori Umeki, Koji Sato |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 6 |
| 1984 | MGX: An integrated symbolic layout system for VLSI
Masaru Ozaki, Miho Watanabe, Morio Kakinuma, Mikio Ikeda, Koji Sato |
DAC | 5 |
| 1983 | Hand-scan OCR with a one-dimensional image sensor
Koji Sato, Isao Isshiki, Akihiro Ohoka, Kokichi Tanaka, Shinichi Tamura |
Pattern Recognit. | 1 |
| 1982 | A consideration of the number of horizontal grids used in the routing of a masterslice layoutabstractIn the masterslice LSI, since the wiring area is fixed, local wiring congestion is likely to occur, which may cause the occurrence of some wiring nets to be unroutable. If the number of grids used in the routing can be accurately predicted before the wire routing, it is possible to reduce greatly the occurrence of wiring nets to be unroutable. Masayuki Terai, Hajime Kanada, Koji Sato, Toshihiko Yahara |
DAC | 3 |
| 1981 | MILD - A cell-based layout system for MOS-LSI
Koji Sato, Takao Nagai, Mikio Tachibana, Hiroyoshi Shimoyama, Masaru Ozaki, Toshihiko Yahara |
DAC | 1 |
| 1980 | A "grid-free" channel routerabstractA grid-free channel router (termed GFR) is reported. GFR does not employ grid lines and can obtain better results than the fixed-grid method. Additionally, GFR has several optional functions, such as constraint loop breaking, total branch length minimization, constraint chain cutting and layer changing. The algorithms of these functions are outlined and results obtained by using them are presented. Koji Sato, Hiroyoshi Shimoyama, Takao Nagai, Masaru Ozaki, Toshihiko Yahara |
DAC | 1 |
| 1979 | MIRAGE - a simple-model routing program for the hierarchical layout design of IC masks
Koji Sato, Takao Nagai, Hiroyoshi Shimoyama, Toshihiko Yahara |
DAC | 1 |
| 1979 | A decision procedure for the unique decipherability of multivalued encodings (Corresp.)abstractIt is shown that there exists an algorithm to determine whether or not a given multivalued variable-length encoding, that is, a variable-length code system in which more than one codeword may correspond to one source symbol, is uniquely decipherable. The proof is given in two steps. The problem is first reduced to a simpler one, that of determining the inclusion relation between two rather simple languages, a regular set and a language defined by two shortening homomorphisms. Then a concrete decision procedure is given for this simpler problem. Several further observations are made, including a conjectured decision method for the finite-delay property. Koji Sato |
IEEE Trans. Inf. Theory | 1 |