EDBT 2026 Demo / reviewers in the wild / expert
Ryo Tanaka
dblp:138/8420
· DBLP profile ↗
7ranked-venue papers
1as first author
3since 2021 · last 2025
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 4 · 2 since 2021Theory of computation · 2Databases, data management, data science and information retrieval · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021
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% | |
| Software engineering, system software, and programming languages
1 paper |
Concurrent programming · 100% |
Topics — the 4 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Concurrent programming › concurrency theory
process calculi |
0.3 | 1 | 2017 | The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens · LICS 2017 |
Logic in computer science › proof theory › proof semantics
geometry of interaction |
0.3 | 1 | 2017 | The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens · LICS 2017 |
Logic in computer science
program semantics |
0.3 | 1 | 2017 | The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens · LICS 2017 |
Concurrent programming › concurrency theory › process calculi
pi-calculus |
0.1 | 1 | 2017 | The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens · LICS 2017 |
Methods — techniques the papers use, named apart from their topics
token machines · 0.6soundness and adequacy · 0.6
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Automated Instruction Generation via Alternating Evaluation and Creation with LLMs
Ryo Tanaka, Yu Suzuki 0001 |
iiWAS | 1 |
| 2022 | Knowledge Learning of Early Adopters Using Word-of-Mouth DataabstractThe global market for bone-conduction headphones is expected to continue to grow, as the COVID-19 pandemic has increased opportunities for telecommunicating, or working from home, as opposed to going to the office every day. Increased teleworking opportunities have led to more online conferencing, and as a result, the market for bone-conduction headphones is growing even more rapidly. Early adopters are very important in today's marketing. They are very sensitive to public trends and tend to adopt new products quickly. Many early adopters gather information on their own, make their own decisions based on the information they gather, and purchase products. And they tend to spread the word about how good the product is and what makes it different from others from a consumer perspective. During a period of market expansion, the diffusion of the word-of-mouth they transmit is key to the diffusion of the product. In this study, we use online word-of-mouth data to study early adopeters’ knowledge of new products. Yuko Taniguchi, Ryo Tanaka, Masanari Kageyuki, Kazuhiko Tsuda |
KES | 2 |
| 2021 | Knowledge Learning of Replacement Judgment Using Word-of-mouth DataabstractThe pandemic caused by COVID-19 has also affected the camera industry, and various events have been cancelled. In addition, the recent improvement in the performance of cameras installed in smartphones has reduced the demand for replacement cameras, as it is easy to take pictures without carrying a camera. For customers, online word-of-mouth is what they refer to when purchasing a product. This data is important not only for customers, but also for companies. In this research, we will use online word-of-mouth data and focus not only on numerical data but also on textual data and use text mining to learn knowledge about the decision to replace a camera. Yuko Taniguchi, Ryo Tanaka, Daisuke Kobayakawa, Kazuhiko Tsuda |
KES | 2 |
| 2020 | Effectful applicative similarity for call-by-name lambda calculi
Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka |
Theor. Comput. Sci. | 3 |
| 2019 | Neuro-inspired System with Crossbar Array of Amorphous Metal-Oxide-Semiconductor Thin-Film Devices as Self-plastic Synapse Units
Mutsumi Kimura, Kenta Umeda, Keisuke Ikushima, Toshimasa Hori, Ryo Tanaka, Tokiyoshi Matsuda, Tomoya Kameda, Yasuhiko Nakashima |
ICONIP (2) | 5 |
| 2018 | Hopfield Neural Network with Double-Layer Amorphous Metal-Oxide Semiconductor Thin-Film Devices as Crosspoint-Type Synapse Elements and Working Confirmation of Letter Recognition
Mutsumi Kimura, Kenta Umeda, Keisuke Ikushima, Toshimasa Hori, Ryo Tanaka, Tokiyoshi Matsuda, Tomoya Kameda, Yasuhiko Nakashima |
ICONIP (7) | 5 |
| 2017 | The geometry of concurrent interaction: Handling multiple ports by way of multiple tokensabstractWe introduce a geometry of interaction model for Mazza's multiport interaction combinators, a graph-theoretic formalism which is able to faithfully capture concurrent computation as embodied by process algebras like the π-calculus. The introduced model is based on token machines in which not one but multiple tokens are allowed to traverse the underlying net at the same time. We prove soundness and adequacy of the introduced model. The former is proved as a simulation result between the token machines one obtains along any reduction sequence. The latter is obtained by a fine analysis of convergence, both in nets and in token machines. Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu |
LICS | 2 |