Authors · raw publication identity
Naoki Kobayashi
全分野 · 掲載済みの全期間（2013–2026年）
データの修正を申請Googleログイン後に申請できます。内容を確認してから対応します。
対象会議のFull paperを全分野・掲載済み全期間でまとめています。1996～2025年の追加分には、氏名の一致・表記の正規化等に基づき同一人物と推定した対応を含みます。本人確認済みの対応や出版時所属の確認とは区別しています。表示する大学は著者ページの識別用で、過去論文の出版時所属や現在所属を示しません。追加分は大学ランキングやEdition別の件数に含みません。保存済みの1996～2025年の対象資料から確認できた範囲を追加しており、全業績の網羅を保証するものではありません。
著者ページの大学: 東京大学 · Top conference papers: 13
分野別内訳
- Programming Languages & Formal Methods 8
- AI (General) 1
- Algorithms & Complexity 1
- Machine Learning 1
- Natural Language Processing 1
- Robotics 1
分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。
年別内訳
- 2026年 1
- 2025年 2
- 2023年 2
- 2022年 1
- 2021年 1
- 2020年 1
- 2019年 1
- 2017年 2
- 2015年 1
- 2013年 1
論文一覧（新しい年順）
- Solvable Tuple Patterns and Their Applications to Program Verification
- Learning Simple Interpolants for Linear Integer Arithmetic
- On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
- Higher-Order Property-Directed Reachability
- HFL(Z) Validity Checking for Automated Program Verification
- Integration of Variable-height and Hopping Strategies for Humanoid Push Recovery
- Improving Neural RST Parsing Model with Silver Agreement Subtrees
著者の全期間ページへの追加分（出版時所属は示していません）
- Top-Down RST Parsing Utilizing Granularity Levels in Documents
著者の全期間ページへの追加分（出版時所属は示していません）
- On the Termination Problem for Probabilistic Higher-Order Recursive Programs
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Pumping Lemma for Higher-order Languages
著者の全期間ページへの追加分（出版時所属は示していません）
- On the relationship between higher-order recursion schemes and higher-order fixpoint logic
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Automata-Based Abstraction Refinement for µHORS Model Checking
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
- Pumping by Typing
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）