ProfessorsProfessors of Tohoku UniversityKazuyuki Asada

Kazuyuki Asada

Tohoku University

H-index: 8

Asia-Japan

About Kazuyuki Asada

Kazuyuki Asada, With an exceptional h-index of 8 and a recent h-index of 5 (since 2020), a distinguished researcher at Tohoku University, specializes in the field of programming language, logic, semantics, category theory, program verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Enriched Presheaf Model of Quantum FPC

Compositional probabilistic model checking with string diagrams of MDPs

Compositional Solution of Mean Payoff Games by String Diagrams

On Higher-Order Reachability Games Vs May Reachability

Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱

A compositional approach to parity games

Streaming ranked-tree-to-string transducers

Size-preserving translations from order-(n+ 1) word grammars to order-n tree grammars

Kazuyuki Asada Information

University	Tohoku University
Position	___
Citations(all)	209
Citations(since 2020)	109
Cited By	152
hIndex(all)	8
hIndex(since 2020)	5
i10Index(all)	7
i10Index(since 2020)	2
Email	Access Email
University Profile Page	Tohoku University
Google Scholar	View Google Scholar Profile

Kazuyuki Asada Skills & Research Interests

programming language

logic

semantics

category theory

program verification

Top articles of Kazuyuki Asada

Title	Journal	Author(s)	Publication Date
Enriched Presheaf Model of Quantum FPC	Proceedings of the ACM on Programming Languages	Takeshi Tsukada Kazuyuki Asada	2024/1/5
Compositional probabilistic model checking with string diagrams of MDPs		Kazuki Watanabe Clovis Eberhart Kazuyuki Asada Ichiro Hasuo	2023/7/17
Compositional Solution of Mean Payoff Games by String Diagrams	arXiv preprint arXiv:2307.08034	Kazuki Watanabe Clovis Eberhart Kazuyuki Asada Ichiro Hasuo	2023/7/16
On Higher-Order Reachability Games Vs May Reachability		Kazuyuki Asada Hiroyuki Katsura Naoki Kobayashi	2022/10/12
Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱		Takeshi Tsukada Kazuyuki Asada	2022/8/2
A compositional approach to parity games	arXiv preprint arXiv:2112.14058	Kazuki Watanabe Clovis Eberhart Kazuyuki Asada Ichiro Hasuo	2021/12/28
Streaming ranked-tree-to-string transducers	Theoretical Computer Science	Yuta Takahashi Kazuyuki Asada Keisuke Nakano	2021/5/16
Size-preserving translations from order-(n+ 1) word grammars to order-n tree grammars		Kazuyuki Asada Naoki Kobayashi	2020
On Average-Case Hardness of Higher-Order Model Checking		Yoshiki Nakamura Kazuyuki Asada Naoki Kobayashi Ryoma Sin'Ya Takeshi Tsukada	2020