Authors · raw publication identity

Kazuyuki Asada

全分野 · 掲載済みの全期間（2013–2024年）

データの修正を申請Googleログイン後に申請できます。内容を確認してから対応します。

対象会議のFull paperを全分野・掲載済み全期間でまとめています。1996～2025年の追加分には、氏名の一致・表記の正規化等に基づき同一人物と推定した対応を含みます。本人確認済みの対応や出版時所属の確認とは区別しています。表示する大学は著者ページの識別用で、過去論文の出版時所属や現在所属を示しません。追加分は大学ランキングやEdition別の件数に含みません。保存済みの1996～2025年の対象資料から確認できた範囲を追加しており、全業績の網羅を保証するものではありません。

著者ページの大学: 東北大学 · Top conference papers: 8

分野別内訳

分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。

年別内訳

2024年 1
2023年 1
2022年 1
2018年 1
2017年 2
2016年 1
2013年 1

論文一覧（新しい年順）

2024 · POPL
Enriched Presheaf Model of Quantum FPC
Takeshi Tsukada, Kazuyuki Asada
Programming Languages & Formal Methods
千葉大学 / 東北大学
2023 · CAV
Compositional Probabilistic Model Checking with String Diagrams of MDPs
Watanabe, Kazuki, Eberhart, Clovis, Asada, Kazuyuki, Hasuo, Ichiro
Programming Languages & Formal Methods
総合研究大学院大学 / 東北大学
2022 · LICS
Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
Takeshi Tsukada, Kazuyuki Asada
Programming Languages & Formal Methods
千葉大学 / 東北大学
2018 · LICS
Species, Profunctors and Taylor Expansion Weighted by SMCC
Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2017 · ICALP
Pumping Lemma for Higher-order Languages
Kazuyuki Asada, Naoki Kobayashi
Algorithms & Complexity
著者の全期間ページへの追加分（出版時所属は示していません）
2017 · LICS
Generalised species of rigid resource terms
Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2016 · ICALP
On Word and Frontier Languages of Unsafe Higher-Order Grammars.
Kazuyuki Asada, Naoki Kobayashi 0001
Algorithms & Complexity
著者の全期間ページへの追加分（出版時所属は示していません）
2013 · ICFP
Structural recursion for querying ordered graphs.
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu 0002, Hiroyuki Kato, Keisuke Nakano 0001
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）