Kazuyuki Asada
Tohoku University
H-index: 8
Asia-Japan
Top articles of Kazuyuki Asada
Enriched Presheaf Model of Quantum FPC
Proceedings of the ACM on Programming Languages
2024/1/5
Takeshi Tsukada
H-Index: 9
Kazuyuki Asada
H-Index: 7
Compositional probabilistic model checking with string diagrams of MDPs
2023/7/17
Kazuyuki Asada
H-Index: 7
Compositional Solution of Mean Payoff Games by String Diagrams
arXiv preprint arXiv:2307.08034
2023/7/16
Kazuyuki Asada
H-Index: 7
On Higher-Order Reachability Games Vs May Reachability
2022/10/12
Kazuyuki Asada
H-Index: 7
Naoki Kobayashi
H-Index: 7
Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
2022/8/2
Takeshi Tsukada
H-Index: 9
Kazuyuki Asada
H-Index: 7
A compositional approach to parity games
arXiv preprint arXiv:2112.14058
2021/12/28
Kazuyuki Asada
H-Index: 7
Streaming ranked-tree-to-string transducers
Theoretical Computer Science
2021/5/16
Yuta Takahashi
H-Index: 5
Kazuyuki Asada
H-Index: 7
On Average-Case Hardness of Higher-Order Model Checking
2020
Size-preserving translations from order-(n+ 1) word grammars to order-n tree grammars
2020
Kazuyuki Asada
H-Index: 7
Naoki Kobayashi
H-Index: 7